Toward useful type-free theories. I (Q3691666): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2006111919
@@ Property / OpenAlex ID: W2006111919 / rank @@
+Normal rank
@@ Property / cites work @@
+Outline of a Theory of Truth
@@ Property / cites work: Outline of a Theory of Truth / rank @@
+Normal rank
@@ Property / cites work @@
+Der Prädikatenkalkül mit limitierten variablen Grundlegung einer natürlichen exakten Logik
+Normal rank
@@ Property / cites work @@
+Formal systems for some branches of intuitionistic analysis
+Normal rank
@@ Property / cites work @@
+Q5343325
@@ Property / cites work: Q5343325 / rank @@
+Normal rank
@@ Property / cites work @@
+Widerspruchsfreier Aufbau der Logik I
@@ Property / cites work: Widerspruchsfreier Aufbau der Logik I / rank @@
+Normal rank
@@ Property / cites work @@
+Redundancies in the Hilbert-Bernays derivability conditions for Gödel's second incompleteness theorem
+Normal rank
@@ Property / cites work @@
+The Calculus of Partial Predicates and Its Extension to Set Theory I
+Normal rank
@@ Property / cites work @@
+A semantical study of constructible falsity
@@ Property / cites work: A semantical study of constructible falsity / rank @@
+Normal rank
@@ Property / cites work @@
+Studies on the axiom of comprehension
@@ Property / cites work: Studies on the axiom of comprehension / rank @@
+Normal rank
@@ Property / cites work @@
+A Set Theory Based on a Certain 3-Valued Logic.
@@ Property / cites work: A Set Theory Based on a Certain 3-Valued Logic. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3285631
@@ Property / cites work: Q3285631 / rank @@
+Normal rank
@@ Property / cites work @@
+Reports of the Midwest category seminar. III
@@ Property / cites work: Reports of the Midwest category seminar. III / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+The inconsistency of certain formal logics
@@ Property / cites work: The inconsistency of certain formal logics / rank @@
+Normal rank
@@ Property / cites work @@
+A note on three-valued logic and Tarski theorem on truth definitions
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Some Results in Aczel‐Feferman Logic and Set Theory
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3691666