Automating Coherent Logic
From MaRDI portal
Publication:5387843
DOI10.1007/11591191_18zbMath1143.03332OpenAlexW2142750460MaRDI QIDQ5387843
Publication date: 27 May 2008
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11591191_18
Related Items
From informal to formal proofs in Euclidean geometry, Exploring Theories with a Model-Finding Assistant, Invited Talk: Coherentisation of First-Order Logic, Geometry constructions language, An intuitionistic formula hierarchy based on high‐school identities, Automated generation of illustrated proofs in geometry and beyond, Valuative Lattices and Spectra, Valuative dimension, constructive points of view, Spectral Spaces Versus Distributive Lattices: A Dictionary, Intuitionistic Decision Procedures Since Gentzen, On the mechanization of the proof of Hessenberg's theorem in coherent logic, A Kripke model for simplicial sets, Subsumption Algorithms for Three-Valued Geometric Resolution, A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs, A Vernacular for Coherent Logic, Theorem proving as constraint solving with coherent logic, Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry
Uses Software
