The Trilattice of Constructive Truth Values
From MaRDI portal
Publication:4529486
Recommendations
Cited in
(41)- Hyper-contradictions, generalized truth values and logics of truth and falsehood
- An invitation to new essays on Belnap-Dunn logic
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
- Two proofs of the algebraic completeness theorem for multilattice logic
- Structuring co-constructive logic for proofs and refutations
- What difference does it make: Three truth-values or two plus gaps?
- On Vidal's trivalent explanations for defective conditional in mathematics
- Some useful 16-valued logics: How a computer network should think
- Dual intuitionistic logic and a variety of negations: the logic of scientific research
- Basic Four-Valued Systems of Cyclic Negations
- scientific article; zbMATH DE number 3918365 (Why is no real title available?)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
- Truth, falsehood, information and beyond: the American plan generalized
- FDE as a Base for Constructive Logic
- Correspondence analysis for logic of rational agent
- On a multilattice analogue of a hypersequent S5 calculus
- Conservative translations of four-valued logics in modal logic
- The logic of generalized truth values and the logic of bilattices
- Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning
- Provability multilattice logic
- Representation of interlaced trilattices
- Non-deterministic logic of generalized classical truth values
- Logical multilateralism
- Proof systems combining classical and paraconsistent negations
- 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
- Bilattice logics and demi-negation
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
- Suszko's thesis, inferential many-valuedness, and the notion of a logical system
- scientific article; zbMATH DE number 2020140 (Why is no real title available?)
- scientific article; zbMATH DE number 7297101 (Why is no real title available?)
- The value of the one value: \textit{exactly true logic} revisited
- Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic
- scientific article; zbMATH DE number 1497734 (Why is no real title available?)
- Trilattice logic: an embedding-based approach
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)
