scientific article; zbMATH DE number 19712

MaRDI QIDQ3979210zbMATH OpenFDO

Authors Andrzej Zbrzezny

Publication date 26 June 1992

zbMATH Keywords

partial operationssemanticssequent axiomatization

Mathematics Subject Classification ID

Many-valued logic (03B50) Cut-elimination and normal-form theorems (03F05)

Recommendations

• On the axiomatization of three-valued propositional logic
• scientific article; zbMATH DE number 1163566
• Sequent calculi for three-valued logics
• scientific article; zbMATH DE number 4106806
• The hilbert type axiomatization of some three‐valued propositional logic
• Three-valued paraconsistent propositional logics
• Formal axiomatic theories based on a three-valued logic
• scientific article; zbMATH DE number 1775473
• Three-valued logics in modal logic
• Some remarks on the three-valued propositional logic R₀

Cited in

(3)

• Pecularities of some three- and four-valued second order logics
• A Three-valued Formalization of Provability
• A Correspondence Between Variable Relations And Three-Valued Propositional Logic

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