scientific article; zbMATH DE number 1471989

zbMATH Open0963.03037MaRDI QIDQ4489073FDOQ4489073

Authors: Jean-Yves Béziau 

Publication date: 18 June 2001

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

Recommendations

• Sequent calculi for three-valued logics
• scientific article; zbMATH DE number 4049622
• A Routley-Meyer semantics for truth-preserving and well-determined Łukasiewicz 3-valued logics
• An axiomatization of the equivalential fragment of the three-valued logic of Łukasiewicz
• scientific article; zbMATH DE number 465607

zbMATH Keywords

many-valued logicbivaluationsSuszko's semanticsŁukasiewicz logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03)

Cited In (12)

• An implication based study on Łukasiewicz (Monteiro) 3-valued algebra and pre-rough algebra
• Title not available (Why is that?)
• Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions
• Non Truth-Functional Many-Valuedness
• Distributive-lattice semantics of sequent calculi with structural rules
• Many-place sequent calculi for finitely-valued logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Propositional discourse logic
• Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism
• An axiomatization of the equivalential fragment of the three-valued logic of Łukasiewicz
• A Routley-Meyer semantics for truth-preserving and well-determined Łukasiewicz 3-valued logics

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