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.
Buchi's monadic second order successor arithmetic / Dirk Siefkes
| Buchi's monadic second order successor arithmetic / Dirk Siefkes |
| Autore | Siefkes, Dirk |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1970 |
| Descrizione fisica | xii, 130 p. ; 26 cm |
| Disciplina | 511.65 |
| Collana |
Decidable theories ; 1
Lecture notes in mathematics, 0075-8434 ; 120 |
| Soggetto topico |
Decidability
Predicate calculus Sequential machine theory |
| Classificazione |
AMS 11U05
QA3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000724409707536 |
Siefkes, Dirk
|
||
| Berlin ; New York : Springer-Verlag, 1970 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
The computational complexity of logical theories / / J. Ferrante, C. W. Rackoff
| The computational complexity of logical theories / / J. Ferrante, C. W. Rackoff |
| Autore | Ferrante Jeanne <1949-> |
| Edizione | [1st ed. 1979.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [1979] |
| Descrizione fisica | 1 online resource (XII, 244 p.) |
| Disciplina | 510 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico | Predicate calculus |
| ISBN | 3-540-35197-3 |
| Classificazione | 03D15 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | and background -- Ehrenfeucht games and decision procedures -- Integer addition — An example of an Ehrenfeucht game decision procedure -- Some additional upper bounds -- Direct products of theories -- Lower bound preliminaries -- A technique for writing short formulas defining complicated properties -- A lower bound on the theories of pairing functions -- Some additional lower bounds. |
| Record Nr. | UNISA-996466622003316 |
|
Ferrante Jeanne <1949->
|
||
| Berlin, Germany : , : Springer, , [1979] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The computational complexity of logical theories / Jeanne Ferrante, Charles W. Rackoff
| The computational complexity of logical theories / Jeanne Ferrante, Charles W. Rackoff |
| Autore | Ferrante, Jeanne |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1979 |
| Descrizione fisica | x, 243 p. : ill. ; 24 cm. |
| Disciplina | 510.3 |
| Altri autori (Persone) | Rackoff, Charles W. |
| Collana | Lecture notes in mathematics, 0075-8434 ; 718 |
| Soggetto topico |
Automata and formal grammars in connection with logical questions
Computational complexity Predicate calculus |
| ISBN | 3540095012 |
| Classificazione | AMS 03D05 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000773789707536 |
|
Ferrante, Jeanne
|
||
| Berlin : Springer-Verlag, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
An examination of a decision procedure / / Francis C. Oglesby
| An examination of a decision procedure / / Francis C. Oglesby |
| Autore | Oglesby Francis C. |
| Pubbl/distr/stampa | Providence, R.I. : , : American Mathematical Society, , 1962 |
| Descrizione fisica | 1 online resource (152 pages) |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Logic, Symbolic and mathematical
Predicate calculus |
| ISBN | 0-8218-9988-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""TABLE OF CONTENTS""; ""INTRODUCTION""; ""CHAPTER 1""; ""1. The First Order Predicate Calculus""; ""2. Validity and Satisfiability""; ""3. The Decision Problem""; ""CHAPTER 2""; ""4. Stanleyf's Procedure""; ""5. SP and the AE Predicate Calculus""; ""CHAPTER 3""""Â 6. Distributive Normal Forms""""Â 7. Kernels of Second Degree Constituents of First Order""; ""Â 8. Necessity of the Conditions of (7.8)""; ""CHAPTER 4""; ""Â 9. SP - A Decision Procedure for Second Degree Constituents of Zero Order""; ""Â 10. SP and the Class Î?"" ""11. Ackermann's Suggestion and the Class 12. A Modification of SP for the Class ""; ""CHAPTER 5""; ""13. NP Zero Order Constituents of Types 0 through 6""; "" 14. Transformations T[sub(1)] through T[sub(5)]""; "" 15. Condition (Ill) for a Q[sup(0)][sub(a)] of Type 1""; "" 16. Condition (Ill) and Transformations T[sub(1)] through T[sub(5)]""; ""CHAPTER 6""; ""Â 17. MSP* and NP Zero Order Constituents of Type 0""; ""Â 18. MSP* and Important Clause Disjuncts Resulting from Stage I of MSP""; ""APPENDIX""; ""BIBLIOGRAPHY"" |
| Record Nr. | UNINA-9910788610103321 |
|
Oglesby Francis C.
|
||
| Providence, R.I. : , : American Mathematical Society, , 1962 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An examination of a decision procedure / / Francis C. Oglesby
| An examination of a decision procedure / / Francis C. Oglesby |
| Autore | Oglesby Francis C. |
| Pubbl/distr/stampa | Providence, R.I. : , : American Mathematical Society, , 1962 |
| Descrizione fisica | 1 online resource (152 pages) |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Logic, Symbolic and mathematical
Predicate calculus |
| ISBN | 0-8218-9988-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""TABLE OF CONTENTS""; ""INTRODUCTION""; ""CHAPTER 1""; ""1. The First Order Predicate Calculus""; ""2. Validity and Satisfiability""; ""3. The Decision Problem""; ""CHAPTER 2""; ""4. Stanleyf's Procedure""; ""5. SP and the AE Predicate Calculus""; ""CHAPTER 3""""Â 6. Distributive Normal Forms""""Â 7. Kernels of Second Degree Constituents of First Order""; ""Â 8. Necessity of the Conditions of (7.8)""; ""CHAPTER 4""; ""Â 9. SP - A Decision Procedure for Second Degree Constituents of Zero Order""; ""Â 10. SP and the Class Î?"" ""11. Ackermann's Suggestion and the Class 12. A Modification of SP for the Class ""; ""CHAPTER 5""; ""13. NP Zero Order Constituents of Types 0 through 6""; "" 14. Transformations T[sub(1)] through T[sub(5)]""; "" 15. Condition (Ill) for a Q[sup(0)][sub(a)] of Type 1""; "" 16. Condition (Ill) and Transformations T[sub(1)] through T[sub(5)]""; ""CHAPTER 6""; ""Â 17. MSP* and NP Zero Order Constituents of Type 0""; ""Â 18. MSP* and Important Clause Disjuncts Resulting from Stage I of MSP""; ""APPENDIX""; ""BIBLIOGRAPHY"" |
| Record Nr. | UNINA-9910828784203321 |
|
Oglesby Francis C.
|
||
| Providence, R.I. : , : American Mathematical Society, , 1962 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal semantics and pragmatics for natural languages / edited by F. Guenthner and S. J. Schmidt
| Formal semantics and pragmatics for natural languages / edited by F. Guenthner and S. J. Schmidt |
| Autore | Guenthner, Franz |
| Pubbl/distr/stampa | Boston : D. Reidel Publ. Co., c1979 |
| Descrizione fisica | viii, 378 p. : ill. ; 23 cm. |
| Disciplina | 510 |
| Altri autori (Persone) | Schmidt, Siegfried J. |
| Collana | Synthese language library ; 4 |
| Soggetto topico |
Grammars
Languages-philosophy Logic of natural languages Pragmatics Predicate calculus Semantics Tense (Logic) |
| ISBN | 9027707782 |
| Classificazione | AMS 03B65 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000901859707536 |
|
Guenthner, Franz
|
||
| Boston : D. Reidel Publ. Co., c1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Tableau systems for first order number theory and certain higher order theories / Sue Toledo
| Tableau systems for first order number theory and certain higher order theories / Sue Toledo |
| Autore | Toledo, Sue Ann |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1975 |
| Descrizione fisica | 339 p. ; 25 cm |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics, 0075-8434 ; 447 |
| Soggetto topico |
Number theory
Predicate calculus Proof theory |
| ISBN | 3540071490 |
| Classificazione | AMS 03F |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001410909707536 |
|
Toledo, Sue Ann
|
||
| Berlin ; New York : Springer-Verlag, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Two papers on the predicate calculus / / by S.C. Kleene
| Two papers on the predicate calculus / / by S.C. Kleene |
| Autore | Kleene Stephen Cole <1909-1994, > |
| Pubbl/distr/stampa | Providence : , : American Mathematical Society, , 1952 |
| Descrizione fisica | 1 online resource (72 p.) |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Calculus
Predicate calculus |
| Soggetto genere / forma | Electronic books. |
| ISBN | 0-8218-9889-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""PERMUTABILITY OF INFERENCES IN GENTZEN'S CALCULI LK AND LJ""; ""1. THE FORMAL SYSTEM G""; ""2. RELATIONSHIPS IN A PROOF IN G""; ""3 . INTERCHANGE OF ADJACENT LOGICAL INFERENCES""; ""4. PERMUTABILITY OF LOGICAL INFERENCES""; ""FINITE AXIOMATIZABILITY OF THEORIES IN THE PREDICATE CALCULUS USING ADDITIONAL PREDICATE SYMBOLS""; ""1. H-NUMBERS""; ""2. A PRIMITIVE RECURSIVE ENUMERATION OF H-NUMBERS""; ""3 . THE SYSTEM S[sub(1)]""; ""4. THE SYSTEMS S[sub(2)], S[sub(3)]""; ""5. THE SYSTEMS S[sub(0)], S""; ""6. A NON-CONSTRUCTIVE PROOF OF CONSISTENCY FOR THE CLASSICAL CASE""
""7. EFFECT OF THE EQUALITY AXIOMS WITH A NEW EQUALITY SYMBOL""""8. EFFECT OF THE AXIOMS OF S[sub(1)]""; ""9. EFFECT OF THE AXIOM OF S[sub(2)]""; ""10. EFFECT OF THE AXIOMS OF S[sub(3)]""; ""11. CONCLUSION OF THE CONSISTENCY PROOF""; ""BIBLIOGRAPHY"" |
| Record Nr. | UNINA-9910480728703321 |
|
Kleene Stephen Cole <1909-1994, >
|
||
| Providence : , : American Mathematical Society, , 1952 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Two papers on the predicate calculus / / S.C. Kleene
| Two papers on the predicate calculus / / S.C. Kleene |
| Autore | Kleene Stephen Cole <1909-1994, > |
| Edizione | [Rev.] |
| Pubbl/distr/stampa | Providence : , : American Mathematical Society, , 1952 |
| Descrizione fisica | 1 online resource (72 pages) |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Calculus
Predicate calculus |
| ISBN | 0-8218-9889-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""PERMUTABILITY OF INFERENCES IN GENTZEN'S CALCULI LK AND LJ""; ""1. THE FORMAL SYSTEM G""; ""2. RELATIONSHIPS IN A PROOF IN G""; ""3 . INTERCHANGE OF ADJACENT LOGICAL INFERENCES""; ""4. PERMUTABILITY OF LOGICAL INFERENCES""; ""FINITE AXIOMATIZABILITY OF THEORIES IN THE PREDICATE CALCULUS USING ADDITIONAL PREDICATE SYMBOLS""; ""1. H-NUMBERS""; ""2. A PRIMITIVE RECURSIVE ENUMERATION OF H-NUMBERS""; ""3 . THE SYSTEM S[sub(1)]""; ""4. THE SYSTEMS S[sub(2)], S[sub(3)]""; ""5. THE SYSTEMS S[sub(0)], S""; ""6. A NON-CONSTRUCTIVE PROOF OF CONSISTENCY FOR THE CLASSICAL CASE""
""7. EFFECT OF THE EQUALITY AXIOMS WITH A NEW EQUALITY SYMBOL""""8. EFFECT OF THE AXIOMS OF S[sub(1)]""; ""9. EFFECT OF THE AXIOM OF S[sub(2)]""; ""10. EFFECT OF THE AXIOMS OF S[sub(3)]""; ""11. CONCLUSION OF THE CONSISTENCY PROOF""; ""BIBLIOGRAPHY"" |
| Record Nr. | UNINA-9910788767203321 |
|
Kleene Stephen Cole <1909-1994, >
|
||
| Providence : , : American Mathematical Society, , 1952 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Two papers on the predicate calculus / / S.C. Kleene
| Two papers on the predicate calculus / / S.C. Kleene |
| Autore | Kleene Stephen Cole <1909-1994, > |
| Edizione | [Rev.] |
| Pubbl/distr/stampa | Providence : , : American Mathematical Society, , 1952 |
| Descrizione fisica | 1 online resource (72 pages) |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Calculus
Predicate calculus |
| ISBN | 0-8218-9889-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""PERMUTABILITY OF INFERENCES IN GENTZEN'S CALCULI LK AND LJ""; ""1. THE FORMAL SYSTEM G""; ""2. RELATIONSHIPS IN A PROOF IN G""; ""3 . INTERCHANGE OF ADJACENT LOGICAL INFERENCES""; ""4. PERMUTABILITY OF LOGICAL INFERENCES""; ""FINITE AXIOMATIZABILITY OF THEORIES IN THE PREDICATE CALCULUS USING ADDITIONAL PREDICATE SYMBOLS""; ""1. H-NUMBERS""; ""2. A PRIMITIVE RECURSIVE ENUMERATION OF H-NUMBERS""; ""3 . THE SYSTEM S[sub(1)]""; ""4. THE SYSTEMS S[sub(2)], S[sub(3)]""; ""5. THE SYSTEMS S[sub(0)], S""; ""6. A NON-CONSTRUCTIVE PROOF OF CONSISTENCY FOR THE CLASSICAL CASE""
""7. EFFECT OF THE EQUALITY AXIOMS WITH A NEW EQUALITY SYMBOL""""8. EFFECT OF THE AXIOMS OF S[sub(1)]""; ""9. EFFECT OF THE AXIOM OF S[sub(2)]""; ""10. EFFECT OF THE AXIOMS OF S[sub(3)]""; ""11. CONCLUSION OF THE CONSISTENCY PROOF""; ""BIBLIOGRAPHY"" |
| Record Nr. | UNINA-9910812549403321 |
|
Kleene Stephen Cole <1909-1994, >
|
||
| Providence : , : American Mathematical Society, , 1952 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
