Find link

language:

Find link is a tool written by Edward Betts.

Longer titles found: Indecomposability (intuitionistic logic) (view)

searching for Intuitionistic logic 14 found (203 total)

Nikolai Shanin (1,580 words) [view diff] exact match in snippet view article find links to article

that remain deducible in intuitionistic logic without modification. This paper was among the first works on intuitionistic logic (a term often replaced

Action algebra (1,165 words) [view diff] exact match in snippet view article find links to article

the two into a single sort. It can be thought of as a variant of intuitionistic logic with star and with a noncommutative conjunction whose identity need

Timeline of mathematical logic (948 words) [view diff] exact match in snippet view article find links to article

systems S1-5. 1933 - Kurt Gödel develops two interpretations of intuitionistic logic in terms of a provability logic, which would become the standard

Derivative algebra (abstract algebra) (129 words) [view diff] exact match in snippet view article

Boolean algebras play for ordinary propositional logic. Esakia, L., Intuitionistic logic and modality via topology, Annals of Pure and Applied Logic, 127

Grigori Mints (707 words) [view diff] exact match in snippet view article find links to article

Urquhart, A. (2013) Failure of interpolation in constant domain intuitionistic logic. "J. Symb. Log." 78(3): 937-950. Mints, G. (2013) ADC Method of Proof

Dirk van Dalen (768 words) [view diff] case mismatch in snippet view article find links to article

2307/421203. hdl:1874/27769. JSTOR 421203. S2CID 8530810. — (2001). "Intuitionistic Logic". In Goble, Lou (ed.). The Blackwell Guide to Philosophical Logic

Nels David Nelson (450 words) [view diff] exact match in snippet view article find links to article

Association for Symbolic Logic: Nelson's research was in the area of intuitionistic logic and its connection with recursive function theory. He investigated

Disjunction and existence properties (1,178 words) [view diff] case mismatch in snippet view article find links to article

arithmetic and analysis, Springer. Moschovakis, Joan (16 December 2022). "Intuitionistic Logic". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy

Andrzej Grzegorczyk (2,886 words) [view diff] case mismatch in snippet view article find links to article

Urquhart, Alasdair (2013): Failure of Interpolation in Constant Domain Intuitionistic Logic. Journal of Symbolic Logic, Volume 78, Issue 3, pp. 937–950 Trzęsicki

Parallel postulate (3,278 words) [view diff] exact match in snippet view article find links to article

"Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq" (PDF), Journal of Automated Reasoning, 62: 1–68, doi:10

Verena Huber-Dyson (1,426 words) [view diff] case mismatch in snippet view article find links to article

Kreisel, Georg (1961). "Analysis of Beth's Semantic Construction of Intuitionistic Logic". Stanford Research Report. 3. Huber-Dyson, Verena (1964). "On the

Foundations of mathematics (6,910 words) [view diff] case mismatch in snippet view article find links to article

Predicativism and Semi-Intuitionism, §4 Brouwerian Intuitionism, §5 Intuitionistic Logic and Arithmetic, §6 Intuitionistic Analysis and Stronger Theories

Thought (13,707 words) [view diff] case mismatch in snippet view article find links to article

of Philosophy, 2nd Edition. Macmillan. Moschovakis, Joan (2021). "Intuitionistic Logic: 1. Rejection of Tertium Non Datur". The Stanford Encyclopedia of

Original proof of Gödel's completeness theorem (4,798 words) [view diff] exact match in snippet view article find links to article

relations over that domain. We assume classical logic (as opposed to intuitionistic logic for example). We fix some axiomatization (i.e. a syntax-based, machine-manageable