scientific article; zbMATH DE number 2196615

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 logic truth-functionality bivalence algorithmic methods Suszko's thesis finite-valued semantics two-valued semantics

Mathematics Subject Classification ID

Many-valued logic (03B50) Abstract deductive systems (03B22)

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?