Pages that link to "Item:Q3843602"
From MaRDI portal
The following pages link to On formulas of one variable in intuitionistic propositional calculus (Q3843602):
Displaying 46 items.
- Irreflexive modality as a new logical connective in the Dummett logic (Q467677) (← links)
- An \(\mathsf{AC}^{1}\)-complete model checking problem for intuitionistic logic (Q475340) (← links)
- The free process algebra generated by \(\delta \), \(\epsilon\) and \(\tau \) (Q549205) (← links)
- Irreflexive modality, the Dummett logic, and continual chains (Q721381) (← links)
- An application of Rieger-Nishimura formulas to the intuitionistic modal logics (Q1074572) (← links)
- Two classes of intermediate propositional logics without disjunction property (Q1115419) (← links)
- On a second order propositional operator in intuitionistic logic (Q1158419) (← links)
- The disjunction property of intermediate propositional logics (Q1181482) (← links)
- Computations in fragments of intuitionistic propositional logic (Q1181713) (← links)
- \(\aleph_0\)-categoricity for rings without nilpotent elements and for Boolean structures (Q1233438) (← links)
- Logics without Craig's interpolation property (Q1254250) (← links)
- Sentential constants in systems near R (Q1313086) (← links)
- Tarski's theorem on intuitionistic logic, for polyhedra (Q1706265) (← links)
- The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s (Q1814180) (← links)
- Interpretations into Heyting algebras (Q1820182) (← links)
- Logics of some Kripke frames connected with Medvedev notion of informational types (Q1820765) (← links)
- On an extension of Gabbay's logic (Q1972663) (← links)
- Projectivity in (bounded) commutative integral residuated lattices (Q2108529) (← links)
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation (Q2148903) (← links)
- Epimorphism surjectivity in varieties of Heyting algebras (Q2195632) (← links)
- Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter (Q2323638) (← links)
- On some semi-intuitionistic logics (Q2352456) (← links)
- On the rules of intermediate logics (Q2501166) (← links)
- Computational complexity of the word problem in modal and Heyting algebras with a small number of generators (Q2678341) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- All intermediate logics with extra axioms in one variable, except eight, are not strongly <i>ω</i>-complete (Q2710597) (← links)
- FORMULAS IN MODAL LOGIC <b>S4</b> (Q3066780) (← links)
- Representable idempotent commutative residuated lattices (Q3443137) (← links)
- The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions (Q3584967) (← links)
- A Survey of Propositional Realizability Logic (Q3616428) (← links)
- Complexity of intuitionistic propositional logic and its fragments (Q3643316) (← links)
- AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE (Q3644804) (← links)
- On the period of sequences (<i>A<sup>n</sup>(p)</i>) in intuitionistic propositional calculus (Q3724305) (← links)
- Innocuous substitutions (Q3872451) (← links)
- Implicational complexity in intuitionistic arithmetic (Q3949044) (← links)
- The undecidability of the disjunction property of propositional logics and other related problems (Q4276033) (← links)
- Finitely generated free Heyting algebras (Q4724609) (← links)
- Finitely generated free Heyting algebras: the well-founded initial segment (Q4899176) (← links)
- A note on entropy of logic (Q4987702) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter (Q5059700) (← links)
- An intuitionistic formula hierarchy based on high‐school identities (Q5108846) (← links)
- Certain Method for Generating a Series of Logics (Q5551418) (← links)
- Injective and Projective Heyting Algebras (Q5597549) (← links)
- V. Yankov’s Contributions to Propositional Logic (Q5886455) (← links)
- Decidable variables for constructive logics (Q6047667) (← links)
