scientific article; zbMATH DE number 1471989
From MaRDI portal
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
Cited in
(12)- An implication based study on Łukasiewicz (Monteiro) 3-valued algebra and pre-rough algebra
- Distributive-lattice semantics of sequent calculi with structural rules
- scientific article; zbMATH DE number 124098 (Why is no real title available?)
- An axiomatization of the equivalential fragment of the three-valued logic of Łukasiewicz
- Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism
- Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions
- Non Truth-Functional Many-Valuedness
- scientific article; zbMATH DE number 2109247 (Why is no real title available?)
- scientific article; zbMATH DE number 7455717 (Why is no real title available?)
- A Routley-Meyer semantics for truth-preserving and well-determined Łukasiewicz 3-valued logics
- Many-place sequent calculi for finitely-valued logics
- Propositional discourse 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 Q4489073)
