Perceptibility in pre-Heyting logics

DOI10.33048/semi.2020.17.080zbMath1443.03016OpenAlexW3116022542MaRDI QIDQ2200986

Veta Fedorovna Yun, Larisa L. Maksimova

Publication date: 24 September 2020

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.33048/semi.2020.17.080

zbMATH Keywords

calculusHeyting algebrasuperintuitionistic logicrecognizabilityminimal logicJohansson algebrapre-Heyting logicperceptibility

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Paraconsistent logics (03B53)

Related Items (1)

Hybrid extensions of the minimal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Recognizable and perceptible logics and varieties
• Recognizable logics
• Negative equivalence over the minimal logic and interpolation
• Extensions of the minimal logic and the interpolation problem
• Strong decidability and strong recognizability
• Negative equivalence of extensions of minimal logic
• Recognizability in pre-Heyting and well-composed logics
• Calculi over minimal logic and nonembeddability of algebras
• WIP-minimal logics and interpolation
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• A method of proving interpolation in paraconsistent extensions of the minimal logic
• Logic of classical refutability and class of extensions of minimal logic

This page was built for publication: Perceptibility in pre-Heyting logics