A shared framework for consequence operations and abstract model theory

DOI10.1007/S11787-012-0069-2MaRDI QIDQ2392009zbMATH OpenOpenAlexFDO

Authors Christian Wallmann

Publication date 6 August 2013

Published in Logica Universalis (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s11787-012-0069-2

zbMATH Keywords

adequacycompletenessGalois correspondenceclassical propositional logicabstract model theoryconsequence operation

Mathematics Subject Classification ID

Classical propositional logic (03B05) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Abstract deductive systems (03B22) Abstract model theory (03C95)

Recommendations

• scientific article; zbMATH DE number 2196607
• scientific article; zbMATH DE number 2196606
• Some remarks on axiomatizing logical consequence operations
• A generalization of abstract model theory
• scientific article; zbMATH DE number 761283

Cites work

• scientific article; zbMATH DE number 5316600 (Why is no real title available?)
• scientific article; zbMATH DE number 5316601 (Why is no real title available?)
• scientific article; zbMATH DE number 5316602 (Why is no real title available?)
• scientific article; zbMATH DE number 3941493 (Why is no real title available?)
• scientific article; zbMATH DE number 3245483 (Why is no real title available?)
• scientific article; zbMATH DE number 2239772 (Why is no real title available?)
• Axioms for abstract model theory
• Minimally generated abstract logics

Cited in

(1)

• Properties of the logical consequence operation and its relationship with the independence of propositional logic

This page was built for publication: A shared framework for consequence operations and abstract model theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2392009)