A shared framework for consequence operations and abstract model theory

DOI10.1007/S11787-012-0069-2zbMATH Open1295.03024OpenAlexW2067267417MaRDI QIDQ2392009FDOQ2392009

Christian Wallmann

Publication date: 6 August 2013

Published in: Logica Universalis (Search for Journal in Brave)

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Minimally generated abstract logics
• Title not available (Why is that?)
• Axioms for abstract model theory
• Title not available (Why is that?)
• Title not available (Why is that?)

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)