A method of comparison of Post-complete propositional logics

Authors

  • Grzegorz Bryll Pedagogical University, Institute of Mathematics and Computer Science, Częstochowa, Poland
  • Robert Sochacki University of Opole, Institute of Mathematics and Computer Science, Opole, Poland

Abstract

The paper considers a necessary and sufficient condition for a propositional calculus to be Post-complete and applies it to compare consequence operations.

Downloads

Published

2003-05-27

How to Cite

Bryll, G., & Sochacki, R. (2003). A method of comparison of Post-complete propositional logics. Annales Universitatis Paedagogicae Cracoviensis Studia Mathematica, 3, 27–32. Retrieved from https://studmath.uken.krakow.pl/article/view/13462

Issue

Vol. 3 (2003): Annales Academiae Paedagogicae Cracoviensis Studia Mathematica

Section

Published