Kripke‐style semantics for many‐valued logics

DOI10.1002/MALQ.200310068zbMATH Open1035.03010OpenAlexW2171784431MaRDI QIDQ4452457FDOQ4452457

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

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

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)

Cited In (20)

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

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)