Lewisian fixed points. I: Two incomparable constructions

DOI10.1007/978-3-031-47921-2_2MaRDI QIDQ6612808

Albert Visser, Tadeusz Litak

Publication date: 1 October 2024

zbMATH Keywords

fixed pointsprovability logicconstructivismLewis arrow

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\)
• Definability theorems in normal extensions of the provability logic
• Self-reference and modal logic
• Modal operators on Heyting algebras
• Explicit fixed points in interpretability logic
• An algebraic approach to non-classical logics
• The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)
• Provability interpretations of modal logic
• An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
• A survey of abstract algebraic logic
• Generalising monads to arrows
• Lewis meets Brouwer: constructive strict implication
• Provability logic and the completeness principle
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• An algebraic approach to subframe logics. Intuitionistic case
• Modal frame correspondences and fixed-points
• Beyond Rasiowa's algebraic approach to non-classical logics
• Some modal aspects of XPath
• Properties of Intuitionistic Provability and Preservativity Logics
• Closed Fragments of Provability Logics of Constructive Theories
• Logics containing K4. Part II
• Algebraizable logics
• Bounded distributive lattices with strict implication
• Preservativity logic: An analogue of interpretability logic for constructive theories
• Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous
• The interpretability logic of Peano arithmetic
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic

This page was built for publication: Lewisian fixed points. I: Two incomparable constructions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6612808)