Logics preserving degrees of truth from varieties of residuated lattices

DOI10.1093/logcom/exr003zbMath1247.03032OpenAlexW2951560178MaRDI QIDQ2893327

Angel J. Gil, Félix Bou, Francesc Esteva, Josep Maria Font, Ventura Verdú, Lluís Godo, Antoni Torrens Torrell

Publication date: 20 June 2012

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exr003

zbMATH Keywords

protoalgebraic logicmany-valued logicsubstructural logicresiduated latticesdegrees of truth

Mathematics Subject Classification ID

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

Consequence and Degrees of Truth in Many-Valued Logic ⋮ Countably many weakenings of Belnap-Dunn logic