On Theorem Proving in Annotated Logics
From MaRDI portal
Publication:4443407
DOI10.1080/11663081.2000.10510993zbMath1033.03006MaRDI QIDQ4443407
Publication date: 11 January 2004
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/11663081.2000.10510993
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Refutational theorem proving using term-rewriting systems
- Completely non-clausal theorem proving
- Paraconsistent disjunctive deductive databases
- Paraconsistent logic programming
- A semantical framework for supporting subjective and conditional probabilities in deductive databases
- A new method for the Boolean ring based theorem proving
- On the theory of inconsistent formal systems
- Parallel polynomial operations on SMPs: An overview
- The Paraconsistent Logics PJ