Formulas of one propositional variable in intuitionistic logic with the Solovay modality

DOI10.12775/LLP.2008.007MaRDI QIDQ3534984zbMATH OpenFDO

Authors Leo Esakia, R. Grigolia

Publication date 10 November 2008

Published in Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL https://doi.org/10.12775/LLP.2008.007

zbMATH Keywords

free algebrasHeyting algebrasKripke frames

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Other algebras related to logic (03G25) Heyting algebras (lattice-theoretic aspects) (06D20) Free algebras (08B20)

Recommendations

• HILBERT ALGEBRAS WITH A NECESSITY MODAL OPERATOR
• Linear Heyting algebras with a quantifier
• Varieties of monadic Heyting algebras. I
• Equations in free topoboolean algebra
• Heyting algebras with operators

Cited in

(6)

• Nishimura formulas as one-place logical connectives in the elementary theory of Kripke models
• Free and projective bimodal symmetric Gödel algebras
• scientific article; zbMATH DE number 408804 (Why is no real title available?)
• Extendible formulas in two variables in intuitionistic logic
• Foreword to the special issue dedicated to the memory of Leo Esakia
• On products of posets and coproducts of KM-algebras

This page was built for publication: Formulas of one propositional variable in intuitionistic logic with the Solovay modality

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