CWA Extensions to Multi-Valued Logics
From MaRDI portal
Publication:3647206
DOI10.3166/jancl.13.133-164zbMath1185.68303MaRDI QIDQ3647206
Publication date: 30 November 2009
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3166/jancl.13.133-164
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Refutational theorem proving using term-rewriting systems
- Multi-valued logic and Gröbner bases with applications to modal logic
- MOLOG: A system that extends PROLOG with modal logic
- Negation as failure: careful closure procedure
- On the relationship between circumscription and negation as failure
- Resolution-based theorem proving for many-valued logics
- N-Prolog: An extension of Prolog with hypothetical implications. I.
- The Semantics of Predicate Logic as a Programming Language