A FORMALIZATION OF KANT’S TRANSCENDENTAL LOGIC (Q3094188): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+An Intuitionistic Axiomatisation of Real Closed Fields
+Normal rank
@@ Property / cites work @@
+Full intuitionistic linear logic
@@ Property / cites work: Full intuitionistic linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+On sequence-conclusion natural deduction systems
@@ Property / cites work: On sequence-conclusion natural deduction systems / 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 / full work available at URL @@
+https://doi.org/10.1017/s1755020310000341
+Normal rank
@@ Property / OpenAlex ID @@
+W2167512864
@@ Property / OpenAlex ID: W2167512864 / rank @@
+Normal rank