scientific article; zbMATH DE number 1918664

MaRDI QIDQ4483632zbMATH OpenFDO

Authors Vadim Cebotari

Publication date 2 November 2003

zbMATH Keywords

functional completenessexpressibilitytopological Boolean algebramodal logic S5parametrical completenessparametrical precomplete classes of formulae

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

Recommendations

• A criterion for parametrical completeness in the 8-valued algebraic model of modal logic S5
• Criterion of parametrical completeness in the 6-element non-chain extension of intuitionistic logic of A. Heyting
• A criterion for parametrical completeness in the 5-valued non-linear algebraic model of intuitionistic logic
• scientific article; zbMATH DE number 3916226
• Completeness criteria for expressibility in a 4-valued extension of provability logic

Cited in

(8)

• A criterion for parametrical completeness in the 5-valued non-linear algebraic model of intuitionistic logic
• Criterion of parametrical completeness in the 6-element non-chain extension of intuitionistic logic of A. Heyting
• scientific article; zbMATH DE number 4135915 (Why is no real title available?)
• A criterion for parametrical completeness in the 8-valued algebraic model of modal logic S5
• scientific article; zbMATH DE number 3916226 (Why is no real title available?)
• Completeness criteria for expressibility in a 4-valued extension of provability logic
• scientific article; zbMATH DE number 4081513 (Why is no real title available?)
• On some classes of formulas in S5 which are pre-complete relative to existential expressibility

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 Q4483632)