Completeness theory for propositional logics [[electronic resource] /] / Witold A. Pogorzelski, Piotr Wojtylak |
Autore | Pogorzelski Witold <1944-> |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Basel ; ; Boston, : Birkhäuser, c2008 |
Descrizione fisica | 1 online resource (186 p.) |
Disciplina | 511.3 |
Altri autori (Persone) | WojtylakPiotr |
Collana | Studies in universal logic |
Soggetto topico | Completeness theorem |
Soggetto genere / forma | Electronic books. |
ISBN |
1-281-37863-1
9786611378639 3-7643-8518-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNINA-9910451264103321 |
Pogorzelski Witold <1944-> | ||
Basel ; ; Boston, : Birkhäuser, c2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Completeness theory for propositional logics [[electronic resource] /] / Witold A. Pogorzelski, Piotr Wojtylak |
Autore | Pogorzelski Witold <1944-> |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Basel ; ; Boston, : Birkhäuser, c2008 |
Descrizione fisica | 1 online resource (186 p.) |
Disciplina | 511.3 |
Altri autori (Persone) | WojtylakPiotr |
Collana | Studies in universal logic |
Soggetto topico | Completeness theorem |
ISBN |
1-281-37863-1
9786611378639 3-7643-8518-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNINA-9910777457203321 |
Pogorzelski Witold <1944-> | ||
Basel ; ; Boston, : Birkhäuser, c2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Completeness theory for propositional logics / / Witold A. Pogorzelski, Piotr Wojtylak |
Autore | Pogorzelski Witold <1944-> |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Basel ; ; Boston, : Birkhäuser, c2008 |
Descrizione fisica | 1 online resource (186 p.) |
Disciplina | 511.3 |
Altri autori (Persone) | WojtylakPiotr |
Collana | Studies in universal logic |
Soggetto topico | Completeness theorem |
ISBN |
1-281-37863-1
9786611378639 3-7643-8518-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNINA-9910810315303321 |
Pogorzelski Witold <1944-> | ||
Basel ; ; Boston, : Birkhäuser, c2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|