Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
From MaRDI portal
Publication:5937806
DOI10.1305/ndjfl/1039293020zbMath0967.03019MaRDI QIDQ5937806
Publication date: 17 July 2001
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1039293020
biconsequence relations; four-valued logic; four-valued reasoning; partial logics; reasoning with incomplete and inconsistent data; three-valued logic
Related Items
Useful Four-Valued Extension of the Temporal Logic KtT4, An Inferentially Many-Valued Two-Dimensional Notion of Entailment, Tarskian consequence relations bilaterally: some familiar notions, Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation, A causal approach to nonmonotonic reasoning, Some useful 16-valued logics: How a computer network should think, Default logic generalized and simplified, A general framework for FDE-based modal logics, Neutral free logic: motivation, proof theory and models, Here and There among Logics for Logic Programming, Partial and paraconsistent three-valued logics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Bilattices and the theory of truth
- Semantical investigations in Heyting's intuitionistic logic
- An algebraic approach to non-classical logics
- Intuitive semantics for first-degree entailments and `coupled trees'
- Partial up an down logic
- Reasoning with logical bilattices
- Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle
- Natural 3-valued logics—characterization and proof theory
- Bilattices and the semantics of logic programming
- A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion
- Sequents in many valued logic I
- Many-valued logics of extended Gentzen style II