Representations of structural closure operators

DOI10.1007/s00153-010-0201-zzbMath1221.03013OpenAlexW1976613607MaRDI 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

representationsstructural closure operatorstransformersalgebraizabilitygraded variablesgraduations

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Abstract deductive systems (03B22) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Abstract algebraic logic (03G27)

Related Items (5)

Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions ⋮ The semantic isomorphism theorem in abstract algebraic logic ⋮ The Suszko operator relative to truth‐equational logics ⋮ AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS ⋮ \(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

This page was built for publication: Representations of structural closure operators