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.
Decidability of logical theories and their combination / / João Rasga, Cristina Sernadas
| Decidability of logical theories and their combination / / João Rasga, Cristina Sernadas |
| Autore | Rasga João |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Birkhäuser, , [2020] |
| Descrizione fisica | 1 online resource (XIII, 178 p. 70 illus., 1 illus. in color.) |
| Disciplina | 511.3 |
| Collana | Studies in Universal Logic |
| Soggetto topico |
Logic, Symbolic and mathematical
First-order logic Mathematics - Philosophy |
| ISBN | 3-030-56554-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1: First Order Logic -- Chapter 2: Reasoning with Theories -- Chapter 3: Decidability Results on Theories -- Chapter 4: Quantifier Elimination -- Chapter 5: Combination of Theories -- Appendix: Basics of Computability -- Bibliography -- Table of Symbols -- Subject Index. |
| Record Nr. | UNISA-996418183703316 |
Rasga João
|
||
| Cham, Switzerland : , : Birkhäuser, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Decidability of logical theories and their combination / / João Rasga, Cristina Sernadas
| Decidability of logical theories and their combination / / João Rasga, Cristina Sernadas |
| Autore | Rasga João |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Birkhäuser, , [2020] |
| Descrizione fisica | 1 online resource (XIII, 178 p. 70 illus., 1 illus. in color.) |
| Disciplina | 511.3 |
| Collana | Studies in Universal Logic |
| Soggetto topico |
Logic, Symbolic and mathematical
First-order logic Mathematics - Philosophy |
| ISBN | 3-030-56554-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1: First Order Logic -- Chapter 2: Reasoning with Theories -- Chapter 3: Decidability Results on Theories -- Chapter 4: Quantifier Elimination -- Chapter 5: Combination of Theories -- Appendix: Basics of Computability -- Bibliography -- Table of Symbols -- Subject Index. |
| Record Nr. | UNINA-9910484070503321 |
|
Rasga João
|
||
| Cham, Switzerland : , : Birkhäuser, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Duality and definability in first order logic / / Michael Makkai
| Duality and definability in first order logic / / Michael Makkai |
| Autore | Makkai Mihály <1939-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 1993 |
| Descrizione fisica | 1 online resource (122 p.) |
| Disciplina | 511.3 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
First-order logic
Duality theory (Mathematics) Toposes |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-0080-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Table Of Contents""; ""Abstract""; ""Introduction""; ""1. Beth's theorem for propositional logic""; ""2. Factorizations in 2-categories""; ""3. Definable functors""; ""4. Basic notions for duality""; ""5. The Stone-type adjunction for Boolean pretoposes and ultragroupoids""; ""6. The syntax of special ultramorphisms""; ""7. The semantics of special ultramorphisms""; ""8. The duality theorem""; ""9. Preparing a functor specification""; ""10. Lifting Zawadowski's argument to ultra*morphisms""; ""11. The operations in BP* and UG""; ""12. Conclusion""; ""References"" |
| Record Nr. | UNINA-9910480574303321 |
|
Makkai Mihály <1939->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Duality and definability in first order logic / / Michael Makkai
| Duality and definability in first order logic / / Michael Makkai |
| Autore | Makkai Mihály <1939-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 1993 |
| Descrizione fisica | 1 online resource (122 p.) |
| Disciplina | 511.3 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
First-order logic
Duality theory (Mathematics) Toposes |
| ISBN | 1-4704-0080-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Table Of Contents""; ""Abstract""; ""Introduction""; ""1. Beth's theorem for propositional logic""; ""2. Factorizations in 2-categories""; ""3. Definable functors""; ""4. Basic notions for duality""; ""5. The Stone-type adjunction for Boolean pretoposes and ultragroupoids""; ""6. The syntax of special ultramorphisms""; ""7. The semantics of special ultramorphisms""; ""8. The duality theorem""; ""9. Preparing a functor specification""; ""10. Lifting Zawadowski's argument to ultra*morphisms""; ""11. The operations in BP* and UG""; ""12. Conclusion""; ""References"" |
| Record Nr. | UNINA-9910788752203321 |
|
Makkai Mihály <1939->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Duality and definability in first order logic / / Michael Makkai
| Duality and definability in first order logic / / Michael Makkai |
| Autore | Makkai Mihály <1939-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 1993 |
| Descrizione fisica | 1 online resource (122 p.) |
| Disciplina | 511.3 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
First-order logic
Duality theory (Mathematics) Toposes |
| ISBN | 1-4704-0080-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Table Of Contents""; ""Abstract""; ""Introduction""; ""1. Beth's theorem for propositional logic""; ""2. Factorizations in 2-categories""; ""3. Definable functors""; ""4. Basic notions for duality""; ""5. The Stone-type adjunction for Boolean pretoposes and ultragroupoids""; ""6. The syntax of special ultramorphisms""; ""7. The semantics of special ultramorphisms""; ""8. The duality theorem""; ""9. Preparing a functor specification""; ""10. Lifting Zawadowski's argument to ultra*morphisms""; ""11. The operations in BP* and UG""; ""12. Conclusion""; ""References"" |
| Record Nr. | UNINA-9910818932503321 |
|
Makkai Mihály <1939->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
First-order logic / Raymond M. Smullyan
| First-order logic / Raymond M. Smullyan |
| Autore | Smullyan, Raymond M. |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1968 |
| Descrizione fisica | xii, 158 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana |
Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge ; 43
Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, 0071-1136 ; 43 = A series of modern surveys in mathematics, 0071-1136 ; 43 |
| Soggetto topico | First-order logic |
| Classificazione | AMS 03B10 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000895449707536 |
|
Smullyan, Raymond M.
|
||
| Berlin ; New York : Springer-Verlag, 1968 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Independence-friendly logic : a game-theoretic approach / Allen L. Mann, Gabriel Sandu, Merlijn Sevenster
| Independence-friendly logic : a game-theoretic approach / Allen L. Mann, Gabriel Sandu, Merlijn Sevenster |
| Autore | Mann, Allen L. |
| Pubbl/distr/stampa | Cambridge, UK ; New York : Cambridge University Press, 2011 |
| Descrizione fisica | vi, 208 p. : ill. ; 23 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Sandu, Gabrielauthor
Sevenster, Merlijn |
| Collana | London Mathematical Society lecture note series, 0076-0552 ; 386 |
| Soggetto topico |
First-order logic
Game theory |
| ISBN | 9780521149341 |
| Classificazione | AMS 91A44 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001806959707536 |
|
Mann, Allen L.
|
||
| Cambridge, UK ; New York : Cambridge University Press, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
A lattice of chapters of mathematics : interpretations between theorems / / Jan Mycielski, Pavel Pudlák, and Alan S. Stern
| A lattice of chapters of mathematics : interpretations between theorems / / Jan Mycielski, Pavel Pudlák, and Alan S. Stern |
| Autore | Mycielski Jan <1932-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 1990 |
| Descrizione fisica | 1 online resource (78 p.) |
| Disciplina | 511.3 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
First-order logic
Lattice theory |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-0849-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Table of Contents""; ""Â1. Introduction""; ""Â2. Definitions and generalities""; ""Â3. Elementary results about LC""; ""Â4. The most significant theorems about LC""; ""Â5. Cardinalities, chains and antichains""; ""Â6. General results and the structure of LC""; ""Â7. Results about special theories""; ""Â8. Proof of Theorem 6.12""; ""Appendix I""; ""Appendix II""; ""Appendix III""; ""References"" |
| Record Nr. | UNINA-9910480032803321 |
|
Mycielski Jan <1932->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A lattice of chapters of mathematics : interpretations between theorems / / Jan Mycielski, Pavel Pudlák, and Alan S. Stern
| A lattice of chapters of mathematics : interpretations between theorems / / Jan Mycielski, Pavel Pudlák, and Alan S. Stern |
| Autore | Mycielski Jan <1932-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 1990 |
| Descrizione fisica | 1 online resource (78 p.) |
| Disciplina | 511.3 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
First-order logic
Lattice theory |
| ISBN | 1-4704-0849-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Table of Contents""; ""Â1. Introduction""; ""Â2. Definitions and generalities""; ""Â3. Elementary results about LC""; ""Â4. The most significant theorems about LC""; ""Â5. Cardinalities, chains and antichains""; ""Â6. General results and the structure of LC""; ""Â7. Results about special theories""; ""Â8. Proof of Theorem 6.12""; ""Appendix I""; ""Appendix II""; ""Appendix III""; ""References"" |
| Record Nr. | UNINA-9910788873403321 |
|
Mycielski Jan <1932->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A lattice of chapters of mathematics : interpretations between theorems / / Jan Mycielski, Pavel Pudlák, and Alan S. Stern
| A lattice of chapters of mathematics : interpretations between theorems / / Jan Mycielski, Pavel Pudlák, and Alan S. Stern |
| Autore | Mycielski Jan <1932-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 1990 |
| Descrizione fisica | 1 online resource (78 p.) |
| Disciplina | 511.3 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
First-order logic
Lattice theory |
| ISBN | 1-4704-0849-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Table of Contents""; ""Â1. Introduction""; ""Â2. Definitions and generalities""; ""Â3. Elementary results about LC""; ""Â4. The most significant theorems about LC""; ""Â5. Cardinalities, chains and antichains""; ""Â6. General results and the structure of LC""; ""Â7. Results about special theories""; ""Â8. Proof of Theorem 6.12""; ""Appendix I""; ""Appendix II""; ""Appendix III""; ""References"" |
| Record Nr. | UNINA-9910827763503321 |
|
Mycielski Jan <1932->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
First-order logic
(17)
- Algebraic logic (3)
- Duality theory (Mathematics) (3)
- Hyperspace (3)
- Lattice theory (3)