Varieties of De Morgan monoids: minimality and irreducible algebras (Q1730847): Difference between revisions

@@ Property / OpenAlex ID @@
+W2784476171
@@ Property / OpenAlex ID: W2784476171 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.06650
@@ Property / arXiv ID: 1801.06650 / rank @@
+Normal rank
@@ Property / cites work @@
+Modalities in Ackermann's “rigorous implication”
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4297115
@@ Property / cites work: Q4297115 / rank @@
+Normal rank
@@ Property / cites work @@
+Entailment and relevance<sup>1</sup>
@@ Property / cites work: Entailment and relevance<sup>1</sup> / rank @@
+Normal rank
@@ Property / cites work @@
+Q3093852
@@ Property / cites work: Q3093852 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3033815
@@ Property / cites work: Q3033815 / rank @@
+Normal rank
@@ Property / cites work @@
+A finite basis theorem for quasivarieties
@@ Property / cites work: A finite basis theorem for quasivarieties / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of commutative residuated integral pomonoids and their residuation subreducts
+Normal rank
@@ Property / cites work @@
+The Gentzenization and decidability of RW
@@ Property / cites work: The Gentzenization and decidability of RW / rank @@
+Normal rank
@@ Property / cites work @@
+Q4961804
@@ Property / cites work: Q4961804 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Deduction theorems within RM and its extensions
@@ Property / cites work: Deduction theorems within RM and its extensions / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic completeness results for R-mingle and its extensions
+Normal rank
@@ Property / cites work @@
+There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM
+Normal rank
@@ Property / cites work @@
+Q3185647
@@ Property / cites work: Q3185647 / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of abstract algebraic logic
@@ Property / cites work: A survey of abstract algebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Note on algebraic models for relevance logic
@@ Property / cites work: Note on algebraic models for relevance logic / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-categorical algebras. I: Semi-primal algebras
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Q3505080
@@ Property / cites work: Q3505080 / rank @@
+Normal rank
@@ Property / cites work @@
+Adding involution to residuated structures
@@ Property / cites work: Adding involution to residuated structures / rank @@
+Normal rank
@@ Property / cites work @@
+A category equivalence for odd Sugihara monoids and its applications
+Normal rank
@@ Property / cites work @@
+Idempotent residuated structures: Some category equivalences and their applications
+Normal rank
@@ Property / cites work @@
+Impossibility of defining the class of \(L_ 0\)-algebras by means of identities
+Normal rank
@@ Property / cites work @@
+THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
@@ Property / cites work: THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES / rank @@
+Normal rank
@@ Property / cites work @@
+Conserving involution in residuated structures
@@ Property / cites work: Conserving involution in residuated structures / rank @@
+Normal rank
@@ Property / cites work @@
+Stone duality for primal algebra theory
@@ Property / cites work: Stone duality for primal algebra theory / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras Whose Congruence Lattices are Distributive.
+Normal rank
@@ Property / cites work @@
+Topics in universal algebra
@@ Property / cites work: Topics in universal algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856909
@@ Property / cites work: Q4856909 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributive full Lambek calculus has the finite model property
+Normal rank
@@ Property / cites work @@
+On interpretation and separation theorems for the logical systems E and R
+Normal rank
@@ Property / cites work @@
+Implication lattices
@@ Property / cites work: Implication lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Craig interpolation for semilinear substructural logics
+Normal rank
@@ Property / cites work @@
+Q4532199
@@ Property / cites work: Q4532199 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896512
@@ Property / cites work: Q4896512 / rank @@
+Normal rank
@@ Property / cites work @@
+<i>R<sub>I</sub></i> the Bounds of Finitude
@@ Property / cites work: <i>R<sub>I</sub></i> the Bounds of Finitude / rank @@
+Normal rank
@@ Property / cites work @@
+On conserving positive logics
@@ Property / cites work: On conserving positive logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4077983
@@ Property / cites work: Q4077983 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on R\(\rightarrow\) matrices
@@ Property / cites work: A note on R\(\rightarrow\) matrices / rank @@
+Normal rank
@@ Property / cites work @@
+Sentential constants in R and \(R^{\neg}\)
@@ Property / cites work: Sentential constants in R and \(R^{\neg}\) / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428879
@@ Property / cites work: Q4428879 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of relevant quantification theories
@@ Property / cites work: Completeness of relevant quantification theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4103076
@@ Property / cites work: Q4103076 / rank @@
+Normal rank
@@ Property / cites work @@
+Positive Sugihara monoids
@@ Property / cites work: Positive Sugihara monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Structural Completeness in Substructural Logics
@@ Property / cites work: Structural Completeness in Substructural Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual deduction theorems
@@ Property / cites work: Contextual deduction theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible rules and the Leibniz hierarchy
@@ Property / cites work: Admissible rules and the Leibniz hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Structural completeness in relevance logics
@@ Property / cites work: Structural completeness in relevance logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3701398
@@ Property / cites work: Q3701398 / rank @@
+Normal rank
@@ Property / cites work @@
+varieties: A solution to the Ackermann constant problem
+Normal rank
@@ Property / cites work @@
+On the structure of De Morgan monoids with corollaries on relevant logic and theories
+Normal rank
@@ Property / cites work @@
+The Ackermann constant theorem: A computer-assisted investigation
+Normal rank
@@ Property / cites work @@
+Sentential constants in systems near R
@@ Property / cites work: Sentential constants in systems near R / rank @@
+Normal rank
@@ Property / cites work @@
+A structurally complete fragment of relevant logic
+Normal rank
@@ Property / cites work @@
+There exist exactly two maximal strictly relevant extensions of the relevant logic <i>R</i>
+Normal rank
@@ Property / cites work @@
+Semantics for relevant logics
@@ Property / cites work: Semantics for relevant logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3222165
@@ Property / cites work: Q3222165 / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of entailment and relevant implication
+Normal rank
@@ Property / cites work @@
+Duality for algebras of relevant logics
@@ Property / cites work: Duality for algebras of relevant logics / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of decision procedures in relevance logic II
+Normal rank
@@ Property / cites work @@
+Rule separation and embedding theorems for logics without weakening
+Normal rank