One Useful Logic That Defines Its Own Truth

DOI10.1007/978-3-540-85238-4_1MaRDI QIDQ3599112zbMATH OpenOpenAlexFDO

Authors Andreas Blass, Yuri Gurevich

Publication date 3 February 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0811.0964

Mathematics Subject Classification ID

Logic in computer science (03B70)

Abstract: Existential fixed point logic (EFPL) is a natural fit for some applications, and the purpose of this talk is to attract attention to EFPL. The logic is also interesting in its own right as it has attractive properties. One of those properties is rather unusual: truth of formulas can be defined (given appropriate syntactic apparatus) in the logic. We mentioned that property elsewhere, and we use this opportunity to provide the proof.

Recommendations

• scientific article; zbMATH DE number 4055578
• Fixed-point logics and computation
• Existential fixed-point logic, universal quantifiers, and topoi
• Existential least fixed-point logic and its relatives
• Fixed-point extensions of first-order logic

Cites work

• A Deductive System for Existential Least Fixpoint Logic
• A lattice-theoretical fixpoint theorem and its applications
• An axiomatic basis for computer programming
• Datalog vs first-order logic
• Elementary induction on abstract structures
• Existential least fixed-point logic and its relatives
• Horn clause queries and generalizations
• scientific article; zbMATH DE number 5605141 (Why is no real title available?)
• scientific article; zbMATH DE number 4055578 (Why is no real title available?)
• scientific article; zbMATH DE number 4114627 (Why is no real title available?)
• scientific article; zbMATH DE number 4120169 (Why is no real title available?)
• scientific article; zbMATH DE number 1860676 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• Soundness and Completeness of an Axiom System for Program Verification

Cited in

(1)

• One true logic?

Describes a project that uses

Uses Software

• DKAL

This page was built for publication: One Useful Logic That Defines Its Own Truth

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3599112)