Hyper-contradictions, generalized truth values and logics of truth and falsehood
DOI10.1007/S10849-006-9015-0zbMATH Open1159.03302OpenAlexW2082428652MaRDI QIDQ1006448FDOQ1006448
Yaroslav Shramko, Heinrich Wansing
Publication date: 24 March 2009
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10849-006-9015-0
first-degree entailmentgeneralized truth valuesmultilatticeBelnap-trilatticeHyper-contradictiontruth and falsity orderings
Philosophical and critical aspects of logic and foundations (03A05) Many-valued logic (03B50) Logical aspects of lattices and related structures (03G10)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The logic of paradox
- Some useful 16-valued logics: How a computer network should think
- Algebraic methods in philosophical logic
- The Trilattice of Constructive Truth Values
- Dual intuitionistic logic and a variety of negations: the logic of scientific research
- Negation in the context of gaggle theory
- Intuitive semantics for first-degree entailments and `coupled trees'
- An introduction to non-classical logic
- Partiality and its dual
- A comparative study of various model-theoretic treatments of negation: A history of formal negation
- Jaina Logic and the Philosophical Basis of Pluralism
Cited In (32)
- Degrees of Truth, Ill-Known Sets and Contradiction
- Eastern Proto-Logics
- Processing Information from a Set of Sources
- Shadowed set approximations of L-fuzzy sets
- On axiomatizing Shramko-Wansing's logic
- Truth values, neither-true-nor-false, and supervaluations
- Jaina Logic: A Contemporary Perspective
- Editorial introduction. Truth values. I
- Another paraconsistent algebraic semantics for Lukasiewicz-Pavelka logic
- The power of Belnap: sequent systems for \(SIXTEEN_{3 }\)
- Conservative translations of four-valued logics in modal logic
- A non-inferentialist, anti-realistic conception of logical truth and falsity
- The logic of generalized truth values and the logic of bilattices
- Representation of interlaced trilattices
- Supervaluation fixed-point logics of truth
- Proof systems combining classical and paraconsistent negations
- Paraconsistent semantics for Pavelka style fuzzy sentential logic
- Truth, Falsehood, Information and Beyond: The American Plan Generalized
- A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)
- Valuations: bi, tri, and tetra
- Completeness and cut-elimination theorems for trilattice logics
- A note on FDE ``all the way up
- SEQUENT CALCULI FOR SOME TRILATTICE LOGICS
- A hierarchy of weak double negations
- Bi-facial truth: a case for generalized truth values
- Two Consistent Many-Valued Logics for Paraconsistent Phenomena
- Author's response to Wansing and Belnap's Generalized truth-values
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
- Suszko's thesis, inferential many-valuedness, and the notion of a logical system
- Notes on Craig interpolation for LJ with strong negation
- Intersubstitutivity principles and the generalization function of truth
- Hyperintensional propositions
This page was built for publication: Hyper-contradictions, generalized truth values and logics of truth and falsehood
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1006448)
