Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Completeness theory for propositional logics [[electronic resource] /] / Witold A. Pogorzelski, Piotr Wojtylak
| 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
| 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
| 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 | ||
| ||