Some remarks on axiomatizing logical consequence operations

DOI10.12775/LLP.2005.008MaRDI QIDQ3592809zbMATH OpenOpenAlexFDO

Authors Jacek Malinowski

Publication date 24 September 2007

Published in Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL https://doi.org/10.12775/llp.2005.008

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Quantum logic (03G12) Complemented lattices, orthocomplemented lattices and posets (06C15) Algebraic logic (03G99)

Recommendations

• scientific article; zbMATH DE number 4010500
• scientific article; zbMATH DE number 4012583
• scientific article; zbMATH DE number 753775
• Equivalence of consequence operations
• Publication:3030802

Cited in

(12)

• scientific article; zbMATH DE number 4019031 (Why is no real title available?)
• scientific article; zbMATH DE number 1827078 (Why is no real title available?)
• Some remarks on Hartry Field's notion of “logical consistency”
• Properties of the logical consequence operation and its relationship with the independence of propositional logic
• A shared framework for consequence operations and abstract model theory
• Algebras of consequence operators
• Logic, unity in three persons
• scientific article; zbMATH DE number 4041883 (Why is no real title available?)
• Equivalence of consequence operations
• scientific article; zbMATH DE number 3948228 (Why is no real title available?)
• scientific article; zbMATH DE number 2015402 (Why is no real title available?)
• scientific article; zbMATH DE number 4010500 (Why is no real title available?)

This page was built for publication: Some remarks on axiomatizing logical consequence operations

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