Suszko's thesis, inferential many-valuedness, and the notion of a logical system

DOI10.1007/s11225-008-9111-zzbMath1189.03026OpenAlexW2034526334MaRDI QIDQ931405

Yaroslav Shramko, Heinrich Wansing

Publication date: 25 June 2008

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-008-9111-z

zbMATH Keywords

many-valued logicalgebraic valuesbivaluationsinferential many-valuednesslogical truth valuesSuszko's Thesis

Mathematics Subject Classification ID

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

Related Items (18)

Неклассический взгляд на природу значений истинности ⋮ Non-conditional contracting connectives ⋮ An Inferentially Many-Valued Two-Dimensional Notion of Entailment ⋮ Human rationality challenges universal logic ⋮ From (Paraconsistent) Topos Logic to Universal (Topos) Logic ⋮ Knot is not that nasty (but it is hardier than tonk) ⋮ Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation ⋮ On the meaning of connectives (apropos of a non-necessitarianist challenge) ⋮ Truth, Falsehood, Information and Beyond: The American Plan Generalized ⋮ Bi-facial truth: a case for generalized truth values ⋮ Valuations: bi, tri, and tetra ⋮ SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY ⋮ Editorial introduction. Truth values. I ⋮ Taking degrees of truth seriously ⋮ Constructive negation, implication, and co-implication ⋮ Multi-valued semantics: why and how ⋮ Beyond three inferential values ⋮ Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism

Cites Work

• On partial and paraconsistent logics
• What's wrong with tonk(?)
• Some useful 16-valued logics: How a computer network should think
• Connectives stranger than tonk
• Hyper-contradictions, generalized truth values and logics of truth and falsehood
• Possible worlds semantics: a research program that cannot fail?
• The preservation of coherence
• A perspective on modal sequent logic
• Theory of logical calculi. Basic theory of consequence operations
• Universal semantics?
• The Fregean axiom and Polish mathematical logic in the \(1920^s\)
• Logic and aggregation
• Many-valued logics and Suszko's thesis revisited
• Intuitive semantics for first-degree entailments and `coupled trees'
• Inferential intensionality
• Partiality and its dual
• Inferential paraconsistency
• Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle
• An Interpretation of Many-Valued Logic
• The Trilattice of Constructive Truth Values
• Some remarks on the consequence operation in sentential logics
• Protoalgebraic logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Suszko's thesis, inferential many-valuedness, and the notion of a logical system