Proof theory for positive logic with weak negation (Q2193970): Difference between revisions

@@ Property / arXiv ID @@
+.05411
@@ Property / arXiv ID: 1907.05411 / rank @@
+Normal rank
@@ Property / cites work @@
+Epimorphisms in varieties of residuated structures
+Normal rank
@@ Property / cites work @@
+Q5331549
@@ Property / cites work: Q5331549 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to intuitionistic connectives
+Normal rank
@@ Property / cites work @@
+Inquisitive Semantics
@@ Property / cites work: Inquisitive Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Subminimal negation
@@ Property / cites work: Subminimal negation / rank @@
+Normal rank
@@ Property / cites work @@
+Positive Formulas in Intuitionistic and Minimal Logic
+Normal rank
@@ Property / cites work @@
+Compatible Functions in Algebras Associated to Extensions of Positive Logic
+Normal rank
@@ Property / cites work @@
+Q3632251
@@ Property / cites work: Q3632251 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a Suppositional Inquisitive Semantics
@@ Property / cites work: Towards a Suppositional Inquisitive Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Logic of infons
@@ Property / cites work: Logic of infons / rank @@
+Normal rank
@@ Property / cites work @@
+Is Even Minimal Negation Constructive?
@@ Property / cites work: Is Even Minimal Negation Constructive? / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient loop-check for backward proof search in some non-classical propositional logics
+Normal rank
@@ Property / cites work @@
+Two loop detection mechanisms: A comparison
@@ Property / cites work: Two loop detection mechanisms: A comparison / rank @@
+Normal rank
@@ Property / cites work @@
+Q3093482
@@ Property / cites work: Q3093482 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5736158
@@ Property / cites work: Q5736158 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive negations and paraconsistency
@@ Property / cites work: Constructive negations and paraconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+On an interpretation of second order quantification in first order intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Weak negation in inquisitive semantics
@@ Property / cites work: Weak negation in inquisitive semantics / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to non-classical logics
@@ Property / cites work: An algebraic approach to non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of intuitionistic propositional logic and its fragments
+Normal rank
@@ Property / cites work @@
+Der Interpolationssatz der intuitionistischen Prädikatenlogik
+Normal rank
@@ Property / cites work @@
+Intuitionistic propositional logic is polynomial-space complete
+Normal rank
@@ Property / Wikidata QID @@
+Q127439327
@@ Property / Wikidata QID: Q127439327 / rank @@
+Normal rank