Kripke models for classical logic (Q636371): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2010.04.007
@@ Property / DOI: 10.1016/j.apal.2010.04.007 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2112507467
@@ Property / OpenAlex ID: W2112507467 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0071
@@ Property / arXiv ID: 0904.0071 / rank @@
+Normal rank
@@ Property / cites work @@
+Typed Applicative Structures and Normalization by Evaluation for System F ω
+Normal rank
@@ Property / cites work @@
+On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory
+Normal rank
@@ Property / cites work @@
+Algebraic proofs of cut elimination
@@ Property / cites work: Algebraic proofs of cut elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Krivine's intuitionistic proof of classical completeness (for countable languages)
+Normal rank
@@ Property / cites work @@
+Q4525278
@@ Property / cites work: Q4525278 / rank @@
+Normal rank
@@ Property / cites work @@
+A formalised proof of the soundness and completeness of a simply typed lambda-calculus with explicit substitutions
+Normal rank
@@ Property / cites work @@
+The duality of computation
@@ Property / cites work: The duality of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Constructions of classical models by means of Kripke models (Survey)
+Normal rank
@@ Property / cites work @@
+Computational isomorphisms in classical logic
@@ Property / cites work: Computational isomorphisms in classical logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4440321
@@ Property / cites work: Q4440321 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Remarks on isomorphisms in typed lambda calculi with empty and sum types
+Normal rank
@@ Property / cites work @@
+Q5582318
@@ Property / cites work: Q5582318 / rank @@
+Normal rank
@@ Property / cites work @@
+Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus
+Normal rank
@@ Property / cites work @@
+On weak completeness of intuitionistic predicate logic
+Normal rank
@@ Property / cites work @@
+A completeness theorem in modal logic
@@ Property / cites work: A completeness theorem in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5339289
@@ Property / cites work: Q5339289 / rank @@
+Normal rank
@@ Property / cites work @@
+Une Preuve Formelle et Intuitionniste du Théorème de Complétude de la Logique Classique
+Normal rank
@@ Property / cites work @@
+Q2844073
@@ Property / cites work: Q2844073 / rank @@
+Normal rank
@@ Property / cites work @@
+On theorems of Gödel and Kreisel: Completeness and Markov's principle
+Normal rank
@@ Property / cites work @@
+Intuitionistic completeness and classical logic
@@ Property / cites work: Intuitionistic completeness and classical logic / rank @@
+Normal rank
@@ Property / cites work @@
+A uniform semantic proof for cut-elimination and completeness of various first and higher order logics.
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+Theoretical Computer Science
@@ Property / cites work: Theoretical Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+An intuitiomstic completeness theorem for intuitionistic predicate logic
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2010.04.007
@@ Property / DOI: 10.1016/J.APAL.2010.04.007 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:636371