A Syntactic Approach to Closure Operation

DOI10.18778/0138-0680.46.3.4.04zbMath1423.06019OpenAlexW2810930719WikidataQ129613930 ScholiaQ129613930MaRDI QIDQ4576062

Marek Nowak

Publication date: 12 July 2018

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.46.3.4.04

zbMATH Keywords

closure operationclosure systemrule of inference

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Complete lattices, completions (06B23) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items

Disjunctive and conjunctive multiple-conclusion consequence relations

Cites Work

• Theory of logical calculi. Basic theory of consequence operations
• Lattices and ordered algebraic structures
• Biclosed binary relations and Galois connections
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item