scientific article; zbMATH DE number 19712

zbMATH Open0742.03007MaRDI QIDQ3979210FDOQ3979210

Authors: Andrzej Zbrzezny 

Publication date: 26 June 1992

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

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_0\)

zbMATH Keywords

semanticspartial operationssequent axiomatization

Mathematics Subject Classification ID

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

Cited In (3)

• A Three-valued Formalization of Provability
• Pecularities of some three- and four-valued second order logics
• 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)