GEOMETRISATION OF FIRST-ORDER LOGIC (Q2795295): 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 / OpenAlex ID @@
+W2216255786
@@ Property / OpenAlex ID: W2216255786 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+A Systematic Presentation of Quantified Modal Logics
+Normal rank
@@ Property / cites work @@
+Proofs and countermodels in non-classical logics
@@ Property / cites work: Proofs and countermodels in non-classical logics / 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 @@
+On the mechanization of the proof of Hessenberg's theorem in coherent logic
+Normal rank
@@ Property / cites work @@
+The Church-Fitch knowability paradox in the light of structural proof theory
+Normal rank
@@ Property / cites work @@
+Toposes without points
@@ Property / cites work: Toposes without points / rank @@
+Normal rank
@@ Property / cites work @@
+Q3618853
@@ Property / cites work: Q3618853 / rank @@
+Normal rank
@@ Property / cites work @@
+Aspects of topoi
@@ Property / cites work: Aspects of topoi / rank @@
+Normal rank
@@ Property / cites work @@
+Q4513929
@@ Property / cites work: Q4513929 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof analysis in intermediate logics
@@ Property / cites work: Proof analysis in intermediate logics / rank @@
+Normal rank
@@ Property / cites work @@
+Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
+Normal rank
@@ Property / cites work @@
+An Intuitionistic Axiomatisation of Real Closed Fields
+Normal rank
@@ Property / cites work @@
+Contraction-free sequent calculi for intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Gentzen-type systems, resolution and tableaux
@@ Property / cites work: Gentzen-type systems, resolution and tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i>
@@ Property / cites work: A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i> / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2795295