A conservative negation extension of positive semilattice logic without the finite model property (Q2021561): Difference between revisions

@@ Property / cites work @@
+An axiomatic version of positive semilattice relevance logic
+Normal rank
@@ Property / cites work @@
+An incomplete decidable modal logic
@@ Property / cites work: An incomplete decidable modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Four relevant Gentzen systems
@@ Property / cites work: Four relevant Gentzen systems / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Theories for Semilattice Logics
@@ Property / cites work: Proof Theories for Semilattice Logics / rank @@
+Normal rank
@@ Property / cites work @@
+On semilattice relevant logics
@@ Property / cites work: On semilattice relevant logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428879
@@ Property / cites work: Q4428879 / rank @@
+Normal rank
@@ Property / cites work @@
+The finite model property for BCK and BCIW
@@ Property / cites work: The finite model property for BCK and BCIW / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs and countermodels in non-classical logics
@@ Property / cites work: Proofs and countermodels in non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744125
@@ Property / cites work: Q2744125 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics for relevant logics
@@ Property / cites work: Semantics for relevant logics / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of entailment and relevant implication
+Normal rank
@@ Property / cites work @@
+Q2966516
@@ Property / cites work: Q2966516 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of weak implication
@@ Property / cites work: Completeness of weak implication / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on the Relevance of Semilattice Relevance Logic
+Normal rank