Propositional Calculus and Realizability
From MaRDI portal
Cites work
- A set of postulates for the foundation of logic
- An algebraic characterization of quantifiers
- scientific article; zbMATH DE number 3057484 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- On notation for ordinal numbers
- On the interpretation of intuitionistic number theory
- Proofs of non-deducibility in intuitionistic functional calculus
- Recursive Functions and Intuitionistic Number Theory
- Recursive Predicates and Quantifiers
- Some theorems about the sentential calculi of Lewis and Heyting
- Untersuchungen über das logische Schliessen. I
Cited in
(36)- On superintuitionistic logics as fragments of proof logic extensions
- Modal logics with LM-axioms
- Realizability and finite validity of propositional formulas with restrictions on the occurrence of implication
- Preservation of equivalence of derivations under reduction of depth of formulas
- The disjunction property of intermediate propositional logics
- On Jaskowski-type semantics for the intuitionistic propositional logic
- Equational axioms for classes of Heyting algebras
- Tarski's theorem on intuitionistic logic, for polyhedra
- A semantic hierarchy for intuitionistic logic
- Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels
- An epistemic approach to paraconsistency: a logic of evidence and truth
- Satisfiability is false intuitionistically: a question from Dana Scott
- Logics of intuitionistic Kripke-Platek set theory
- Coherence in SMCCs and equivalences on derivations in IMML with unit
- On the rules of intermediate logics
- A survey of predicate realizability logic
- On the realizations of predicate formulas
- A class of realizable propositional formulas
- Realisability for infinitary intuitionistic set theory
- Some obstacles facing a semantic foundation for constructive mathematics
- Reductions in Intuitionistic Linear Logic
- Intuitive counterexamples for constructive fallacies
- The context of inference
- On the Blok-Esakia theorem
- A series of successive modifications of Peirce's rule
- V. Yankov’s Contributions to Propositional Logic
- An Application of the Yankov Characteristic Formulas
- Rules and arithmetics
- The Deduction Theorem (Before and After Herbrand)
- Intermediate logics and the de Jongh property
- A constructive predicate calculus
- Free \(\mathrm{p}\)-algebras revisited: an algebraic investigation of implication-free intuitionism
- A formalisation of constructive evidence-based reasoning: constructing justifications
- Fuzzy constructive logic
- On abstract resource semantics and computability logic
- Kripke models, distributive lattices, and Medvedev degrees
This page was built for publication: Propositional Calculus and Realizability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5822056)
