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.
Abstract set theory / Abraham A. Fraenkel
| Abstract set theory / Abraham A. Fraenkel |
| Autore | Fraenkel, Abraham Adolf <1891-1965> |
| Pubbl/distr/stampa | Amsterdam : North-Holland publishing company, 1953 |
| Descrizione fisica | XII, 479 p. ; 23 cm |
| Disciplina |
160
510 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Teoria degli insiemi
Insiemi - Teoria |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000994630403321 |
Fraenkel, Abraham Adolf <1891-1965>
|
||
| Amsterdam : North-Holland publishing company, 1953 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abstract set theory / Thoralf A. Skolem
| Abstract set theory / Thoralf A. Skolem |
| Autore | Skolem, Thoralf A. |
| Pubbl/distr/stampa | Indiana : Notre Dame Press, 1962 |
| Descrizione fisica | 70 p. ; 23 cm |
| Disciplina | 160 |
| Collana | Notre Dame mathematical lectures |
| Soggetto non controllato |
Insiemi
Strutture algebriche Teoria degli insiemi |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990002559060403321 |
|
Skolem, Thoralf A.
|
||
| Indiana : Notre Dame Press, 1962 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Action, meaning, and argument in Eric Weil's logic of philosophy : a development of pragmatist, expressivist, and inferentialist themes / / Sequoya Yiaueki
| Action, meaning, and argument in Eric Weil's logic of philosophy : a development of pragmatist, expressivist, and inferentialist themes / / Sequoya Yiaueki |
| Autore | Yiaueki Sequoya |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
| Descrizione fisica | 1 online resource (343 pages) |
| Disciplina | 160 |
| Collana | Logic, Argumentation & Reasoning, Interdisciplinary Perspectives from the Humanities and Social Sciences |
| Soggetto topico |
Logic
Thought and thinking |
| ISBN |
9783031240829
9783031240812 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction -- 2. Discourse and Violence in Eric Weil’s Logic of Philosophy -- 3. Logic as the Organization of Forms of Coherence -- 4. Pragmatism, Inferentialism, and Expressivism -- 5. Pragmatism, Expressivism, and Inferentialism in the Logic of Philosophy -- 6. The Language of Conflict and Violence -- 7. The Logic of Philosophy as a Theory of Argumentation -- 8. Justification and Pluralism in the Logic of Philosophy -- 9. Conclusion -- Bibliography. |
| Record Nr. | UNINA-9910698652803321 |
|
Yiaueki Sequoya
|
||
| Cham, Switzerland : , : Springer, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Adam Balsamiensis Parvipontani Ars disserendi : (Dialectica Alexandri) / [a cura di] L. Minio-Paluello
| Adam Balsamiensis Parvipontani Ars disserendi : (Dialectica Alexandri) / [a cura di] L. Minio-Paluello |
| Autore | Adam Balsamiensis Parvipontanus |
| Pubbl/distr/stampa | Roma, : Edizioni di storia e letteratura, 1956 |
| Descrizione fisica | XXXVII, 155 p. ; 23 cm. |
| Disciplina | 160 |
| Collana | Twelfth century logic |
| Soggetto topico | Adamo : del Petit Pont . Ars disserendi - Commenti |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione |
eng
lat |
| Altri titoli varianti | Ars disserendi |
| Record Nr. | UNICAS-CSA0058367 |
|
Adam Balsamiensis Parvipontanus
|
||
| Roma, : Edizioni di storia e letteratura, 1956 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Cassino | ||
| ||
Adam Balsamiensis Parvipontani Ars disserendi (Dialectica Alexandri)
| Adam Balsamiensis Parvipontani Ars disserendi (Dialectica Alexandri) |
| Autore | Minio-Paluello, Lorenzo |
| Pubbl/distr/stampa | Roma : Edizioni di storia e letteratura, 1956 |
| Descrizione fisica | XXXVII, 155 p. ; 23 cm |
| Disciplina | 160 |
| Collana | Twelfth century logic ; 1 |
| Soggetto topico | Logica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | lat |
| Record Nr. | UNISALENTO-991001203179707536 |
|
Minio-Paluello, Lorenzo
|
||
| Roma : Edizioni di storia e letteratura, 1956 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Adaptive Logics for Defeasible Reasoning [[electronic resource] ] : Applications in Argumentation, Normative Reasoning and Default Reasoning / / by Christian Straßer
| Adaptive Logics for Defeasible Reasoning [[electronic resource] ] : Applications in Argumentation, Normative Reasoning and Default Reasoning / / by Christian Straßer |
| Autore | Straßer Christian |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (443 p.) |
| Disciplina | 160 |
| Collana | Trends in Logic, Studia Logica Library |
| Soggetto topico |
Logic
Artificial intelligence Philosophy and science Artificial Intelligence Philosophy of Science |
| ISBN | 3-319-00792-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Introduction -- Part I. Adaptive Logics as a Framework for Defeasible Logics -- Chapter 2 The Standard Format of Adaptive Logics -- Chapter 3. Sequential Combinations of ALs -- Chapter 4. On the Transparency of Defeasible Logics: Equivalent Premise Sets, Equivalence of Their Extensions, and Maximality of the Lower Limit -- Chapter 5. Generalizing the Standard Format -- Part II. Conditional Logics of Normality -- Chapter 6. Adaptively Applying Modus Ponens in Conditional Logics of Normality -- Chapter 7. An Adaptive Logic for Rational Closure -- Part III. Argumentation Theory -- Chapter 8. Towards the Proof-Theoretic Unification of Dung’s Argumentation Framework: An Adaptive Logic Approach -- Chapter 9. Allowing for Joint Attacks -- Part IV. Deontic Logics -- Chapter 10. Avoiding Deontic Explosion by Contextually Restricting Modal Inheritance -- Chapter 11. An Adaptive Logic Framework for Conditional Obligations and Deontic Dilemmas -- Chapter 12. A Deontic Logic Framework Allowing for Factual Detachment -- Appendices. |
| Record Nr. | UNINA-9910300145803321 |
|
Straßer Christian
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced logic for applications / Richard E. Grandy
| Advanced logic for applications / Richard E. Grandy |
| Autore | Grandy, Richard E. |
| Pubbl/distr/stampa | Boston [etc.] : Reidel, 1977 |
| Descrizione fisica | xi, 168 p. ; 21 cm |
| Disciplina | 160 |
| Collana | Synthese Library |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 90-277-0781-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001263410403321 |
|
Grandy, Richard E.
|
||
| Boston [etc.] : Reidel, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in modal logic / edited by Marcus Kracht ... [et al.]
| Advances in modal logic / edited by Marcus Kracht ... [et al.] |
| Pubbl/distr/stampa | Stanford : CSLI Publications, 1998 |
| Descrizione fisica | XVI, 392 p. ; 23 cm |
| Disciplina | 160 |
| Collana | CSLI lecture notes |
| Soggetto non controllato | Logica |
| ISBN | 1-57586-102-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990006912170403321 |
| Stanford : CSLI Publications, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Natural Deduction [[electronic resource] ] : A Celebration of Dag Prawitz's Work / / edited by Luiz Carlos Pereira, Edward Haeusler, Valeria de Paiva
| Advances in Natural Deduction [[electronic resource] ] : A Celebration of Dag Prawitz's Work / / edited by Luiz Carlos Pereira, Edward Haeusler, Valeria de Paiva |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (288 p.) |
| Disciplina | 160 |
| Collana | Trends in Logic, Studia Logica Library |
| Soggetto topico |
Logic
Mathematical logic Mathematical Logic and Formal Languages Mathematical Logic and Foundations |
| ISBN | 94-007-7548-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Generalizaed elimination inferences; Schroeder-Heister, Peter -- Chapter 2. Revisiting Zucker's work on the Correspondence between Cut-Elimination and Normalisation; Urban, Christian -- Chapter 3. Proofs, Reasoning and the Metamorphosis of Logic; Joinet, Jean-Baptiste -- Chapter 4. Natural Deduction for Equality: The Missing Entity; de Quieroz, Ruy J.G.B. and de Oliveira, Anjolina G -- Chapter 5. Proof-theoretical Conception of Logic; Legris, Javier -- Chapter 6. On the Structure of Natural deduction Derivations for "Generally"; Vana, Leonardo B., Veloso, Paulo A.S. , and Veloso, Sheila R.M -- Chapter 7. Type Theories from Barendregt's Cube for Theorem Provers; Seldin, Jonathan P -- Chapter 8. What is propositional logic, a theory of, if anything?; Chateaubriand, Oswaldo -- Chapter 9. Categorical Semantics of Linear Logic for All; de Paiva, Valeria -- Chapter 10. Rough sets and proof-theory; Bellin, Gianluigi -- Chapter 11. Decomposition of Reduction; Zimmermann, Ernst -- Chapter 12. An approach to general proof theory and a conjecture of a kind of completeness of intuitionistic logic revisited; Prawitz, Dag. |
| Record Nr. | UNINA-9910300152203321 |
| Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
