Lewisian fixed points. I: Two incomparable constructions
type: Item
instance of: scholarly article
title: Lewisian fixed points. I: Two incomparable constructions
DOI: 10.1007/978-3-031-47921-2_2
author: Tadeusz Litak
author: Albert Visser
publication date: 2024-10-01T00:00:00Z
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F45
zbMATH DE Number: 7920705
zbMATH Keywords: provability logic
zbMATH Keywords: fixed points
zbMATH Keywords: Lewis arrow
zbMATH Keywords: constructivism
MaRDI profile type: Publication
cites work: The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\)
cites work: Q4329232
cites work: The interpretability logic of Peano arithmetic
cites work: The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)
cites work: An algebraic approach to subframe logics. Intuitionistic case
cites work: Algebraizable logics
cites work: Bounded distributive lattices with strict implication
cites work: Explicit fixed points in interpretability logic
cites work: Logics containing K4. Part II
cites work: Beyond Rasiowa's algebraic approach to non-classical logics
cites work: A survey of abstract algebraic logic
cites work: Q3050433
cites work: Q4179016
cites work: Q5286672
cites work: Generalising monads to arrows
cites work: Q4329242
cites work: Preservativity logic: An analogue of interpretability logic for constructive theories
cites work: Properties of Intuitionistic Provability and Preservativity Logics
cites work: Q4215636
cites work: Boolean Algebras with Operators. Part I
cites work: Boolean Algebras with Operators
cites work: Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous
cites work: Q5111325
cites work: Lewis meets Brouwer: constructive strict implication
cites work: Modal operators on Heyting algebras
cites work: Definability theorems in normal extensions of the provability logic
cites work: Q5714439
cites work: An algebraic approach to non-classical logics
cites work: An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
cites work: Self-reference and modal logic
cites work: Provability interpretations of modal logic
cites work: Some modal aspects of XPath
cites work: Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
cites work: Modal frame correspondences and fixed-points
cites work: Q4694229
cites work: Q4215610
cites work: Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
cites work: Processes, Terms and Cycles: Steps on the Road to Infinity
cites work: Closed Fragments of Provability Logics of Constructive Theories
cites work: Provability logic and the completeness principle
description: scientific article; zbMATH DE number 7920705