Corrigendum to “Kripke‐style semantics for many‐valued logics”

DOI10.1002/MALQ.200310081MaRDI QIDQ4458706zbMATH OpenOpenAlexFDO

Authors Franco Montagna, Lorenzo Sacchetti

Publication date 15 March 2004

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200310081

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

• Corrigendum to: ``Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\)
• Kripke‐style semantics for many‐valued logics
• Corrigendum to: ``Logics preserving degrees of truth from varieties of residuated lattices
• Comments on some completeness theorems of Urquhart and Méndez \& Salto
• Erratum to: ``Suszko's thesis, inferential many-valuedness, and the notion of a logical system

Cited in

(9)

• Corrigendum: On infinite computations in denotational semantics
• Corrigendum and addendum to: ``\(L\)-algebras and three main non-classical logics
• Correction to: ``A modal view on resource-bounded propositional logics
• Corrigendum to ``Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms
• Corrigendum to: ``Logics preserving degrees of truth from varieties of residuated lattices
• Substructural nuclear (image-based) logics and operational Kripke-style semantics
• scientific article; zbMATH DE number 7536428 (Why is no real title available?)
• Corrigendum to: ``Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\)
• Algebraic Kripke-style semantics for relevance logics

This page was built for publication: Corrigendum to “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 Q4458706)