Details

Autor(en) / Beteiligte

• Bonatti, Piero A.
• Pettorossi, A.

Titel

Model theoretic semantics for Demo

Ist Teil von

• Meta-Programming in Logic, 2005, p.220-234

Ort / Verlag

Berlin, Heidelberg: Springer Berlin Heidelberg

Erscheinungsjahr

2005

Quelle

Alma/SFX Local Collection

Beschreibungen/Notizen

• A useful 3-valued provability predicate Demos is defined, that can provably simulate non-classical logics and connectives (like autoepistemic logic and negation-as-failure) and that, despite its 3-valued semantics, is able to capture thoroughly classical notions of provability and unprovability. Demos is largely tolerant to self-reference, and can be axiomatised consistently. Its semantics provides a guide to the development of effective axiomatisations and meta-interpreters that do not fall under the scope of the well known negative results on incompleteness and inconsistency.