Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions (Q308133): Difference between revisions

@@ Property / DOI @@
-.1016/j.jpaa.2016.05.012
@@ Property / DOI: 10.1016/j.jpaa.2016.05.012 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G30
@@ Property / Mathematics Subject Classification ID: 03G30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B22
@@ Property / Mathematics Subject Classification ID: 03B22 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A15
@@ Property / Mathematics Subject Classification ID: 06A15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F07
@@ Property / Mathematics Subject Classification ID: 06F07 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A15
@@ Property / Mathematics Subject Classification ID: 18A15 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6623537
@@ Property / zbMATH DE Number: 6623537 / 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.1016/j.jpaa.2016.05.012
+Normal rank
@@ Property / OpenAlex ID @@
+W2468308957
@@ Property / OpenAlex ID: W2468308957 / rank @@
+Normal rank
@@ Property / cites work @@
+*-autonomous categories. With an appendix by Po-Hsiang Chu
+Normal rank
@@ Property / cites work @@
+Equivalence of consequence operations
@@ Property / cites work: Equivalence of consequence operations / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4029628
@@ Property / cites work: Q4029628 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic semantics for deductive systems
@@ Property / cites work: Algebraic semantics for deductive systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850062
@@ Property / cites work: Q4850062 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3824395
@@ Property / cites work: Q3824395 / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-term π-institutions and their equivalence
@@ Property / cites work: Multi-term π-institutions and their equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+Representations of structural closure operators
@@ Property / cites work: Representations of structural closure operators / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence of consequence relations: an order-theoretic and categorical perspective
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4679165
@@ Property / cites work: Q4679165 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4100671
@@ Property / cites work: Q4100671 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantaloids for concurrency
@@ Property / cites work: Quantaloids for concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Free quantaloids
@@ Property / cites work: Free quantaloids / rank @@
+Normal rank
@@ Property / cites work @@
+Q4884543
@@ Property / cites work: Q4884543 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3411948
@@ Property / cites work: Q3411948 / rank @@
+Normal rank
@@ Property / cites work @@
+Q-modules are Q-suplattices
@@ Property / cites work: Q-modules are Q-suplattices / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical abstract algebraic logic: Equivalent institutions
+Normal rank
@@ Property / DOI @@
+.1016/J.JPAA.2016.05.012
@@ Property / DOI: 10.1016/J.JPAA.2016.05.012 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:308133