Representations of structural closure operators

DOI10.1007/s00153-010-0201-zzbMath1221.03013MaRDI QIDQ627430

José Gil-Férez

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

zbMATH Keywords

representations; structural closure operators; transformers; algebraizability; graded variables; graduations

Mathematics Subject Classification ID

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