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

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Normalize DOI.
 
(5 intermediate revisions by 5 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.jpaa.2016.05.012 / rank
Normal rank
 
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.jpaa.2016.05.012 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2468308957 / rank
 
Normal rank
Property / cites work
 
Property / cites work: *-autonomous categories. With an appendix by Po-Hsiang Chu / rank
 
Normal rank
Property / cites work
 
Property / cites work: Equivalence of consequence operations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraizable logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4029628 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic semantics for deductive systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4850062 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3824395 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Multi-term π-institutions and their equivalence / rank
 
Normal rank
Property / cites work
 
Property / cites work: Representations of structural closure operators / rank
 
Normal rank
Property / cites work
 
Property / cites work: Equivalence of consequence relations: an order-theoretic and categorical perspective / rank
 
Normal rank
Property / cites work
 
Property / cites work: Categorical logic and type theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4783274 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4679165 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4100671 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quantaloids for concurrency / rank
 
Normal rank
Property / cites work
 
Property / cites work: Free quantaloids / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4884543 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3411948 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q-modules are Q-suplattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Categorical abstract algebraic logic: Equivalent institutions / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.JPAA.2016.05.012 / rank
 
Normal rank

Latest revision as of 13:58, 9 December 2024

scientific article
Language Label Description Also known as
English
Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions
scientific article

    Statements

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references