Irreflexive modality, the Dummett logic, and continual chains (Q721381): Difference between revisions

@@ Property / cites work @@
+Q5727650
@@ Property / cites work: Q5727650 / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional calculus with denumerable matrix
@@ Property / cites work: A propositional calculus with denumerable matrix / rank @@
+Normal rank
@@ Property / cites work @@
+New constants in two pretabular superintuitionistic logics
+Normal rank
@@ Property / cites work @@
+Irreflexive modality as a new logical connective in the Dummett logic
+Normal rank
@@ Property / cites work @@
+Q4805733
@@ Property / cites work: Q4805733 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789450
@@ Property / cites work: Q4789450 / rank @@
+Normal rank
@@ Property / cites work @@
+Pretabular superintuitionistic logic
@@ Property / cites work: Pretabular superintuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+New operations in intuitionistic calculus
@@ Property / cites work: New operations in intuitionistic calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Finite approximability of the \(I^\delta\) calculus and the existence of an extension having no model
+Normal rank
@@ Property / cites work @@
+Q3743301
@@ Property / cites work: Q3743301 / rank @@
+Normal rank
@@ Property / cites work @@
+Irreflexive modality in the intuitionistic propositional logic and Novikov completeness
+Normal rank
@@ Property / cites work @@
+On formulas of one variable in intuitionistic propositional calculus
+Normal rank