close
1.

電子ブック
ＥＢ
1. Institution-independent Model Theory
by Răzvan Diaconescu ; edited by Jean-Yves Beziau, Hajnal Andréka, Mark Burgin, Răzvan Diaconescu, Josep Maria Font, Andreas Herzig, Arnold Koslow, Jui-Lin Lee, Larissa Maksimova, Grzegorz Malinowski, Darko Sarenac, Peter Schröder-Heister, Vladimir Vasyukov
出版情報: Basel : Birkhäuser Verlag AG, 2008
シリーズ名: Studies in Universal Logic ;
オンライン: http://dx.doi.org/10.1007/978-3-7643-8708-2
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. The Road to Universal Logic : Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
edited by Arnold Koslow, Arthur Buchsbaum
出版情報: Cham : Springer International Publishing : Imprint: Birkhäuser, 2015
シリーズ名: Studies in Universal Logic ;
オンライン: http://dx.doi.org/10.1007/978-3-319-10193-4
所蔵情報: loading…
目次情報: 続きを見る
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.
Preface
Ibn Sina’s Two‐Partite versus Nine‐Partite Logicography by Musa Akrami
Homotopical categories of logics by Peter Arndt
3.

電子ブック
ＥＢ
3. The Road to Universal Logic : Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II
edited by Arnold Koslow, Arthur Buchsbaum
出版情報: Cham : Springer International Publishing : Imprint: Birkhäuser, 2015
シリーズ名: Studies in Universal Logic ;
オンライン: http://dx.doi.org/10.1007/978-3-319-15368-1
所蔵情報: loading…
目次情報: 続きを見る
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
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