scientific article; zbMATH DE number 2196615
From MaRDI portal
Publication:5311062
zbMath1076.03006MaRDI QIDQ5311062
Marcelo E. Coniglio, João Marcos, Carlos Caleiro, Walter Alexandre Carnielli
Publication date: 22 August 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
many-valued logictruth-functionalitybivalencealgorithmic methodsSuszko's thesisfinite-valued semanticstwo-valued semantics
Related Items
Translating non-classical logics into classical logic by using hidden variables, Abstract valuation semantics, An Inferentially Many-Valued Two-Dimensional Notion of Entailment, Compositional meaning in logic, A note on two's company: ``The humbug of many logical values, On polynomial semantics for propositional logics, Society semantics and the logic way to collective intelligence, The method of polynomial ring calculus and its potentialities, On the meaning of connectives (apropos of a non-necessitarianist challenge), The single-minded pursuit of consistency and its weakness, Suszko's thesis, inferential many-valuedness, and the notion of a logical system, Truth, Falsehood, Information and Beyond: The American Plan Generalized, 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, Anti-intuitionism and paraconsistency, Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics, Taking degrees of truth seriously, Algebraic Valuations as Behavioral Logical Matrices, Classic-Like Analytic Tableaux for Finite-Valued Logics, Multi-valued semantics: why and how, What is a non-truth-functional logic?
