A Three-valued Formalization of Provability
From MaRDI portal
Publication:4763534
DOI10.1093/logcom/5.2.173zbMath0820.03035MaRDI QIDQ4763534
Publication date: 11 September 1995
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/5.2.173
proof theory; self-reference; nonmonotonic reasoning; belief; logic program; three-valued semantics; autoepistemic reasoning; extensional axiomatization; first-order logic with one distinguished predicate DemoS; formalization of provability; non-theorem
03B60: Other nonclassical logic
03B70: Logic in computer science
68N17: Logic programming
03F03: Proof theory in general (including proof-theoretic semantics)