A propositional logic with explicit fixed points

DOI10.1007/BF01874706MaRDI QIDQ1156789zbMATH OpenFDO

Authors Albert Visser

Publication date 1981

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01874706

zbMATH Keywords

formal propositional logicinterpreting implication as formal provabilityKripke modelsPeano arithmeticSolovay's provability logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) Categoricity and completeness of theories (03C35)

Cites work

• A propositional calculus with denumerable matrix
• Arithmetical necessity, provability and intuitionistic logic
• Calculating self-referential statements. I: Explicit calculations
• scientific article; zbMATH DE number 3557754 (Why is no real title available?)
• scientific article; zbMATH DE number 3635994 (Why is no real title available?)
• 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

(61)

• Modal companions of intermediate propositional logics
• Sequent calculi for Visser's propositional logics
• A closer look at some subintuitionistic logics
• Normal modal substructural logics with strong negation
• Latarres, lattices with an arrow
• Kripke semantics for fuzzy logics
• A canonical model for constant domain basic first-order logic
• Proof complexity of substructural logics
• Representations of Sheffer stroke algebras and Visser algebras
• Basic predicate calculus is not sound with respect to the strong variant of strictly primitive recursive realizability
• Monotone subintuitionistic logic: duality and transfer results
• Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
• Binary modal companions for subintuitionistic logics
• Residuated expansions of lattice-ordered structures
• Implication via spacetime
• On PBZ*-lattices
• On hyperarithmetical realizability
• 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000
• Neighborhood Semantics for Basic and Intuitionistic Logic
• Correspondences between gentzen and hilbert systems
• 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05
• Alternative semantics for Visser's propositional logics
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions
• Completions of Basic Algebras
• Complexity of intuitionistic propositional logic and its fragments
• Categorical abstract algebraic logic: referential algebraic semantics
• 1998 European Summer Meeting of the Association for Symbolic Logic
• Provability and interpretability logics with restricted realizations
• The de Jongh property for basic arithmetic
• European Summer Meeting of the Association for Symbolic Logic
• ON EQUATIONAL COMPLETENESS THEOREMS
• On non-self-referential fragments of modal logics
• BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH
• Constructive embedding from extensions of logics of strict implication into modal logics
• Esakia duality and its extensions
• Basic predicate calculus
• Extensions of Solovay's system \(\mathbf{S}\) without independent sets of axioms
• On self‐distributive weak Heyting algebras
• Sequent Calculi for Orthologic with Strict Implication
• Choice-free topological duality for implicative lattices and Heyting algebras
• COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
• Basic predicate calculus is sound with respect to a modified version of strictly primitive recursive realizability
• Interpolation Property on Visser's Formal Propositional Logic
• A modification of Visser's formal logic and its connection with Solovay's modal logic
• Intuitionistic modal algebras
• Subintuitionistic logics and their modal companions: a nested approach
• A semantical analysis of some subintuitionistic modal logics
• A constructive interpretation of the logical constants
• Algebraic semantics for weak subintuitionistic logic WF
• Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames
• D-complete single axioms for the equivalential calculus with the rules d and r
• Open filters and congruence relations on self-distributive weak Heyting algebras
• Propositional logic and modal logic -- a connection via relational semantics
• On weak Lewis distributive lattices
• On a generalization of Heyting algebras. I
• Bounded distributive lattices with strict implication and weak difference
• On geometric implications
• Variations on the Kripke trick
• Superintuitionistic predicate logics of linear Kripke frames: undecidability with two individual variables
• Sub-sub-intuitionistic logic

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)