Sound and Complete Tree-Sequent Calculus for Inquisitive Logic (Q3638296): Difference between revisions

@@ Property / cites work @@
+Pure extensions, proof rules, and hybrid axiomatics
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4894942
@@ Property / cites work: Q4894942 / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke Completeness of First-Order Constructive Logics with Strong Negation
+Normal rank
@@ Property / cites work @@
+A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic
+Normal rank
@@ Property / cites work @@
+Sequent Calculi for Some Strict Implication Logics
+Normal rank