A criterion for parametrical completeness in the 5-valued non-linear algebraic model of intuitionistic logic

zbMATH Open1265.03004MaRDI QIDQ2919898

Ion Cucu, Mefodie Raţă

Publication date: 22 October 2012

Published in: ROMAI Journal (Search for Journal in Brave)

zbMATH Keywords

intuitionistic logicpseudo-Boolean algebraparametrical completenessparametrical expressibilitypre-complete system

Mathematics Subject Classification ID

Logical aspects of Boolean algebras (03G05) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: A criterion for parametrical completeness in the 5-valued non-linear algebraic model of intuitionistic logic

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