A propositional fragment of Leśniewski's ontology and its formulation by the tableau method (Q1078555): Difference between revisions

@@ Property / cites work @@
+Q5582318
@@ Property / cites work: Q5582318 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5813181
@@ Property / cites work: Q5813181 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5538910
@@ Property / cites work: Q5538910 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+Tableau systems for first order number theory and certain higher order theories
+Normal rank