Invited Talk: Coherentisation of First-Order Logic (Q3455757): Difference between revisions

@@ Property / describes a project that uses @@
+ArgoCLP
@@ Property / describes a project that uses: ArgoCLP / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-24312-2_1
+Normal rank
@@ Property / OpenAlex ID @@
+W2259913296
@@ Property / OpenAlex ID: W2259913296 / rank @@
+Normal rank
@@ Property / cites work @@
+Automating Coherent Logic
@@ Property / cites work: Automating Coherent Logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the mechanization of the proof of Hessenberg's theorem in coherent logic
+Normal rank
@@ Property / cites work @@
+Towards Efficient Reasoning Under Guarded-Based Disjunctive Existential Rules
+Normal rank
@@ Property / cites work @@
+Proof analysis in intermediate logics
@@ Property / cites work: Proof analysis in intermediate logics / rank @@
+Normal rank
@@ Property / cites work @@
+GEOMETRISATION OF FIRST-ORDER LOGIC
@@ Property / cites work: GEOMETRISATION OF FIRST-ORDER LOGIC / rank @@
+Normal rank
@@ Property / cites work @@
+Skolem Machines
@@ Property / cites work: Skolem Machines / rank @@
+Normal rank
@@ Property / cites work @@
+All–Instances Termination of Chase is Undecidable
+Normal rank
@@ Property / cites work @@
+Q4828514
@@ Property / cites work: Q4828514 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof analysis in modal logic
@@ Property / cites work: Proof analysis in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Proof analysis beyond geometric theories: from rule systems to systems of rules
+Normal rank
@@ Property / cites work @@
+Geometric Resolution: A Proof Procedure Based on Finite Model Search
+Normal rank
@@ Property / cites work @@
+A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs
+Normal rank