On superintuitionistic logics as fragments of proof logic extensions
type: Item
instance of: scholarly article
title: On superintuitionistic logics as fragments of proof logic extensions
zbMATH Open document ID: 0623.03027
DOI: 10.1007/BF01881551
author: A. V. Kuznetsov
author: Alexei Y. Muravitsky
published in: Studia Logica
publication date: 1986-01-01T00:00:00Z
review text: Let I be the intuitionistic propositional calculus, \(Grz=S4+\square (\square (p\to \square p)\to p)\to p\) be Grzegorczyk's logic, G be proof logic, i.e. the extension of classical propositional calculus by the new connective \(\Delta\), the axiom-schemes \(\Delta\) (p\(\to q)\to (\Delta p\to \Delta q)\) and \(\Delta\) (\(\Delta\) \(p\to p)\to \Delta p\) and the inference rule A/\(\Delta\) A, \(I^{\Delta}\) be the proof-intuitionistic logic, i.e. the extension of I by the new connective \(\Delta\) and the axiom-schemes \(p\to \Delta p\), (\(\Delta\) \(p\to p)\to p\) and ((p\(\to q)\to p)\to (\Delta q\to p)\) (where the intended meaning of \(\Delta\) is ``provable''). If we denote by \({\mathcal L}L\) the lattice of all logics extending the logic L (L being I, Grz, G or \(I^{\Delta})\) and define the maps \(\sigma\), \(\kappa\), \(\lambda\), \(\nabla\) and \(\mu\) by the following equalities: \(l\sigma =Grz+\{TrA|\) \(A\in l\}\), \(l\kappa =G+\{TrA|\) \(A\in l\}\), \(l\lambda =\{A\in FI^{\Delta}|\) TrA\(\in l\}\), \(l\nabla =l\cap FI\) and \(l\mu =\{A\in FGrz|\) \(A\in l\}\), where TrA is the formula obtained from A by placing \(\square\) before each of its subformulae, FL is the set of all formulae of the logic L and in the logic \(l\in {\mathcal L}G\) the formula \(\square A\) is decoded as \(A\wedge \Delta A\), then, the main result of the paper could be stated as follows: the diagram corresponding to the maps \(\kappa\) :\({\mathcal L}I^{\Delta}\to {\mathcal L}G\), \(\lambda\) :\({\mathcal L}G\to {\mathcal L}I^{\Delta}\), \(\sigma\) :\({\mathcal L}I\to {\mathcal L}Grz\), \(\sigma^{-1}:{\mathcal L}Grz\to {\mathcal L}I\), \(\nabla:{\mathcal L}I^{\Delta}\to {\mathcal L}I\) and \(\mu\) :\({\mathcal L}G\to {\mathcal L}Grz\), is commutative, the maps \(\sigma\), \(\kappa\) and \(\lambda\) are isomorphisms, the maps \(\nabla\) and \(\mu\) are semilattice epimorphisms (not commutative with lattice operation \(+)\) and the following equalities hold: \(\kappa^{-1}=\lambda…
Mathematics Subject Classification ID: 03B55
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 4010493
zbMATH Keywords: extensions of proof logic
zbMATH Keywords: superintuitionistic logic
MaRDI profile type: Publication
cites work: Q5525337
cites work: Q5623660
cites work: Q3885738
cites work: Q3329444
cites work: Q3902989
cites work: Q5595146
cites work: On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.)
cites work: Pretabular varieties of modal algebras
cites work: Q4196401
cites work: Provability in arithmetic and a schema of Grzegorczyk
cites work: A propositional calculus with denumerable matrix
cites work: Modal Logics Between S 4 and S 5
cites work: Q5582318
cites work: Arithmetical necessity, provability and intuitionistic logic
cites work: Topoi. The categorial analysis of logic
cites work: Some relational systems and the associated topological spaces
cites work: Q5582306
cites work: Q5619070
cites work: Q5812175
cites work: Q4121962
cites work: Some theorems about the sentential calculi of Lewis and Heyting
cites work: A series of successive modifications of Peirce's rule
cites work: Kripke models and intermediate logics
cites work: Q5734410
cites work: Propositional Calculus and Realizability
cites work: Modal logics with linear alternative relations
cites work: Q5663838
cites work: Certain extensions of modal system S4
cites work: Provability interpretations of modal logic
cites work: Der Aussagenkalkül und die Topologie
cites work: Über die Zwischensysteme der Aussagenlogik
cites work: On intermediate propositional logics
full work available at URL: https://doi.org/10.1007/bf01881551
OpenAlex ID: W2002442167
description: scientific article; zbMATH DE number 4010493