Kripke‐style semantics for many‐valued logics

DOI10.1002/MALQ.200310068MaRDI QIDQ4452457zbMATHOpenAlexFDO

Authors Franco Montagna, Lorenzo Sacchetti

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

zbMATH Keywords

Kripke semanticsalgebraic semanticsKripke modelMany-valued logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50) Other algebras related to logic (03G25)

Recommendations

• Many-valued and Kripke semantics
• Many-valued logics -- implications and semantic consequences
• Many-valued logics
• scientific article; zbMATH DE number 560935
• scientific article; zbMATH DE number 1749199
• Many-valued logics
• scientific article; zbMATH DE number 35414
• scientific article; zbMATH DE number 4041870
• Multi-valued semantics for logic programs
• Kripke-style semantics of orthomodular logics

Cited in

(21)

• Supersound many-valued logics and Dedekind-MacNeille completions
• Triangular norm based predicate fuzzy logics
• Arithmetical complexity of fuzzy predicate logics -- a survey. II.
• Two kinds of (binary) Kripke-style semantics for three-valued logic
• scientific article; zbMATH DE number 3963798 (Why is no real title available?)
• A note on the first‐order logic of complete BL‐chains
• Arithmetical complexity of fuzzy predicate logics -- a survey
• Many-valued and Kripke semantics
• Mathematical fuzzy logic -- what it can learn from Mostowski and Rasiowa
• \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic
• Ł\(\Pi\) logic with fixed points
• Corrigendum to “Kripke‐style semantics for many‐valued logics”
• A Kripke Semantics for Hajek's BL
• Obituary: Franco Montagna (1948--2015)
• Substructural nuclear (image-based) logics and operational Kripke-style semantics
• Institutional semantics for many-valued logics
• Forcing operators on MTL-algebras
• scientific article; zbMATH DE number 7536428 (Why is no real title available?)
• Algebraic Kripke-style semantics for relevance logics
• A Kripke-style and relational semantics for logics based on Łukasiewicz algebras
• scientific article; zbMATH DE number 4041870 (Why is no real title available?)

This page was built for publication: Kripke‐style semantics for many‐valued logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4452457)