Corrigendum to “Kripke‐style semantics for many‐valued logics”
From MaRDI portal
Publication:4458706
DOI10.1002/MALQ.200310081zbMATH Open1039.03013OpenAlexW2155243756MaRDI QIDQ4458706FDOQ4458706
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
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
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 (9)
- 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
- Title not available (Why is that?)
- Corrigendum to: ``Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\)
- Substructural nuclear (image-based) logics and operational Kripke-style semantics
- Corrigendum and addendum to: ``\(L\)-algebras and three main non-classical logics
- Algebraic Kripke-style semantics for relevance logics
- Corrigendum to: ``Logics preserving degrees of truth from varieties of residuated lattices
- Corrigendum: On infinite computations in denotational semantics
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)
