scientific article; zbMATH DE number 3871315

MaRDI QIDQ3338210zbMATH OpenFDO

Authors Jan Zygmunt

Publication date 1983

zbMATH Keywords

decidabilityfinite axiomatizabilityfinitely approximable logicLindenbaum matricessentential logicstructural consequence operation

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Recommendations

• On decision procedures for sentential logics
• LATIN 2004: Theoretical Informatics
• scientific article; zbMATH DE number 3855058
• scientific article; zbMATH DE number 1523044
• On decidability of the decomposability problem for finite theories
• On the maximality of logics with approximations
• scientific article; zbMATH DE number 2101962
• scientific article; zbMATH DE number 3245444
• scientific article; zbMATH DE number 1163938
• scientific article; zbMATH DE number 19156

Cited in

(6)

• Finite approximability of forest superintuitionistic logics
• On decision procedures for sentential logics
• scientific article; zbMATH DE number 3853041 (Why is no real title available?)
• scientific article; zbMATH DE number 3920436 (Why is no real title available?)
• scientific article; zbMATH DE number 3715505 (Why is no real title available?)
• Decidability and complexity of fibred logics without shared connectives

This page was built for publication:

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