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

@@ Property / author @@
+Michiel Marian Michiel van Lambalgen
@@ Property / author: Michiel Marian Michiel van Lambalgen / rank @@
+Normal rank
@@ 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