On elimination of quantifiers in some non‐classical mathematical theories (Q5109215): Difference between revisions

@@ Property / cites work @@
+Q4297115
@@ Property / cites work: Q4297115 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 6
@@ Property / cites work: Handbook of philosophical logic. Vol. 6 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier elimination for a class of intuitionistic theories
+Normal rank
@@ Property / cites work @@
+Notes on the model theory of DeMorgan logics
@@ Property / cites work: Notes on the model theory of DeMorgan logics / rank @@
+Normal rank
@@ Property / cites work @@
+Whither relevant arithmetic?
@@ Property / cites work: Whither relevant arithmetic? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+An alternative semantics for quantified relevant logic
+Normal rank
@@ Property / cites work @@
+Model Theory
@@ Property / cites work: Model Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Real analysis in paraconsistent logic
@@ Property / cites work: Real analysis in paraconsistent logic / 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 @@
+Inconsistent number systems
@@ Property / cites work: Inconsistent number systems / rank @@
+Normal rank
@@ Property / cites work @@
+A note on Priest's finite inconsistent arithmetics
+Normal rank
@@ Property / cites work @@
+On <i>LP</i>-models of arithmetic
@@ Property / cites work: On <i>LP</i>-models of arithmetic / 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 @@
+Q3701398
@@ Property / cites work: Q3701398 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3539556
@@ Property / cites work: Q3539556 / rank @@
+Normal rank