Assertion, Denial and Non-classical Theories (Q4912986): Difference between revisions

@@ Property / cites work @@
+Q3543573
@@ Property / cites work: Q3543573 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4067100
@@ Property / cites work: Q4067100 / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction based set theories: a new resolution of the old paradoxes
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Positive abstraction and extensionality
@@ Property / cites work: Positive abstraction and extensionality / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for Equivocators
@@ Property / cites work: Logic for Equivocators / rank @@
+Normal rank
@@ Property / cites work @@
+Inconsistent models for relevant arithmetics
@@ Property / cites work: Inconsistent models for relevant arithmetics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4795603
@@ Property / cites work: Q4795603 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198728
@@ Property / cites work: Q4198728 / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean negation and all that
@@ Property / cites work: Boolean negation and all that / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992933
@@ Property / cites work: Q3992933 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on naive set theory in LP
@@ Property / cites work: A note on naive set theory in LP / rank @@
+Normal rank
@@ Property / cites work @@
+Q4805593
@@ Property / cites work: Q4805593 / rank @@
+Normal rank
@@ Property / cites work @@
+Identity and harmony
@@ Property / cites work: Identity and harmony / rank @@
+Normal rank
@@ Property / cites work @@
+Q5483305
@@ Property / cites work: Q5483305 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3466597
@@ Property / cites work: Q3466597 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2735832
@@ Property / cites work: Q2735832 / rank @@
+Normal rank