The Trilattice of Constructive Truth Values
DOI10.1093/LOGCOM/11.6.761zbMATH Open0996.03014OpenAlexW1991636605MaRDI QIDQ4529486FDOQ4529486
Yaroslav Shramko, J. Michael Dunn, Tatsutoshi Takenaka
Publication date: 22 May 2002
Published in: Journal Of Logic And Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/27c7b22cc2481d8d938a4c151d5c719354bf2576
Recommendations
constructive logicmany-valued logictrilatticeconstructive falsityconstructive truthgeneralized truth value spaceover-determined valuationunder-determined valuation
Cited In (40)
- Two proofs of the algebraic completeness theorem for multilattice logic
- Hyper-contradictions, generalized truth values and logics of truth and falsehood
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
- Structuring co-constructive logic for proofs and refutations
- Bilattice Logics and Demi-Negation
- On Vidal's trivalent explanations for defective conditional in mathematics
- What difference does it make: Three truth-values or two plus gaps?
- Some useful 16-valued logics: How a computer network should think
- Basic Four-Valued Systems of Cyclic Negations
- Dual intuitionistic logic and a variety of negations: the logic of scientific research
- Title not available (Why is that?)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
- An Invitation to New Essays on Belnap-Dunn Logic
- FDE as a Base for Constructive Logic
- Conservative translations of four-valued logics in modal logic
- On a multilattice analogue of a hypersequent S5 calculus
- Provability multilattice logic
- The logic of generalized truth values and the logic of bilattices
- Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning
- Non-deterministic logic of generalized classical truth values
- Representation of interlaced trilattices
- Logical multilateralism
- Proof systems combining classical and paraconsistent negations
- Truth, Falsehood, Information and Beyond: The American Plan Generalized
- A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)
- Completeness and cut-elimination theorems for trilattice logics
- Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
- Rivals to Belnap-Dunn logic on interlaced trilattices
- Gentzen-type methods for bilattice negation
- Modal multilattice logic
- Bi-facial truth: a case for generalized truth values
- Title not available (Why is that?)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
- Suszko's thesis, inferential many-valuedness, and the notion of a logical system
- The value of the one value: \textit{exactly true logic} revisited
- Title not available (Why is that?)
- Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for publication: The Trilattice of Constructive Truth Values
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4529486)
