scientific article; zbMATH DE number 2024293

MaRDI QIDQ4443015zbMATH OpenFDO

Authors P. H. Rodenburg

Publication date 8 January 2004

zbMATH Keywords

complete axiomatizationequational theoryfour-valued logicfunctional completenessinformativity lattice

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• Four-valued logic
• A useful four-valued logic
• scientific article; zbMATH DE number 475182
• Four-valued paradefinite logics
• Bitopology and four-valued logic
• On four-valued regular logics
• scientific article; zbMATH DE number 2064177
• A 4-valued framework encompassing intuitionistic and classical logic
• A new four-valued approach to modal logic

Cited in

(15)

• Four-valued logic
• Process algebra and conditional composition
• The number of logical values
• scientific article; zbMATH DE number 3891331 (Why is no real title available?)
• On four-valued regular logics
• scientific article; zbMATH DE number 475182 (Why is no real title available?)
• scientific article; zbMATH DE number 2009897 (Why is no real title available?)
• Process algebra with four-valued logic
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• scientific article; zbMATH DE number 2064177 (Why is no real title available?)
• A propositional logic with 4 values: true, false, divergent and meaningless
• scientific article; zbMATH DE number 3894981 (Why is no real title available?)
• Rogowski's logic as a functional system
• A calculus for four-valued sequential logic
• Normal forms and functional completeness for four-valued languages

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