Kripke‐style semantics for many‐valued logics
From MaRDI portal
Publication:4452457
DOI10.1002/malq.200310068zbMath1035.03010OpenAlexW2171784431MaRDI QIDQ4452457
Lorenzo Sacchetti, Franco Montagna
Publication date: 12 February 2004
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200310068
Other algebras related to logic (03G25) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items
\(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic ⋮ Mathematical fuzzy logic -- what it can learn from Mostowski and Rasiowa ⋮ Unnamed Item ⋮ Obituary: Franco Montagna (1948--2015) ⋮ A note on the first‐order logic of complete BL‐chains ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ Ł\(\Pi\) logic with fixed points ⋮ Triangular norm based predicate fuzzy logics ⋮ Forcing operators on MTL-algebras ⋮ Arithmetical complexity of fuzzy predicate logics -- a survey. II. ⋮ Supersound many-valued logics and Dedekind-MacNeille completions ⋮ Arithmetical complexity of fuzzy predicate logics -- a survey
