Finite approximability of forest superintuitionistic logics

DOI10.1007/BF01139937MaRDI QIDQ1068076zbMATH OpenFDO

Authors Ya. M. Drugush

Publication date 1984

Published in Mathematical Notes (Search for Journal in Brave)

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

zbMATH Keywords

finite axiomatizabilityforestsintuitionistic logicKripke models

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Intermediate logics (03B55)

Review text

Eine superintuitionistische Logik ist eine Menge von aussagenlogischen Formeln, die abgeschlossen bezüglich Substitution und Modus ponens ist und die Axiome des intuitionistischen Aussagenkalküls enthält. Als Modelle fungieren Wälder, d.h. halbgeordnete Mengen mit Baumordnung. Die Arbeit enthält als Resultat, daß jede solche Logik endlich approximierbar durch Bäume, d.h. endlich axiomatisierbar ist und gibt einen Entscheidungsalgorithmus an. Es wird bewiesen, daß für die Entscheidbarkeit eine bestimmten Menge von Kripkemodellen hinreichend ist.

Recommendations

• On Composing Finite Forests with Modal Logics
• Modal logics with composition on finite forests: expressivity and complexity
• scientific article; zbMATH DE number 3639589
• scientific article; zbMATH DE number 3861126
• A result on the completeness of superintuitionistic logics
• scientific article; zbMATH DE number 4189701
• Finite axiomatizability of locally tabular superintuitionistic logics
• scientific article; zbMATH DE number 3871315
• LATIN 2004: Theoretical Informatics
• scientific article; zbMATH DE number 3906478

Cites work

• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
• scientific article; zbMATH DE number 3131078 (Why is no real title available?)
• scientific article; zbMATH DE number 3300568 (Why is no real title available?)

Cited in

(2)

• Union of logics modeled by finite trees
• scientific article; zbMATH DE number 3861126 (Why is no real title available?)

This page was built for publication: Finite approximability of forest superintuitionistic logics

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