Pages that link to "Item:Q5822056"
From MaRDI portal
The following pages link to Propositional Calculus and Realizability (Q5822056):
Displaying 32 items.
- Some obstacles facing a semantic foundation for constructive mathematics (Q320173) (← links)
- Intermediate logics and the de Jongh property (Q627438) (← links)
- Fuzzy constructive logic (Q843607) (← links)
- On abstract resource semantics and computability logic (Q980944) (← links)
- Kripke models, distributive lattices, and Medvedev degrees (Q995672) (← links)
- On superintuitionistic logics as fragments of proof logic extensions (Q1091383) (← links)
- Modal logics with LM-axioms (Q1136748) (← links)
- Realizability and finite validity of propositional formulas with restrictions on the occurrence of implication (Q1136752) (← links)
- Preservation of equivalence of derivations under reduction of depth of formulas (Q1168318) (← links)
- The disjunction property of intermediate propositional logics (Q1181482) (← links)
- On Jaskowski-type semantics for the intuitionistic propositional logic (Q1231484) (← links)
- Equational axioms for classes of Heyting algebras (Q1237072) (← links)
- Tarski's theorem on intuitionistic logic, for polyhedra (Q1706265) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels (Q1923579) (← links)
- An epistemic approach to paraconsistency: a logic of evidence and truth (Q2053983) (← links)
- Satisfiability is false intuitionistically: a question from Dana Scott (Q2193975) (← links)
- Logics of intuitionistic Kripke-Platek set theory (Q2231694) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- On the rules of intermediate logics (Q2501166) (← links)
- A survey of predicate realizability logic (Q2510768) (← links)
- On the realizations of predicate formulas (Q2557239) (← links)
- A class of realizable propositional formulas (Q2560227) (← links)
- Realisability for infinitary intuitionistic set theory (Q2700803) (← links)
- Reductions in Intuitionistic Linear Logic (Q4882488) (← links)
- Intuitive counterexamples for constructive fallacies (Q5096872) (← links)
- The Context of Inference (Q5208107) (← links)
- On the Blok-Esakia Theorem (Q5255793) (← links)
- A series of successive modifications of Peirce's rule (Q5586223) (← links)
- V. Yankov’s Contributions to Propositional Logic (Q5886455) (← links)
- An Application of the Yankov Characteristic Formulas (Q5886461) (← links)
- Rules and arithmetics (Q5937848) (← links)
