A Three-valued Formalization of Provability

From MaRDI portal

Revision as of 23:23, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4763534

Jump to:navigation, search

DOI10.1093/logcom/5.2.173zbMath0820.03035OpenAlexW2014810718MaRDI QIDQ4763534

Piero A. Bonatti

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in computer science (03B70) Logic programming (68N17) Proof theory in general (including proof-theoretic semantics) (03F03)

This page was built for publication: A Three-valued Formalization of Provability

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4763534&oldid=19046380"