scientific article; zbMATH DE number 1138269

MaRDI QIDQ4383537zbMATH OpenFDO

Authors I. V. Kuku, Mefodie Raţă

Publication date 27 April 1998

zbMATH Keywords

intermediate logicparametric completenessfive-valued pseudo-Boolean algebra

Mathematics Subject Classification ID

Intermediate logics (03B55) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Recommendations

• A criterion for parametrical completeness in the 5-valued non-linear algebraic model of intuitionistic logic
• A criterion for parametrical completeness in the 8-valued algebraic model of modal logic S5
• scientific article; zbMATH DE number 1918664
• Criterion of parametrical completeness in the 6-element non-chain extension of intuitionistic logic of A. Heyting
• scientific article; zbMATH DE number 4081513

Cited in

(3)

• A criterion for parametrical completeness in the 5-valued non-linear algebraic model of intuitionistic logic
• A criterion for parametrical completeness in the 8-valued algebraic model of modal logic S5
• A Strongly Complete Formalisation of a 5-Valued Propositional Calculus

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