Idempotent residuated structures: Some category equivalences and their applications (Q5246960): Difference between revisions

@@ Property / author @@
-James G. Raftery
@@ Property / author: James G. Raftery / rank @@
-Normal rank
@@ Property / author @@
+James G. Raftery
@@ Property / author: James G. Raftery / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4269189
@@ Property / cites work: Q4269189 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+On an implication connective of RM
@@ Property / cites work: On an implication connective of RM / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics and proof theory of linear logic
@@ Property / cites work: The semantics and proof theory of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+On categories of algebras equivalent to a variety
@@ Property / cites work: On categories of algebras equivalent to a variety / rank @@
+Normal rank
@@ Property / cites work @@
+On categories of algebras equivalent to a quasivariety
+Normal rank
@@ Property / cites work @@
+*-autonomous categories. With an appendix by Po-Hsiang Chu
+Normal rank
@@ Property / cites work @@
+Model-Theoretic Logics
@@ Property / cites work: Model-Theoretic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+The Beth property in algebraic logic
@@ Property / cites work: The Beth property in algebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4011710
@@ Property / cites work: Q4011710 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic
+Normal rank
@@ Property / cites work @@
+Local deductions theorems
@@ Property / cites work: Local deductions theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
+Normal rank
@@ Property / cites work @@
+Q4249028
@@ Property / cites work: Q4249028 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic completeness results for R-mingle and its extensions
+Normal rank
@@ Property / cites work @@
+A Kripke-style semantics for R-mingle using a binary accessibility relation
+Normal rank
@@ Property / cites work @@
+Structural completeness of Gödel's and Dummett's propositional calculi
+Normal rank
@@ Property / cites work @@
+Q3022776
@@ Property / cites work: Q3022776 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal varieties of residuated lattices
@@ Property / cites work: Minimal varieties of residuated lattices / rank @@
+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 @@
+Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
+Normal rank
@@ Property / cites work @@
+A category equivalence for odd Sugihara monoids and its applications
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4132572
@@ Property / cites work: Q4132572 / rank @@
+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 @@
+Cylindric algebras. Part II
@@ Property / cites work: Cylindric algebras. Part II / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic characterizations of various Beth definability properties
+Normal rank
@@ Property / cites work @@
+Q5589329
@@ Property / cites work: Q5589329 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras Whose Congruence Lattices are Distributive.
+Normal rank
@@ Property / cites work @@
+Lattices With Involution
@@ Property / cites work: Lattices With Involution / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
+Normal rank
@@ Property / cites work @@
+Q3342632
@@ Property / cites work: Q3342632 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3268305
@@ Property / cites work: Q3268305 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4187817
@@ Property / cites work: Q4187817 / rank @@
+Normal rank
@@ Property / cites work @@
+Craig interpolation for semilinear substructural logics
+Normal rank
@@ Property / cites work @@
+Q4896512
@@ Property / cites work: Q4896512 / rank @@
+Normal rank
@@ Property / cites work @@
+Substructural fuzzy logics
@@ Property / cites work: Substructural fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
+Normal rank
@@ Property / cites work @@
+Subdirectly irreducible residuated semilattices and positive universal classes
+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 @@
+On the structural completeness of some pure implicational propositional calculi
+Normal rank
@@ Property / cites work @@
+Correspondences between gentzen and hilbert systems
+Normal rank
@@ Property / cites work @@
+Representable idempotent commutative residuated lattices
+Normal rank
@@ Property / cites work @@
+The intersection property of amalgamations
@@ Property / cites work: The intersection property of amalgamations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996704
@@ Property / cites work: Q3996704 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4495851
@@ Property / cites work: Q4495851 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal varieties of involutive residuated lattices
+Normal rank
@@ Property / cites work @@
+Q4250047
@@ Property / cites work: Q4250047 / rank @@
+Normal rank