Representations of structural closure operators
From MaRDI portal
Publication:627430
DOI10.1007/s00153-010-0201-zzbMath1221.03013MaRDI QIDQ627430
Publication date: 2 March 2011
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-010-0201-z
representations; structural closure operators; transformers; algebraizability; graded variables; graduations
03G10: Logical aspects of lattices and related structures
03B22: Abstract deductive systems
06A15: Galois correspondences, closure operators (in relation to ordered sets)
03G27: Abstract algebraic logic
Related Items
AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS, The Suszko operator relative to truth‐equational logics, Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions, The semantic isomorphism theorem in abstract algebraic logic, \(M\)-sets and the representation problem
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An algebraic approach to non-classical logics
- A survey of abstract algebraic logic
- Algebraic semantics for deductive systems
- Protoalgebraic Gentzen systems and the cut rule
- Lattices and ordered algebraic structures
- Equivalence of consequence operations
- Equivalence of consequence relations: an order-theoretic and categorical perspective
- Correspondences between gentzen and hilbert systems
- Algebraizable logics
- Weakly algebraizable logics
- Sequents in many valued logic I
- Conservative translations