Partial and paraconsistent three-valued logics
From MaRDI portal
Recommendations
Cites work
- 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
- 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?)
- 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
(20)- Eine dreiwertige Logik zur Verarbeitung partieller Information. (A three- valued logic for partial information processing)
- Cut-free systems for three-valued modal logics
- Sequent calculi for three-valued logics
- Three characterizing numbers of partition logics
- A simple sequent calculus for partial functions
- Correspondence analysis and automated proof-searching for first degree entailment
- Neutral free logic: motivation, proof theory and models
- The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property
- scientific article; zbMATH DE number 988154 (Why is no real title available?)
- Relationships between Connectives in Three-Valued Logics
- Natural 3-valued logics—characterization and proof theory
- scientific article; zbMATH DE number 1163566 (Why is no real title available?)
- A map of dependencies among three-valued logics
- Disjoint logics
- Two Genuine 3-Valued Paraconsistent Logics
- Strong Three-Valued Paraconsistent Logics
- Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation
- On partial and paraconsistent logics
- Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\)
- Medium logic and Woodruff's three-valued logic
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)
