\(M\)-sets and the representation problem

DOI10.1007/s11225-013-9536-xzbMath1368.03070OpenAlexW1967376096MaRDI QIDQ2350212

Tommaso Moraschini, Josep Maria Font

Publication date: 18 June 2015

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-013-9536-x

zbMATH Keywords

abstract algebraic logicisomorphism problemM-setonto-projective objects

Mathematics Subject Classification ID

Abstract algebraic logic (03G27)

Related Items (5)

The semantic isomorphism theorem in abstract algebraic logic ⋮ Abstract algebraic logic. An introductory chapter ⋮ AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS ⋮ Countably many weakenings of Belnap-Dunn logic ⋮ Logics of variable inclusion and the lattice of consequence relations

Cites Work

• Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions
• Representations of structural closure operators
• Residuated lattices. An algebraic glimpse at substructural logics
• A survey of abstract algebraic logic
• Equivalence of consequence operations
• Projectives and injectives in the category of complete lattices with residuated mappings
• Equivalence of consequence relations: an order-theoretic and categorical perspective
• Correspondences between gentzen and hilbert systems
• Algebraizable logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: \(M\)-sets and the representation problem