The Road to Universal Logic : Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II / / edited by Arnold Koslow, Arthur Buchsbaum |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2015 |
Descrizione fisica | 1 online resource (607 p.) |
Disciplina | 515.10923478 |
Collana | Studies in Universal Logic |
Soggetto topico |
Mathematical logic
Logic Mathematics History Mathematical Logic and Foundations History of Mathematical Sciences |
ISBN | 3-319-15368-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Katarzyna Gan-Krzywoszyńska (edited by): Personal recollections about JYB by Newton da Costa and others -- 2. Jean-Yves Beziau: Logical Autobiography 50 -- 3. Marcos Antonio Alves and Itala M. Loffredo D’Ottaviano: A quantitative-informational approach to logical consequence -- 4. Hajnal Andréka and Istvan Németi: Finite-variable logics do not have weak Beth definability property -- 5. Irving Anellis: Peirce’s Role in the History of Logic: Lingua Universalis and Calculus Ratiocinator -- 6. Ignacio Angelelli: The Meaning(s) of “is”: Normative vs. Naturalistic Views of Language -- 7. Régis Angot-Pélissier: The relation between logic, set theory and topos theory as it is used by Alain Badiou -- 8. Jonas Becker Arenhart and Décio Krause: Potentiality and Contradiction in Quantum Mechanics -- 9. Diderik Batens: Two, many and differently many -- 10. Hilan Bensusan, Alexandre Costa-Leite and Edelcio Gonçalves de Souza: Logics and their galaxies -- 11. Otavio Bueno: Can Identity be relativized? -- 12. Luis Estrada-González: From (paraconsistent) topos logic to Universal (topos) Logic -- 13. Yvon Gauthier: A Note on the Internal Logic of Constructive Mathematics: The Gel’fond-Schneider Theorem in Transcendental Number Theory -- 14. I. Grattan-Guinness: Is logic universal or hierarchical? -- 15. Dany Jaspers: The English Tenses, Blanche and the Logical Kite -- 16. Azriel Laufer and Dov Gabbay: Topological Aspects of Matrix Abduction 1 -- 17. Mai Ben Adar Bessos and Dov Gabbay: Topological Aspects of Matrix Abduction 2 -- 18. Sérgio Marcelino, Carlos Caleiro and Pedro Baltazar: Deciding theoremhood in fibred logics without shared connectives -- 19. Amirouche Moktefi and Fabien Schang: On rules and refereeing in football -- 20. Alessio Moretti: Arrow - Hexagons -- 21. Till Mossakowski, Mihai Codescu, Fabian Neuhaus, and Oliver Kutz: The Distributed Ontology, Modelling and Specification Language – DOL -- 22. Sergei Odintsov: Belnap constants and Nelson logic -- 23. Hitoshi Omori and Toshiharu Waragai: Negative modalities in the light of paraconsistency -- 24. Olga Pombo: Operativity and Representativity of the Sign in Leibniz -- 25. Henri Prade and Didier Dubois: Being consistent about inconsistency: Toward the rational fusing of inconsistent propositional logic bases -- 26. Giuseppe Primiero: Realist consequence, epistemic inference, computational correctness -- 27. Christian de Ronde: Epistemological and Ontological Paraconsistency in Quantum Mechanics: For and Against Bohrian Philosophy. |
Record Nr. | UNINA-9910299780003321 |
Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
The Road to Universal Logic : Festschrift for 50th Birthday of Jean-Yves Béziau Volume I / / edited by Arnold Koslow, Arthur Buchsbaum |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2015 |
Descrizione fisica | 1 online resource (519 p.) |
Disciplina | 512.817 |
Collana | Studies in Universal Logic |
Soggetto topico |
Mathematical logic
Logic Mathematics History Mathematical Logic and Foundations History of Mathematical Sciences |
ISBN | 3-319-10193-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- Ibn Sina’s Two‐Partite versus Nine‐Partite Logicography by Musa Akrami.- Homotopical categories of logics by Peter Arndt -- Semi‐implication: A Chapter in Universal Logic by Arnon Avron -- A Formal Framework for Hypersequent Calculi and their Fibring by Marcelo Esteban Coniglio and Martin Figallo -- Investigating Knowledge and Opinion by John Corcoran and Idris Samawi Ha -- The Algebra of Opposition (and universal logic interpretations) by Razvan Diaconescu -- Universal Logic as the Science of Patterns by Brian Gaines -- Hexagonal Logic of the Field F8 as a Boolean Logic with Three Involutive Modalities by René Guitart -- The move from one to two quantifiers by Wilfrid Hodges -- On the Contrary: Disjunctive Syllogism and Pragmatic Strengthening by Laurence Horn -- Aristotle on Language and Universal Proof by Jean‐Louis Hudry -- Béziau on And and Or by Lloyd Humberstone -- Universal Logic or Logics in Resemblance Families by Dale Jacquette -- Causality and Attribution in an Aristotelian Theory by Srecko Kovac -- Using Each Other's Words by Marcus Kracht -- On Universality and Formality in 19th Century Symbolic Logic: The Case of Schröder’s “Absolute Algebra” by Javier Legris -- Caramuel and the “Quantification of the Predicate” by Wolfgang Lenzen -- Lossy Inference Rules and their Bounds: a Brief Review by David Makinson and James Hawthorne -- Nonsets by Daniel Parrochia -- A Roadmap to Decidability by João Rasga, Cristina Sernadas and Amílcar Sernadas -- John Buridan on Non‐Contingency Syllogisms by Stephen Read -- Symbolic Existence in Hugh MacColl: a dialogical approach by Juan Redmond -- Beziau's Contributions to the Logical Geometry of Modalities and Quantifiers by Hans Smessaert and Lorenz Demey -- On Metalogical Pluralism by Vladimir L. Vasyukov -- Constructivism and Metamathematics by Jan Woleński. < . |
Record Nr. | UNINA-9910299778303321 |
Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|