Automating Coherent Logic
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 3878393
- scientific article; zbMATH DE number 3170714
- Automaton logic
- scientific article; zbMATH DE number 3972241
- Automatic reasoning in paraconsistent logic
- Automating theories in intuitionistic logic
- Mechanizing coinduction and corecursion in higher-order logic
- Automated Reasoning
- Automated Reasoning in Kleene Algebra
- Proof simplification in the framework of coherent logic
Cited in
(22)- Geometry constructions language
- Invited Talk: Coherentisation of First-Order Logic
- An intuitionistic formula hierarchy based on high‐school identities
- Exploring theories with a model-finding assistant
- From informal to formal proofs in Euclidean geometry
- Automated generation of illustrated proofs in geometry and beyond
- Intuitionistic Decision Procedures Since Gentzen
- scientific article; zbMATH DE number 3170714 (Why is no real title available?)
- Valuative Lattices and Spectra
- Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry
- Processes, Terms and Cycles: Steps on the Road to Infinity
- Valuative dimension, constructive points of view
- Spectral spaces versus distributive lattices: a dictionary
- The flower calculus
- A Kripke model for simplicial sets
- Theorem proving as constraint solving for coherent logic with function symbols
- Automated generation of illustrations for synthetic geometry proofs
- Theorem proving as constraint solving with coherent logic
- On the mechanization of the proof of Hessenberg's theorem in coherent logic
- A coherent logic based geometry theorem prover capable of producing formal and readable proofs
- A vernacular for coherent logic
- Automated completion of statements and proofs in synthetic geometry: an approach based on constraint solving
This page was built for publication: Automating Coherent Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5387843)
