Pages that link to "Item:Q4458706"
From MaRDI portal
The following pages link to Corrigendum to “Kripke‐style semantics for many‐valued logics” (Q4458706):
Displaying 9 items.
- Corrigendum to ``Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms'' (Q418158) (← links)
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- Corrigendum: On infinite computations in denotational semantics (Q789892) (← links)
- Correction to: ``A modal view on resource-bounded propositional logics'' (Q2106882) (← links)
- Corrigendum and addendum to: ``\(L\)-algebras and three main non-classical logics'' (Q2111110) (← links)
- Corrigendum to: ``Logics preserving degrees of truth from varieties of residuated lattices'' (Q2893327) (← links)
- (Q5863756) (← links)
- Corrigendum to: ``Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\)'' (Q6083023) (← links)
- Substructural nuclear (image-based) logics and operational Kripke-style semantics (Q6597128) (← links)