scientific article; zbMATH DE number 1138269

zbMATH Open0903.94060MaRDI QIDQ4383537FDOQ4383537

Authors: I. V. Kuku, Mefodie Raţă 

Publication date: 27 April 1998

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

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

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)

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)