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

@@ 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