top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Aristotelian Assertoric Syllogistic [[electronic resource] ] : Incorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic Logic / / by Mohamed A. Amer
Aristotelian Assertoric Syllogistic [[electronic resource] ] : Incorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic Logic / / by Mohamed A. Amer
Autore Amer Mohamed A.
Edizione [1st ed. 2021.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021
Descrizione fisica 1 online resource (100 pages)
Disciplina 185
Collana SpringerBriefs in Philosophy
Soggetto topico Logic
Formal Logic
Philosophical Logic
Sil·logisme
Soggetto genere / forma Llibres electrònics
ISBN 9783030873417
9783030873400
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Acknowledgements -- 1. Formalizations of AAS -- 2. Semantics of AAS -- 3. Decidability -- 4. Basic equivalence of the four formalizations -- 5. Venn soundness and completeness -- 6. Direct way to Venn models -- 7. Variations on NF(C) -- 8. Direct completion of direct deduction -- 9. Models of NF(C) revisited -- 10. Decidability revisited -- 11. Sorites -- 12. Independence -- 13. Algebraic semantics of AAS, a prelude -- 14. Algebraic interpretation of NF(C) -- 15. Annihilators: Embedding the partial into a total -- 16. Back to algebraic interpretation -- 17. Leibniz and Boole -- 18. Inadequacy: bounds of AAS -- Appendix.
Record Nr. UNISA-996466554503316
Amer Mohamed A.  
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Aristotelian Assertoric Syllogistic : Incorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic Logic / / by Mohamed A. Amer
Aristotelian Assertoric Syllogistic : Incorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic Logic / / by Mohamed A. Amer
Autore Amer Mohamed A.
Edizione [1st ed. 2021.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021
Descrizione fisica 1 online resource (100 pages)
Disciplina 185
166
Collana SpringerBriefs in Philosophy
Soggetto topico Logic
Formal Logic
Philosophical Logic
Sil·logisme
Soggetto genere / forma Llibres electrònics
ISBN 9783030873417
9783030873400
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Acknowledgements -- 1. Formalizations of AAS -- 2. Semantics of AAS -- 3. Decidability -- 4. Basic equivalence of the four formalizations -- 5. Venn soundness and completeness -- 6. Direct way to Venn models -- 7. Variations on NF(C) -- 8. Direct completion of direct deduction -- 9. Models of NF(C) revisited -- 10. Decidability revisited -- 11. Sorites -- 12. Independence -- 13. Algebraic semantics of AAS, a prelude -- 14. Algebraic interpretation of NF(C) -- 15. Annihilators: Embedding the partial into a total -- 16. Back to algebraic interpretation -- 17. Leibniz and Boole -- 18. Inadequacy: bounds of AAS -- Appendix.
Record Nr. UNINA-9910552733603321
Amer Mohamed A.  
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Logic in High Definition : Trends in Logical Semantics / / edited by Alessandro Giordani, Jacek Malinowski
Logic in High Definition : Trends in Logical Semantics / / edited by Alessandro Giordani, Jacek Malinowski
Edizione [1st ed. 2021.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021
Descrizione fisica 1 online resource (V, 243 p. 59 illus.)
Disciplina 121.68
Collana Trends in Logic, Studia Logica Library
Soggetto topico Logic
Language and languages - Philosophy
Formal Logic
Philosophy of Language
Philosophical Logic
ISBN 3-030-53487-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Chapter 1. Logic in High Definition, Trends in Logical Semantics (Alessandro Giordani and Jacek Malinowski) -- Chapter 2. Relating Semantics as Fine-grained Semantics for Intensional Propositional Logics (Tomasz Jarmuzek). Chapter 3. Some Intensional Logics Defined by Relating Semantics and Tableau systems (Tomasz Jarmuzek and Mateusz Klonowski) -- Chapter 4. Relating Semantics for Connexive Logic (Jacek Malinowski and Rafał Palczewski) -- Chapter 5. Discussion Note: Exact Truthmaking as Inexact Truthmaking by Minimal Totality Facts (Hannes Leitgeb) -- Chapter 6. Hyperintensionality in Imagination (Pierre Saint-Germier) -- Chapter 7. Deontic Logic with Action Types and Tokens (Alessandro Giordani) -- Chapter 8. Causal Agency and Responsibility: A Refinement of STIT Logic (Alexandru Baltag, Ilaria Canavotto and Sonja Smets) -- Chapter 9. Impossible Individuals as Necessarily Empty Individual Concepts (Marie Duzı, Daniela Glavanicova and Bjørn Jespersen) -- Chapter 10. Metalinguistic Focus in P-HYPE Semantics (Luke Burke). .
Record Nr. UNINA-9910483322003321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Universal Logic, Ethics, and Truth : Essays in Honor of John Corcoran (1937-2021) / / edited by Timothy J. Madigan, Jean-Yves Béziau
Universal Logic, Ethics, and Truth : Essays in Honor of John Corcoran (1937-2021) / / edited by Timothy J. Madigan, Jean-Yves Béziau
Edizione [1st ed. 2024.]
Pubbl/distr/stampa Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2024
Descrizione fisica 1 online resource (296 pages)
Disciplina 511.3
Collana Studies in Universal Logic
Soggetto topico Mathematical logic
Mathematics
History
Logic
General Logic
History of Mathematical Sciences
Formal Logic
Philosophical Logic
ISBN 3-031-44461-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Preface -- Table of Contents -- Introduction: John Corcoran as a Teacher and Mentor,Timothy Madigan -- Chapter 1. Hugh MacColl and Christine Ladd-Franklin: 1877-1909, Francine Abeles -- Chapter 2. Ex-Incompatibilitas Sequitur Quodlibet, Jean-Yves Beziau -- Chapter 3. Al-Farabi on Existential Import, Empty terms and Category Mistakes, Saloua Chatti -- Chapter 4. Argumentation and Logic, Manuel Correia -- Chapter 5. Universal Logic and Orbital Relativism, Alexandre Costa-Leite -- Chapter 6. Aristotle's Ontology of Time, Tatyana Yu. Denisova -- Chapter 7. Logical Hylomorphism Revisited: Aristotle, Tarski, and Corcoran, Elena Dragalina-Chernaya -- Chapter 8. Morality, Ethics and Wisdom: Remarks on Applications of Logic, Katarzyna Gan-Krzywoszyńska -- Chapter 9. On Polish Rationalisms, Piotr Leśniewski -- Chapter 10. Scientific Hypotheses and Modeling, Juan Redmond and Rodrigo López-Orellana -- Chapter 11. My Personal Memories of John Corcoran, Francisco Rodríguez-Consuegra -- Chapter 12. The Philosophy of Logic of John Corcoran, José Miguel Sagüillo -- Chapter 13. Mixed Political Inferences, Fabien Schang -- Chapter 14. Corcoran the Mathematician, Steward Shapiro -- Chapter 15. On a Possible Relation Between Greek Mathematics and Eleatic Philosophy, Iannis M. Vandoulakis -- Chapter 16. Sentences, Propositions and Truth-Bearers. Polish Tradition, Jan Wolenski -- Chapter 17. An Essay in matrix semantics for consequences relations, Jan Zygmunt.
Record Nr. UNINA-9910857791603321
Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2024
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui