Invited Talk: Coherentisation of First-Order Logic
From MaRDI portal
Publication:3455757
DOI10.1007/978-3-319-24312-2_1zbMath1471.03016MaRDI QIDQ3455757
Publication date: 11 December 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-24312-2_1
03B45: Modal logic (including the logic of norms)
03B10: Classical first-order logic
03B35: Mechanization of proofs and logical operations
03B55: Intermediate logics
Uses Software
Cites Work
- Unnamed Item
- Proof analysis in intermediate logics
- Proof analysis in modal logic
- On the mechanization of the proof of Hessenberg's theorem in coherent logic
- GEOMETRISATION OF FIRST-ORDER LOGIC
- Towards Efficient Reasoning Under Guarded-Based Disjunctive Existential Rules
- A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs
- Geometric Resolution: A Proof Procedure Based on Finite Model Search
- Skolem Machines
- All–Instances Termination of Chase is Undecidable
- Automating Coherent Logic
- Proof analysis beyond geometric theories: from rule systems to systems of rules