The following pages link to (Q5311062):
Displaying 22 items.
- Abstract valuation semantics (Q368484) (← links)
- The single-minded pursuit of consistency and its weakness (Q631514) (← links)
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics (Q744990) (← links)
- The method of polynomial ring calculus and its potentialities (Q897932) (← links)
- Suszko's thesis, inferential many-valuedness, and the notion of a logical system (Q931405) (← links)
- Taking degrees of truth seriously (Q1015492) (← links)
- Multi-valued semantics: why and how (Q1037597) (← links)
- What is a non-truth-functional logic? (Q1037600) (← links)
- Compositional meaning in logic (Q1682292) (← links)
- A note on two's company: ``The humbug of many logical values'' (Q1682300) (← links)
- Anti-intuitionism and paraconsistency (Q1775870) (← links)
- On the meaning of connectives (apropos of a non-necessitarianist challenge) (Q1942340) (← links)
- Translating non-classical logics into classical logic by using hidden variables (Q2399603) (← links)
- Truth, Falsehood, Information and Beyond: The American Plan Generalized (Q3305427) (← links)
- Algebraic Valuations as Behavioral Logical Matrices (Q3638271) (← links)
- Classic-Like Analytic Tableaux for Finite-Valued Logics (Q3638289) (← links)
- A Strongly Complete Formalisation of a 5-Valued Propositional Calculus (Q3770501) (← links)
- An Inferentially Many-Valued Two-Dimensional Notion of Entailment (Q4576064) (← links)
- On polynomial semantics for propositional logics (Q4586158) (← links)
- Society semantics and the logic way to collective intelligence (Q4586233) (← links)
- Towards an Efficient Prover for the <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msub><mml:mi>C</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:math> Paraconsistent Logic (Q5170293) (← links)
- Many-valued modalities and paraconsistency (Q6623951) (← links)
