Pages that link to "Item:Q1156789"
From MaRDI portal
The following pages link to A propositional logic with explicit fixed points (Q1156789):
Displaying 32 items.
- On hyperarithmetical realizability (Q268079) (← links)
- Categorical abstract algebraic logic: referential algebraic semantics (Q368473) (← links)
- Provability and interpretability logics with restricted realizations (Q435232) (← links)
- The de Jongh property for basic arithmetic (Q481876) (← links)
- On non-self-referential fragments of modal logics (Q508827) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- Sequent calculi for Visser's propositional logics (Q1409300) (← links)
- A closer look at some subintuitionistic logics (Q1422101) (← links)
- Normal modal substructural logics with strong negation (Q1425193) (← links)
- Latarres, lattices with an arrow (Q1790604) (← links)
- Kripke semantics for fuzzy logics (Q1797765) (← links)
- A canonical model for constant domain basic first-order logic (Q2027216) (← links)
- Proof complexity of substructural logics (Q2032997) (← links)
- Representations of Sheffer stroke algebras and Visser algebras (Q2100205) (← links)
- Basic predicate calculus is not sound with respect to the strong variant of strictly primitive recursive realizability (Q2113424) (← links)
- Monotone subintuitionistic logic: duality and transfer results (Q2153831) (← links)
- Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter (Q2323638) (← links)
- Binary modal companions for subintuitionistic logics (Q2658275) (← links)
- Residuated expansions of lattice-ordered structures (Q2658277) (← links)
- Implication via spacetime (Q2658280) (← links)
- On PBZ*-lattices (Q2658283) (← links)
- 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 (Q2732529) (← links)
- Neighborhood Semantics for Basic and Intuitionistic Logic (Q2987743) (← links)
- Correspondences between gentzen and hilbert systems (Q3410681) (← links)
- 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 (Q3430941) (← links)
- Alternative Semantics for Visser’s Propositional Logics (Q3455192) (← links)
- ON EQUATIONAL COMPLETENESS THEOREMS (Q5052010) (← links)
- Extensions of Solovay's system \(\mathbf{S}\) without independent sets of axioms (Q6050171) (← links)
- On self‐distributive weak Heyting algebras (Q6096729) (← links)
- Choice-free topological duality for implicative lattices and Heyting algebras (Q6183434) (← links)
- COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS (Q6188338) (← links)
- Basic predicate calculus is sound with respect to a modified version of strictly primitive recursive realizability (Q6194302) (← links)
