Some remarks on axiomatizing logical consequence operations

DOI10.12775/LLP.2005.008zbMath1117.03314OpenAlexW2134643917MaRDI QIDQ3592809

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

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

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