Pages that link to "Item:Q6083023"

The following pages link to Corrigendum to: ``Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\)'' (Q6083023):

Displaying 18 items.

• Corrigendum to ``Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms'' (Q418158) (← links)
• Correction to: ``Multiple model synchronization with multiary delta lenses with amendment and K-Putput'' (Q782503) (← links)
• Corrigendum to: ``An order-theoretic analysis of interpretations among propositional deductive systems'' (Q904154) (← links)
• Erratum to: ``Suszko's thesis, inferential many-valuedness, and the notion of a logical system'' (Q935025) (← links)
• A new variant of the Gödel-Malcev theorem for the classical propositional calculus and correction to my paper: ``The connective of necessity of modal logic \(S_ 5\) is metalogical'' (Q1097869) (← links)
• \(n\)-fold implicative basic logic is Gödel logic (Q1933768) (← links)
• Corrigendum to: ``On the decidability of semilinearity for semialgebraic sets and its implications for spatial databases (Q1970207) (← links)
• Correction to: ``\(Log_A \mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions'' (Q2029710) (← links)
• Correction to: ``A formalization of the Smith normal form in higher-order logic'' (Q2102951) (← links)
• Correction to: ``Local is best: efficient reductions to modal logic \textsf{K}'' (Q2102952) (← 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: ``Intrinsic algebraic entropy'' (Q2220196) (← links)
• Corrigendum to: ``Logics preserving degrees of truth from varieties of residuated lattices'' (Q2893327) (← links)
• Erratum to: A substructural logic for layered graphs (Q2987058) (← links)
• Corrigendum to “Kripke‐style semantics for many‐valued logics” (Q4458706) (← links)
• Corrigendum to Affine Relativization (Q5205812) (← links)
• An algebraic semantics for possibilistic finite-valued Łukasiewicz logic (Q6116520) (← links)