On superintuitionistic logics as fragments of proof logic extensions

DOI10.1007/BF01881551zbMath0623.03027OpenAlexW2002442167MaRDI QIDQ1091383

A. Yu. Muravitskij, A. V. Kuznetsov

Publication date: 1986

Published in: Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

superintuitionistic logicextensions of proof logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Related Items (11)

Free and projective bimodal symmetric Gödel algebras ⋮ Magari and \(\Delta\)-pseudo-Boolean algebras ⋮ Interconnection of the lattices of extensions of four logics ⋮ Admissible rules for six intuitionistic modal logics ⋮ Definability theorems in normal extensions of the provability logic ⋮ Frontal operators in weak Heyting algebras ⋮ Interpolation property for extensions of intuitionistic provability logic ⋮ Scattered toposes ⋮ Modal companions of intermediate propositional logics ⋮ On products of posets and coproducts of KM-algebras ⋮ Constructive Modalities with Provability Smack

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Topoi. The categorial analysis of logic
• Pretabular varieties of modal algebras
• On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.)
• Provability interpretations of modal logic
• Certain extensions of modal system S4
• Kripke models and intermediate logics
• A propositional calculus with denumerable matrix
• Provability in arithmetic and a schema of Grzegorczyk
• Arithmetical necessity, provability and intuitionistic logic
• Modal Logics Between S 4 and S 5
• A series of successive modifications of Peirce's rule
• Some relational systems and the associated topological spaces
• Modal logics with linear alternative relations
• On intermediate propositional logics
• Der Aussagenkalkül und die Topologie
• Some theorems about the sentential calculi of Lewis and Heyting
• Propositional Calculus and Realizability
• Über die Zwischensysteme der Aussagenlogik

This page was built for publication: On superintuitionistic logics as fragments of proof logic extensions