Recognizability in pre-Heyting and well-composed logics (Q2003246): Difference between revisions

@@ Property / cites work @@
+Recognizable logics
@@ Property / cites work: Recognizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Recognizable and perceptible logics and varieties
@@ Property / cites work: Recognizable and perceptible logics and varieties / rank @@
+Normal rank
@@ Property / cites work @@
+Strong decidability and strong recognizability
@@ Property / cites work: Strong decidability and strong recognizability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4664638
@@ Property / cites work: Q4664638 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive negations and paraconsistency
@@ Property / cites work: Constructive negations and paraconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+Calculi over minimal logic and nonembeddability of algebras
+Normal rank
@@ Property / cites work @@
+Strongly decidable properties of modal and intuitionistic calculi
+Normal rank
@@ Property / cites work @@
+Admissibility of logical inference rules
@@ Property / cites work: Admissibility of logical inference rules / rank @@
+Normal rank
@@ Property / cites work @@
+Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
+Normal rank
@@ Property / cites work @@
+Q4451641
@@ Property / cites work: Q4451641 / rank @@
+Normal rank