A strong model of paraconsistent logic (Q558738): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+B53
@@ Property / Mathematics Subject Classification ID: 03B53 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+E70
@@ Property / Mathematics Subject Classification ID: 03E70 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+2187145
@@ Property / zbMATH DE Number: 2187145 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+paraconsistent logic
@@ Property / zbMATH Keywords: paraconsistent logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Frege's comprehension scheme
@@ Property / zbMATH Keywords: Frege's comprehension scheme / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+positive set theory
@@ Property / zbMATH Keywords: positive set theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+hyperuniverse
@@ Property / zbMATH Keywords: hyperuniverse / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1305/ndjfl/1091030853
+Normal rank
@@ Property / OpenAlex ID @@
+W2049928901
@@ Property / OpenAlex ID: W2049928901 / rank @@
+Normal rank
@@ Property / cites work @@
+Natural 3-valued logics—characterization and proof theory
+Normal rank
@@ Property / cites work @@
+Q5695174
@@ Property / cites work: Q5695174 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4465169
@@ Property / cites work: Q4465169 / rank @@
+Normal rank
@@ Property / cites work @@
+An Interpretation of the Zermelo‐Fraenkel Set Theory and the Kelley‐Morse Set Theory in a Positive Theory
+Normal rank
@@ Property / cites work @@
+On the Consistency of a Positive Theory
@@ Property / cites work: On the Consistency of a Positive Theory / rank @@
+Normal rank
@@ Property / cites work @@
+On the axiom of extensionality in the positive set theory
+Normal rank
@@ Property / cites work @@
+The consistency problem for positive comprehension principles
+Normal rank
@@ Property / cites work @@
+A general construction of hyperuniverses
@@ Property / cites work: A general construction of hyperuniverses / rank @@
+Normal rank
@@ Property / cites work @@
+Q4067100
@@ Property / cites work: Q4067100 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3942954
@@ Property / cites work: Q3942954 / rank @@
+Normal rank
@@ Property / cites work @@
+Naive set theory with extensionality in partial logic and in paradoxical logic
+Normal rank
@@ Property / cites work @@
+ZF and the axiom of choice in some paraconsistent set theories
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:558738