Logics preserving degrees of truth from varieties of residuated lattices
From MaRDI portal
Publication:2893327
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
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