The following pages link to (Q5582318):
Displaying 50 items.
- Intuitionistic games: determinacy, completeness, and normalization (Q332080) (← links)
- Intuitionistic completeness of first-order logic (Q392280) (← links)
- Topological proofs of some Rasiowa-Sikorski lemmas (Q454394) (← links)
- A new constant in superintuitionistic logic L3 (Q498291) (← links)
- Codimension and pseudometric in co-Heyting algebras (Q535091) (← links)
- Modal logics for communicating systems (Q578896) (← links)
- A representation theorem for polyadic Heyting algebras (Q585199) (← links)
- On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations (Q636275) (← links)
- Hypersequent calculi for intuitionistic logic with classical atoms (Q636282) (← links)
- Kripke models for classical logic (Q636371) (← links)
- On Bellissima's construction of the finitely generated free Heyting algebras, and beyond (Q711563) (← links)
- The happy formalist (Q752675) (← links)
- Quantified modal logic: non-normal worlds and propositional attitudes (Q787129) (← links)
- Optimization techniques for propositional intuitionistic logic and their implementation (Q959821) (← links)
- Predicate logical extensions of some subintuitionistic logics (Q1005979) (← links)
- Reference and perspective in intuitionistic logics (Q1006455) (← links)
- Ultimate stochastic entities (Q1059073) (← links)
- Noncumulative dialectical models and formal dialectics (Q1061730) (← links)
- A propositional fragment of Leśniewski's ontology and its formulation by the tableau method (Q1078555) (← links)
- On superintuitionistic logics as fragments of proof logic extensions (Q1091383) (← links)
- Models for normal intuitionistic modal logics (Q1096612) (← links)
- Models for stronger normal intuitionistic modal logics (Q1096613) (← links)
- On finite linear intermediate predicate logics (Q1119624) (← links)
- Constructions of classical models by means of Kripke models (Survey) (Q1142205) (← links)
- On fragments of Medvedev's logic (Q1165841) (← links)
- Strong completeness with respect to finite Kripke models (Q1167163) (← links)
- Vagueness, truth and logic (Q1219258) (← links)
- A complete negationless system (Q1221742) (← links)
- Tavole semantiche per sistemi astratti di logica estensionale (Q1237721) (← links)
- Intuitionistic logic with strong negation (Q1241438) (← links)
- The independence results of set theory: An informal exposition (Q1247321) (← links)
- Lattices related to Post algebras and their applications to some logical systems (Q1250216) (← links)
- A study of Kripke-type models for some modal logics by Gentzen's sequential method (Q1257012) (← links)
- Intuitionistic propositional logic is polynomial-space complete (Q1259589) (← links)
- Representing scope in intuitionistic deductions (Q1274448) (← links)
- An improved refutation system for intuitionistic predicate logic (Q1344876) (← links)
- Algebraic proofs of cut elimination (Q1349247) (← links)
- Paraconsistency everywhere (Q1430900) (← links)
- On congruences in weak implicative semi-lattices (Q1701818) (← links)
- Maehara-style modal nested calculi (Q1734264) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- Semi-intuitionistic logic with strong negation (Q1743996) (← links)
- Anti-intuitionism and paraconsistency (Q1775870) (← links)
- A new semantics for intuitionistic predicate logic (Q1820768) (← links)
- Semantical analysis of constructive PDL (Q1835666) (← links)
- A uniform procedure for converting matrix proofs into sequent-style systems (Q1854382) (← links)
- Partial up an down logic (Q1903583) (← links)
- Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels (Q1923579) (← links)
- On some classes of Heyting algebras with successor that have the amalgamation property (Q1935558) (← links)
- Basic intuitionistic conditional logic (Q2000668) (← links)
