Invited Talk: Coherentisation of First-Order Logic

DOI10.1007/978-3-319-24312-2_1MaRDI QIDQ3455757zbMATH OpenOpenAlexFDO

Authors Roy Dyckhoff

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

zbMATH Keywords

intermediate logicmodal logicautomated reasoningcoherent logicaccessibility conditions

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Intermediate logics (03B55)

Recommendations

• Coherence in inquisitive first-order logic
• On logics with coimplication
• A short tutorial on order-invariant first-order logic
• Mechanizing coinduction and corecursion in higher-order logic
• On a coalgebraic view on logic
• Foreword: special issue on coalgebraic logic

Cites work

• scientific article; zbMATH DE number 2117177 (Why is no real title available?)
• A coherent logic based geometry theorem prover capable of producing formal and readable proofs
• All-instances termination of chase is undecidable
• Automating Coherent Logic
• Geometric Resolution: A Proof Procedure Based on Finite Model Search
• Geometrisation of first-order logic
• On the mechanization of the proof of Hessenberg's theorem in coherent logic
• Proof analysis beyond geometric theories: from rule systems to systems of rules
• Proof analysis in intermediate logics
• Proof analysis in modal logic
• Skolem Machines
• Towards efficient reasoning under guarded-based disjunctive existential rules

Cited in

(2)

• Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics
• Geometrisation of first-order logic

Describes a project that uses

Uses Software

• ArgoCLP

This page was built for publication: Invited Talk: Coherentisation of First-Order Logic

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