Truth and falsehood. An inquiry into generalized logical values
From MaRDI portal
Publication:656420
DOI10.1007/978-94-007-0907-2zbMath1251.03002OpenAlexW4246289028MaRDI QIDQ656420
Yaroslav Shramko, Heinrich Wansing
Publication date: 18 January 2012
Published in: Trends in Logic -- Studia Logica Library (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-94-007-0907-2
Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Many-valued logic (03B50)
Related Items
Неклассический взгляд на природу значений истинности, Routley star and hyperintensionality, Natural dualities through product representations: bilattices and beyond, An Inferentially Many-Valued Two-Dimensional Notion of Entailment, Correspondence analysis and automated proof-searching for first degree entailment, Compositional meaning in logic, Modal multilattice logic, 40 years of FDE: an introductory overview, Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant, Provability multilattice logic, Conservative translations of four-valued logics in modal logic, A more general general proof theory, The nature of entailment: an informational approach, From many-valued consequence to many-valued connectives, A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS, Reprint of: ``A more general general proof theory, Logical multilateralism, The Infinite-Valued Łukasiewicz Logic and Probability, Completeness and cut-elimination theorems for trilattice logics, What is a Paraconsistent Logic?, On Split Negation, Strong Negation, Information, Falsification, and Verification, Truth, Falsehood, Information and Beyond: The American Plan Generalized, An Invitation to New Essays on Belnap-Dunn Logic, Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond, Bilattice Logics and Demi-Negation, The Number of Logical Values, On Non-transitive “Identity”, Interpolation in 16-valued trilattice logics, A family of metainferential logics, Unnamed Item, Bi-facial truth: a case for generalized truth values, Valuations: bi, tri, and tetra, On the Methodology of Paraconsistent Logic, Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics, SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY, On a multilattice analogue of a hypersequent S5 calculus, Meaningless divisions, Metainferential duality, Two proofs of the algebraic completeness theorem for multilattice logic, A non-inferentialist, anti-realistic conception of logical truth and falsity, Disjoint Logics, The Strict/Tolerant Idea and Bilattices, The logic of generalized truth values and the logic of bilattices, Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\), Sequent-calculi for metainferential logics
