A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic (Q1257471): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitive semantics for first-degree entailments and `coupled trees'
+Normal rank
@@ Property / cites work @@
+A Kripke-style semantics for R-mingle using a binary accessibility relation
+Normal rank
@@ Property / cites work @@
+On the axiom of extensionality – Part I
@@ Property / cites work: On the axiom of extensionality – Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5585364
@@ Property / cites work: Q5585364 / rank @@
+Normal rank
@@ Property / cites work @@
+New axiomatics for relevant logics. I
@@ Property / cites work: New axiomatics for relevant logics. I / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of relevant quantification theories
@@ Property / cites work: Completeness of relevant quantification theories / rank @@
+Normal rank