The Trilattice of Constructive Truth Values
From MaRDI portal
Publication:4529486
DOI10.1093/logcom/11.6.761zbMath0996.03014OpenAlexW1991636605MaRDI QIDQ4529486
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
many-valued logictrilatticeconstructive logicconstructive falsityconstructive truthgeneralized truth value spaceover-determined valuationunder-determined valuation
Related Items
Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning, Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation, Modal multilattice logic, Rivals to Belnap-Dunn logic on interlaced trilattices, Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant, Provability multilattice logic, The value of the one value: \textit{exactly true logic} revisited, Conservative translations of four-valued logics in modal logic, Unnamed Item, Logical multilateralism, Basic Four-Valued Systems of Cyclic Negations, Completeness and cut-elimination theorems for trilattice logics, Representation of interlaced trilattices, Suszko's thesis, inferential many-valuedness, and the notion of a logical system, Truth, Falsehood, Information and Beyond: The American Plan Generalized, An Invitation to New Essays on Belnap-Dunn Logic, FDE as a Base for Constructive Logic, Bilattice Logics and Demi-Negation, On Vidal's trivalent explanations for defective conditional in mathematics, Bi-facial truth: a case for generalized truth values, The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins, Hyper-contradictions, generalized truth values and logics of truth and falsehood, Proof systems combining classical and paraconsistent negations, On a multilattice analogue of a hypersequent S5 calculus, Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi, Proof theory of Nelson's paraconsistent logic: a uniform perspective, A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\), Unnamed Item, Two proofs of the algebraic completeness theorem for multilattice logic, The logic of generalized truth values and the logic of bilattices, Gentzen-type methods for bilattice negation, Dual intuitionistic logic and a variety of negations: the logic of scientific research, Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic, Some useful 16-valued logics: How a computer network should think, Structuring co-constructive logic for proofs and refutations
