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

@@ Property / DOI @@
-.1007/s11225-020-09903-4
@@ Property / DOI: 10.1007/s11225-020-09903-4 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Pesca
@@ Property / describes a project that uses: Pesca / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-020-09903-4
+Normal rank
@@ Property / OpenAlex ID @@
+W3012424420
@@ Property / OpenAlex ID: W3012424420 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S11225-020-09903-4
@@ Property / DOI: 10.1007/S11225-020-09903-4 / rank @@
+Normal rank