scientific article; zbMATH DE number 1918664

zbMATH Open1022.03009MaRDI QIDQ4483632FDOQ4483632

Authors: Vadim Cebotari 

Publication date: 2 November 2003

Title of this publication is not available (Why is that?)

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

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)

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
• Title not available (Why is that?)
• A criterion for parametrical completeness in the 8-valued algebraic model of modal logic S5
• Title not available (Why is that?)
• Completeness criteria for expressibility in a 4-valued extension of provability logic
• Title not available (Why is that?)
• 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)