Completeness Theory for Propositional Logics

Authors:

ISBN: 978-3-7643-8517-0 (Print) 978-3-7643-8518-7 (Online)

Table of contents (4 chapters)

  1. Front Matter

    Pages i-viii

  2. No Access

    Book Chapter

    Pages 1-40

    Basic notions

  3. No Access

    Book Chapter

    Pages 41-89

    Semantic methods in propositional logic

  4. No Access

    Book Chapter

    Pages 91-130

    Completeness of propositional logics

  5. No Access

    Book Chapter

    Pages 131-152

    Characterizations of propositional connectives

  6. Back Matter

    Pages 153-178