A propositional logic with explicit fixed points
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3557754 (Why is no real title available?)
- scientific article; zbMATH DE number 3635994 (Why is no real title available?)
- A propositional calculus with denumerable matrix
- Arithmetical necessity, provability and intuitionistic logic
- Calculating self-referential statements. I: Explicit calculations
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Provability interpretations of modal logic
- Provability, truth, and modal logic
Cited in
(47)- 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000
- On hyperarithmetical realizability
- Sequent Calculi for Orthologic with Strict Implication
- Proof complexity of substructural logics
- 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05
- Choice-free topological duality for implicative lattices and Heyting algebras
- On self‐distributive weak Heyting algebras
- Residuated expansions of lattice-ordered structures
- 1998 European Summer Meeting of the Association for Symbolic Logic
- Provability and interpretability logics with restricted realizations
- A canonical model for constant domain basic first-order logic
- European Summer Meeting of the Association for Symbolic Logic
- A modification of Visser's formal logic and its connection with Solovay's modal logic
- ON EQUATIONAL COMPLETENESS THEOREMS
- Constructive embedding from extensions of logics of strict implication into modal logics
- Interpolation Property on Visser's Formal Propositional Logic
- Sequent calculi for Visser's propositional logics
- Neighborhood Semantics for Basic and Intuitionistic Logic
- Subintuitionistic logics and their modal companions: a nested approach
- Monotone subintuitionistic logic: duality and transfer results
- Categorical abstract algebraic logic: referential algebraic semantics
- Basic predicate calculus is not sound with respect to the strong variant of strictly primitive recursive realizability
- Representations of Sheffer stroke algebras and Visser algebras
- The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions
- Correspondences between gentzen and hilbert systems
- Binary modal companions for subintuitionistic logics
- A closer look at some subintuitionistic logics
- Implication via spacetime
- On PBZ*-lattices
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES
- BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH
- Basic predicate calculus is sound with respect to a modified version of strictly primitive recursive realizability
- Modal companions of intermediate propositional logics
- Normal modal substructural logics with strong negation
- Kripke semantics for fuzzy logics
- Completions of Basic Algebras
- Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
- Esakia duality and its extensions
- The de Jongh property for basic arithmetic
- Basic predicate calculus
- Latarres, lattices with an arrow
- Alternative semantics for Visser's propositional logics
- On non-self-referential fragments of modal logics
- Complexity of intuitionistic propositional logic and its fragments
- Intuitionistic modal algebras
- COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
- Extensions of Solovay's system \(\mathbf{S}\) without independent sets of axioms
This page was built for publication: A propositional logic with explicit fixed points
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1156789)
