Notes on the model theory of DeMorgan logics (Q424585): Difference between revisions

@@ Property / cites work @@
+A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic
+Normal rank
@@ Property / cites work @@
+Q3058982
@@ Property / cites work: Q3058982 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4841568
@@ Property / cites work: Q4841568 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on Priest's finite inconsistent arithmetics
+Normal rank
@@ Property / cites work @@
+Minimally inconsistent LP
@@ Property / cites work: Minimally inconsistent LP / rank @@
+Normal rank
@@ Property / cites work @@
+Inconsistent models of arithmetic. I: Finite models
+Normal rank
@@ Property / cites work @@
+Inconsistent models of arithmetic Part II: the general case
+Normal rank
@@ Property / cites work @@
+Q3518425
@@ Property / cites work: Q3518425 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4172028
@@ Property / cites work: Q4172028 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4526525
@@ Property / cites work: Q4526525 / rank @@
+Normal rank
@@ Property / cites work @@
+The use of ultraproducts in commutative algebra
@@ Property / cites work: The use of ultraproducts in commutative algebra / rank @@
+Normal rank