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.
Advances in Proof-Theoretic Semantics / / edited by Thomas Piecha, Peter Schroeder-Heister
| Advances in Proof-Theoretic Semantics / / edited by Thomas Piecha, Peter Schroeder-Heister |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (vi, 283 pages) : digital file(s) |
| Disciplina | 160 |
| Collana | Trends in Logic, Studia Logica Library |
| Soggetto topico |
Logic
Mathematical logic Mathematical Logic and Foundations Mathematical Logic and Formal Languages |
| ISBN | 3-319-22686-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Introduction; Thomas Piecha & Peter-Schroeder-Heister -- Chapter 2. On Brouwer-Heyting-Kolmogorov provability semantics; Sergei N. Artëmov -- Chapter 3. Two Ways of General Proof Theory; Kosta Došen -- Chapter 4. Generalised elimination rules; Roy Dyckhoff -- Chapter 5. On the proof theoretic foundations of set theory; Lars Hallnäs -- Chapter 6. The choice of semantics as a methodological question; Wilfrid Hodges -- Chapter 7. The mode of presentation; Reinhard Kahle -- Chapter 8. Remarks on relations between Gentzen and Heyting inspired PTS; Dag Prawitz -- Chapter 9. Unification of logics by reflection; Giovanni Sambin -- Chapter 10. BHK and Brouwer's Theory of the Creative Subject; Göran Sundholm -- Chapter 11. Compositional semantics for predicate logic: Eliminating bound variables from formulas and deductions; William W. Tait -- Chapter 12. Intuitionism, the Paradox of Knowability and Empirical Negation; Gabriele Usberti -- Chapter 13. Explicit composition and its application in normalization proofs; Jan von Plato -- Chapter 14. A two-sorted typed lambda-calculus; Heinrich Wansing -- Chapter 15. Kreisel's second clause and the Theory of Constructions; Walter Dean & Hidenori Kurokawa -- Chapter 16. On Paradoxes in Proof-Theoretic Semantics; Yoshihiro Maruyama. |
| Record Nr. | UNINA-9910137163703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Logical Writings of Karl Popper [[electronic resource] /] / edited by David Binder, Thomas Piecha, Peter Schroeder-Heister
| The Logical Writings of Karl Popper [[electronic resource] /] / edited by David Binder, Thomas Piecha, Peter Schroeder-Heister |
| Autore | Binder David |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (558 pages) |
| Disciplina | 160 |
| Altri autori (Persone) |
PiechaThomas
Schroeder-HeisterPeter |
| Collana | Trends in Logic, Studia Logica Library |
| Soggetto topico |
Logic
Mathematical logic Language and languages - Style Mathematical Logic and Foundations Stylistics Lògica |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-94926-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: Articles -- Chapter 1. Introduction to Popper’s Articles on Logic (David Binder, Thomas Piecha, and Peter Schroeder-Heister) -- Chapter 2. Are Contradictions Embracing? (1943) (Karl R. Popper) -- Chapter 3. Logic without Assumptions (1947) (Karl R. Popper) -- Chapter 4. New Foundations for Logic (1947) (Karl R. Popper) -- Chapter 5. Functional Logic without Axioms or Primitive Rules of Inference (1947)(Karl R. Popper) -- Chapter 6. On the Theory of Deduction, Part I. Derivation and its Generalizations (1948) (Karl R. Popper) -- Chapter 7. On the Theory of Deduction, Part II. The Definitions of Classical and Intuitionist Negation (1948) (Karl R. Popper) -- Chapter 8. The Trivialization of Mathematical Logic (1949) (Karl R. Popper) -- Chapter 9. A Note on Tarski’s Definition of Truth (1955) (Karl R. Popper) -- Chapter 10. On a Proposed Solution of the Paradox of the Liar (1955) (Karl R. Popper) -- Chapter 11. On Subjunctive Conditionals with Impossible Antecedents (1959) (Karl R. Popper) -- Chapter 12. Lejewski’s Axiomatization of My Theory of Deducibility (1974) (Karl R. Popper) -- Chapter 13. Reviews of Popper’s Articles on Logic (Wilhelm Ackermann et.al) -- Part II: Manuscripts -- Chapter 14. Introduction to Popper’s Manuscripts on Logic (David Binder, Thomas Piecha, and Peter Schroeder-Heister) -- Chapter 15. On Systems of Rules of Inference (Karl R. Popper and Paul Bernays) -- Chapter 16. A General Theory of Inference (Karl R. Popper) -- Chapter 17. On the Logic of Negation (Karl R. Popper) -- Chapter 18. A Note on the Classical Conditional (Karl R. Popper) -- Part III: Correspondence -- Chapter 19. Introduction to Popper’s Correspondence on Logic (David Binder, Thomas Piecha, and Peter Schroeder-Heister) -- Chapter 20. Popper’s Correspondence with Paul Bernays (Karl R. Popper and Paul Bernays) -- Chapter 21. Popper’s Correspondence with Luitzen Egbertus Jan Brouwer (Karl R. Popper and Luitzen E. J. Brouwer) -- Chapter 22. Popper’s Correspondence with Rudolf Carnap (Karl R. Popper and Rudolf Carnap) -- Chapter 23. Popper’s Correspondence with Alonzo Church (Karl R. Popper and Alonzo Church) -- Chapter 24. Popper’s Correspondence with Kalman Joseph Cohen (Karl R. Popper and Kalman J. Cohen) -- Chapter 25. Popper’s Correspondence with Henry George Forder (Karl R. Popper and Henry George Forder) -- Chapter 26. Popper’s Correspondence with Harold Jeffreys (Karl R. Popper and Harold Jeffreys) -- Chapter 27. Popper’s Correspondence with Stephen Cole Kleene (Karl R. Popper and Stephen C. Kleene) -- Chapter 28. Popper’s Correspondence with William Calvert Kneale (Karl R. Popper and William C. Kneale) -- Chapter 29. Popper’s Correspondence with Willard Van Orman Quine (Karl R. Popper and Willard V. O. Quine) -- Chapter 30. Popper’s Correspondence with Heinrich Scholz (Karl R. Popper and Heinrich Scholz) -- Chapter 31. Popper’s Correspondence with Peter Schroeder-Heister (Karl R. Popper and Peter Schroeder-Heister) -- Concordances -- Bibliography -- Index. |
| Record Nr. | UNISA-996483153503316 |
Binder David
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The Logical Writings of Karl Popper / / edited by David Binder, Thomas Piecha, Peter Schroeder-Heister
| The Logical Writings of Karl Popper / / edited by David Binder, Thomas Piecha, Peter Schroeder-Heister |
| Autore | Binder David |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (558 pages) |
| Disciplina | 160 |
| Altri autori (Persone) |
PiechaThomas
Schroeder-HeisterPeter |
| Collana | Trends in Logic, Studia Logica Library |
| Soggetto topico |
Logic
Mathematical logic Language and languages - Style Mathematical Logic and Foundations Stylistics Lògica |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-94926-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: Articles -- Chapter 1. Introduction to Popper’s Articles on Logic (David Binder, Thomas Piecha, and Peter Schroeder-Heister) -- Chapter 2. Are Contradictions Embracing? (1943) (Karl R. Popper) -- Chapter 3. Logic without Assumptions (1947) (Karl R. Popper) -- Chapter 4. New Foundations for Logic (1947) (Karl R. Popper) -- Chapter 5. Functional Logic without Axioms or Primitive Rules of Inference (1947)(Karl R. Popper) -- Chapter 6. On the Theory of Deduction, Part I. Derivation and its Generalizations (1948) (Karl R. Popper) -- Chapter 7. On the Theory of Deduction, Part II. The Definitions of Classical and Intuitionist Negation (1948) (Karl R. Popper) -- Chapter 8. The Trivialization of Mathematical Logic (1949) (Karl R. Popper) -- Chapter 9. A Note on Tarski’s Definition of Truth (1955) (Karl R. Popper) -- Chapter 10. On a Proposed Solution of the Paradox of the Liar (1955) (Karl R. Popper) -- Chapter 11. On Subjunctive Conditionals with Impossible Antecedents (1959) (Karl R. Popper) -- Chapter 12. Lejewski’s Axiomatization of My Theory of Deducibility (1974) (Karl R. Popper) -- Chapter 13. Reviews of Popper’s Articles on Logic (Wilhelm Ackermann et.al) -- Part II: Manuscripts -- Chapter 14. Introduction to Popper’s Manuscripts on Logic (David Binder, Thomas Piecha, and Peter Schroeder-Heister) -- Chapter 15. On Systems of Rules of Inference (Karl R. Popper and Paul Bernays) -- Chapter 16. A General Theory of Inference (Karl R. Popper) -- Chapter 17. On the Logic of Negation (Karl R. Popper) -- Chapter 18. A Note on the Classical Conditional (Karl R. Popper) -- Part III: Correspondence -- Chapter 19. Introduction to Popper’s Correspondence on Logic (David Binder, Thomas Piecha, and Peter Schroeder-Heister) -- Chapter 20. Popper’s Correspondence with Paul Bernays (Karl R. Popper and Paul Bernays) -- Chapter 21. Popper’s Correspondence with Luitzen Egbertus Jan Brouwer (Karl R. Popper and Luitzen E. J. Brouwer) -- Chapter 22. Popper’s Correspondence with Rudolf Carnap (Karl R. Popper and Rudolf Carnap) -- Chapter 23. Popper’s Correspondence with Alonzo Church (Karl R. Popper and Alonzo Church) -- Chapter 24. Popper’s Correspondence with Kalman Joseph Cohen (Karl R. Popper and Kalman J. Cohen) -- Chapter 25. Popper’s Correspondence with Henry George Forder (Karl R. Popper and Henry George Forder) -- Chapter 26. Popper’s Correspondence with Harold Jeffreys (Karl R. Popper and Harold Jeffreys) -- Chapter 27. Popper’s Correspondence with Stephen Cole Kleene (Karl R. Popper and Stephen C. Kleene) -- Chapter 28. Popper’s Correspondence with William Calvert Kneale (Karl R. Popper and William C. Kneale) -- Chapter 29. Popper’s Correspondence with Willard Van Orman Quine (Karl R. Popper and Willard V. O. Quine) -- Chapter 30. Popper’s Correspondence with Heinrich Scholz (Karl R. Popper and Heinrich Scholz) -- Chapter 31. Popper’s Correspondence with Peter Schroeder-Heister (Karl R. Popper and Peter Schroeder-Heister) -- Concordances -- Bibliography -- Index. |
| Record Nr. | UNINA-9910583593903321 |
|
Binder David
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||