Partial and paraconsistent three-valued logics
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3659568 (Why is no real title available?)
- scientific article; zbMATH DE number 3784842 (Why is no real title available?)
- scientific article; zbMATH DE number 43479 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 3556029 (Why is no real title available?)
- scientific article; zbMATH DE number 1497485 (Why is no real title available?)
- scientific article; zbMATH DE number 3453564 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- Anti-intuitionism and paraconsistency
- Automated deduction for many-valued logics
- Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
- Bilattices and the semantics of logic programming
- Cuts, gluts and gaps
- Intuitive semantics for first-degree entailments and `coupled trees'
- Labeled calculi and finite-valued logics
- Maximal weakly-intuitionistic logics
- Normal forms and functional completeness for four-valued languages
- On partial and paraconsistent logics
- On the expressive power of three-valued and four-valued languages
- Partiality and its dual
Cited in
(16)- Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\)
- On partial and paraconsistent logics
- Three characterizing numbers of partition logics
- Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation
- Eine dreiwertige Logik zur Verarbeitung partieller Information. (A three- valued logic for partial information processing)
- Relationships between Connectives in Three-Valued Logics
- The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property
- Correspondence analysis and automated proof-searching for first degree entailment
- scientific article; zbMATH DE number 988154 (Why is no real title available?)
- A map of dependencies among three-valued logics
- Medium logic and Woodruff's three-valued logic
- Disjoint logics
- Cut-free systems for three-valued modal logics
- Neutral free logic: motivation, proof theory and models
- Two Genuine 3-Valued Paraconsistent Logics
- Strong Three-Valued Paraconsistent Logics
This page was built for publication: Partial and paraconsistent three-valued logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2987760)
