Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
From MaRDI portal
Publication:3656765
DOI10.1093/logcom/exp030zbMath1197.03023arXiv0803.1648OpenAlexW1964048881MaRDI QIDQ3656765
Josep Maria Font, Lluís Godo, Francesc Esteva, Félix Bou, Angel J. Gil, Ventura Verdú, Antoni Torrens Torrell
Publication date: 14 January 2010
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0803.1648
many-valued logicsubstructural logicresiduated latticesGentzen systemdegrees of truthnon-protoalgebraic logicTarski-style condition
Ordered semigroups and monoids (06F05) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract algebraic logic (03G27)
Related Items
On the deductive system of the order of an equationally orderable quasivariety ⋮ COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC ⋮ Paraconsistency properties in degree-preserving fuzzy logics ⋮ On Gentzen relations associated with finite-valued logics preserving degrees of truth ⋮ The strong version of a sentential logic ⋮ Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic ⋮ Consequence and Degrees of Truth in Many-Valued Logic ⋮ LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT ⋮ Algebraizable logics with a strong conjunction and their semi-lattice based companions ⋮ Abstract algebraic logic. An introductory chapter ⋮ On Conjectures in t-Norm Based Fuzzy Logics ⋮ Selfextensional logics with a distributive nearlattice term ⋮ Leibniz-linked pairs of deductive systems ⋮ Hilbert-style presentations of two logics associated to tetravalent modal algebras ⋮ REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS ⋮ Gödel logics with monotone operators ⋮ Implicational (semilinear) logics. I: A new hierarchy ⋮ Constructive logic with strong negation is a substructural logic. II ⋮ Taking degrees of truth seriously ⋮ Countably many weakenings of Belnap-Dunn logic ⋮ Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras ⋮ A Similarity-Based Three-Valued Modal Logic Approach to Reason with Prototypes and Counterexamples ⋮ Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency