On variable separation in modal and superintuitionistic logics

DOI10.1007/BF01053034MaRDI QIDQ1896757zbMATH OpenFDO

Authors L. L. Maksimova

Publication date 11 September 1995

Published in Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

Halldén-completenessmodal logicsuperintuitionistic logic

Mathematics Subject Classification ID

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

Review text

A logic \(L\) is said to be Halldén-complete if, for all formulas \(A\) and \(B\) without common variables, \(A \vee B \in L\) implies \(A \in L\) or \(B \in L\). The paper proves algebraic equivalents for this and some other related properties of modal and superintuitionistic logics.

Recommendations

• scientific article; zbMATH DE number 759439
• scientific article; zbMATH DE number 2149468
• Why does Halldén‐completeness matter?
• scientific article; zbMATH DE number 1302673
• scientific article; zbMATH DE number 496041

Cites work

• scientific article; zbMATH DE number 4110668 (Why is no real title available?)
• scientific article; zbMATH DE number 3659563 (Why is no real title available?)
• scientific article; zbMATH DE number 3550681 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• Interpolation properties of superintuitionistic logics
• Modal Logics Between S 4 and S 5
• On the semantic non-completeness of certain Lewis calculi
• Pretabular varieties of modal algebras
• The undecidability of the disjunction property of propositional logics and other related problems

Cited in

(13)

• Fuzzy logics from substructural perspective
• Halldén completeness for relevant modal logics
• 1998 European Summer Meeting of the Association for Symbolic Logic
• Decidability of the interpolation problem and of related properties in tabular logics
• scientific article; zbMATH DE number 1163394 (Why is no real title available?)
• Variable sharing in substructural logics: an algebraic characterization
• scientific article; zbMATH DE number 759439 (Why is no real title available?)
• Why does Halldén‐completeness matter?
• Singly generated quasivarieties and residuated structures
• On algebraisation of superintuitionistic predicate logics
• A syntactic approach to Maksimova's principle of variable separation for some substructural logics
• Special cases of the interpolation theorem for classical predicate calculus
• Some special cases of the interpolation theorem for intuitionistic predicate calculus

This page was built for publication: On variable separation in modal and superintuitionistic logics

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