Completeness Theory for Propositional Logics

511.3

Pogorzelski, Witold A. Completeness Theory for Propositional Logics by Witold A. Pogorzelski, Piotr Wojtylak. -
VIII, 178 p. online resource. - (Studies in Universal Logic, ) Content notes : Introduction -- 1. Basic notions: Propositional languages -- Abstract algebras -- Preliminary lattice-theoretical notions -- Propositional logics -- Brief exposition of the most important propositional logics -- 2. Semantic methods in propositional logic: Preordered sets -- Preordered algebras -- Logical matrices -- Adequacy -- Propositional logic and lattice theory -- 3. Completeness of propositional logic: Generalized completeness -- Post-completeness -- The problem of uniqueness of Lindenbaum extensions -- Some related concepts -- 4. Characterization of propositional connectives: Cn-definitions -- The system (D) -- Variants -- The system (I) -- Classical logic -- Appendix: The fundamental metatheorem for the classical propositional logic -- A proof system for the classical logic. 9783764385187 * Logic, Symbolic and mathematical. Mathematical Logic and Foundations. * Wojtylak, Piotr., aut, http://id.loc.gov/vocabulary/relators/aut * Title * Series