On Gentzen relations associated with finite-valued logics preserving degrees of truth

DOI10.1007/s11225-013-9497-0zbMath1284.03167OpenAlexW2017604798MaRDI QIDQ368479

Angel J. Gil

Publication date: 23 September 2013

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-013-9497-0

zbMATH Keywords

distributive latticesalgebraic logiclogics preserving degrees of truthGentzen relationGentzen systempseudocomplemented distributive lattices

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Other algebras related to logic (03G25) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03) Abstract algebraic logic (03G27)

Uses Software

• MUltlog

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the infinite-valued Łukasiewicz logic that preserves degrees of truth
• An algebraic approach to non-classical logics
• Gentzen-type systems, resolution and tableaux
• Protoalgebraic Gentzen systems and the cut rule
• Commodious axiomatization of quantifiers in multiple-valued logic
• Correspondences between gentzen and hilbert systems
• Classic-Like Analytic Tableaux for Finite-Valued Logics
• Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
• On Gentzen Systems Associated with the Finite Linear MV-algebras
• A Strong Completeness Theorem for the Gentzen systems associated with finite algebras
• MUltlog 1.0: Towards an expert system for many-valued logics
• Sequents in many valued logic I

This page was built for publication: On Gentzen relations associated with finite-valued logics preserving degrees of truth