Coverart for item
The Resource The road to universal logic : Festschrift for 50th Birthday of Jean-Yves Béziau, Volume I, Arnold Koslow, Arthur Buchsbaum, editors, (electronic book)

The road to universal logic : Festschrift for 50th Birthday of Jean-Yves Béziau, Volume I, Arnold Koslow, Arthur Buchsbaum, editors, (electronic book)

Label
The road to universal logic : Festschrift for 50th Birthday of Jean-Yves Béziau, Volume I
Title
The road to universal logic
Title remainder
Festschrift for 50th Birthday of Jean-Yves Béziau
Title number
Volume I
Statement of responsibility
Arnold Koslow, Arthur Buchsbaum, editors
Contributor
Editor
Honouree
Subject
Language
eng
Summary
This is the first volume of a collection of papers in honor of the fiftieth birthday of Jean-Yves B©♭ziau. These 25 papers have been written by internationally distinguished logicians, mathematicians, computer scientists, linguists and philosophers, including Arnon Avron, John Corcoran, Wilfrid Hodges, Laurence Horn, Lloyd Humbertsone, Dale Jacquette, David Makinson, Stephen Read, and Jan Woleński. It is a state-of-the-art source of cutting-edge studies in the new interdisciplinary field of universal logic. The papers touch upon a wide range of topics including combination of logic, non-classi
Member of
Cataloging source
GW5XE
Dewey number
511.3
Illustrations
illustrations
Index
no index present
LC call number
QA9
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Koslow, Arnold
  • Buchsbaum, Arthur
  • Béziau, Jean-Yves
Series statement
Studies in Universal Logic,
http://library.link/vocab/subjectName
Logic, Symbolic and mathematical
Label
The road to universal logic : Festschrift for 50th Birthday of Jean-Yves Béziau, Volume I, Arnold Koslow, Arthur Buchsbaum, editors, (electronic book)
Instantiates
Publication
Copyright
Antecedent source
unknown
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • The Road to Universal Logic; Preface; References; Contents; Contributors; Ibn Sina's Two-Partite Versus Nine-Partite Logicography; 1 Introduction; 2 Aristotle's Books on Logic; 3 Logic in Ibn Sina's Shifa (= Healing); 4 Logic in Ibn Sina's al-Isharat wat-Tanbihat (= Remarks and Admonitions); 5 A Comparison Between Logic in Shifa and Logic in Isharat; 6 Ibn Sina's Reasons on Changing the Structure of Logic and the Style of Logicography; 6.1 Dividing Knowledge into Conception and Assent; 6.2 Study of Categories as a Part of First Philosophy
  • 7 Two-Partite Logic Versus Nine-Partite Logic in the Islamic Tradition8 Main Features and Advantages of Ibn Sina's Two-Partite Methodology in Logicography; References; Homotopical Categories of Logics; 1 Introduction; 2 Categories of Logics; 2.1 Signatures; 2.2 Logics; 3 Abstract Homotopy Theory; 3.1 Simplicial Sets and Nerves; 3.2 Localization of Categories and Homotopy (Co)limits; 3.2.1 Localizing Categories; 3.2.2 Homotopy (Co)limits; 3.3 Simplicial Categories, Simplicial Localizations and Homotopy (Co)limits; 3.3.1 The Hammock Localization; 3.3.2 Homotopy Category of a Simplicial Category
  • 3.3.3 Homotopy (Co)limits Revisited3.3.4 Simplicial Categories from 2-Categories; 3.4 Equivalences of Simplicial Categories and (infty,1)-Categories; 3.5 Models and Computation of Homotopy (Co)limits; 3.5.1 The Homotopy Theory of Homotopy Theories; 4 (infty,1)-Categories of Logics; 4.1 Weak Equivalences; 4.2 The Hammock Localization of Hilb; 4.3 The 2-Categorical Localization of Log; 4.3.1 Logstrict2-cat Versus Log2-cat; 4.3.2 Homotopy Limits in Log2-cat; 4.3.3 Homotopy Colimits in Log2-cat; 5 Vista; 5.1 Further Studies of Categories of Logics; 5.2 Invariants of Logics
  • 5.3 Refined Categories of Logics from Proof Theory5.4 Comparing Paradigms of Logic; 6 Conclusion; References; Semi-implication: A Chapter in Universal Logic; 1 Introduction; 2 Preliminaries; 3 The Relevant Deduction Property (RDP); 4 The Minimal Logics with the RDP; 5 CL and the Classical Equivalence; 6 The Notion of Semi-implication; 7 Semi-implication in Special Types of Matrices; References; A Formal Framework for Hypersequent Calculi and Their Fibring; 1 Introduction; 2 The Category of Formal Hypersequent Calculi; 3 Unconstrained Fibring of Hypersequent Calculi
  • 4 Admissible and Derivable Rules and the Rule Elimination Property5 Preservation Features and Translating Derivations; 6 Extension to Constrained Fibring; 7 The Non-commutative Case; 8 Hypersequent Calculi and Hypertranslations; 9 Concluding Remarks; References; Investigating Knowledge and Opinion; 1 Preliminaries; 2 Introduction; 3 The Spectrum of True Beliefs; 4 The Spectra of Certainty; 5 Senses of Òbjective' and S̀ubjective'; 6 Broad and Narrow Senses of B̀elieve'; 7 Certitude and Certainty; 8 The Spectra of Certitude; 9 Certain Knowledge; 10 Speaking of Propositional Knowledge
Control code
SPR893906801
Dimensions
unknown
Extent
1 online resource (xii, 520 pages)
File format
unknown
Form of item
online
Isbn
9783319101934
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-319-10193-4
Other physical details
illustrations (some color).
Quality assurance targets
not applicable
Reformatting quality
unknown
Reproduction note
Electronic resource.
Sound
unknown sound
Specific material designation
remote
Label
The road to universal logic : Festschrift for 50th Birthday of Jean-Yves Béziau, Volume I, Arnold Koslow, Arthur Buchsbaum, editors, (electronic book)
Publication
Copyright
Antecedent source
unknown
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • The Road to Universal Logic; Preface; References; Contents; Contributors; Ibn Sina's Two-Partite Versus Nine-Partite Logicography; 1 Introduction; 2 Aristotle's Books on Logic; 3 Logic in Ibn Sina's Shifa (= Healing); 4 Logic in Ibn Sina's al-Isharat wat-Tanbihat (= Remarks and Admonitions); 5 A Comparison Between Logic in Shifa and Logic in Isharat; 6 Ibn Sina's Reasons on Changing the Structure of Logic and the Style of Logicography; 6.1 Dividing Knowledge into Conception and Assent; 6.2 Study of Categories as a Part of First Philosophy
  • 7 Two-Partite Logic Versus Nine-Partite Logic in the Islamic Tradition8 Main Features and Advantages of Ibn Sina's Two-Partite Methodology in Logicography; References; Homotopical Categories of Logics; 1 Introduction; 2 Categories of Logics; 2.1 Signatures; 2.2 Logics; 3 Abstract Homotopy Theory; 3.1 Simplicial Sets and Nerves; 3.2 Localization of Categories and Homotopy (Co)limits; 3.2.1 Localizing Categories; 3.2.2 Homotopy (Co)limits; 3.3 Simplicial Categories, Simplicial Localizations and Homotopy (Co)limits; 3.3.1 The Hammock Localization; 3.3.2 Homotopy Category of a Simplicial Category
  • 3.3.3 Homotopy (Co)limits Revisited3.3.4 Simplicial Categories from 2-Categories; 3.4 Equivalences of Simplicial Categories and (infty,1)-Categories; 3.5 Models and Computation of Homotopy (Co)limits; 3.5.1 The Homotopy Theory of Homotopy Theories; 4 (infty,1)-Categories of Logics; 4.1 Weak Equivalences; 4.2 The Hammock Localization of Hilb; 4.3 The 2-Categorical Localization of Log; 4.3.1 Logstrict2-cat Versus Log2-cat; 4.3.2 Homotopy Limits in Log2-cat; 4.3.3 Homotopy Colimits in Log2-cat; 5 Vista; 5.1 Further Studies of Categories of Logics; 5.2 Invariants of Logics
  • 5.3 Refined Categories of Logics from Proof Theory5.4 Comparing Paradigms of Logic; 6 Conclusion; References; Semi-implication: A Chapter in Universal Logic; 1 Introduction; 2 Preliminaries; 3 The Relevant Deduction Property (RDP); 4 The Minimal Logics with the RDP; 5 CL and the Classical Equivalence; 6 The Notion of Semi-implication; 7 Semi-implication in Special Types of Matrices; References; A Formal Framework for Hypersequent Calculi and Their Fibring; 1 Introduction; 2 The Category of Formal Hypersequent Calculi; 3 Unconstrained Fibring of Hypersequent Calculi
  • 4 Admissible and Derivable Rules and the Rule Elimination Property5 Preservation Features and Translating Derivations; 6 Extension to Constrained Fibring; 7 The Non-commutative Case; 8 Hypersequent Calculi and Hypertranslations; 9 Concluding Remarks; References; Investigating Knowledge and Opinion; 1 Preliminaries; 2 Introduction; 3 The Spectrum of True Beliefs; 4 The Spectra of Certainty; 5 Senses of Òbjective' and S̀ubjective'; 6 Broad and Narrow Senses of B̀elieve'; 7 Certitude and Certainty; 8 The Spectra of Certitude; 9 Certain Knowledge; 10 Speaking of Propositional Knowledge
Control code
SPR893906801
Dimensions
unknown
Extent
1 online resource (xii, 520 pages)
File format
unknown
Form of item
online
Isbn
9783319101934
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-319-10193-4
Other physical details
illustrations (some color).
Quality assurance targets
not applicable
Reformatting quality
unknown
Reproduction note
Electronic resource.
Sound
unknown sound
Specific material designation
remote

Library Locations

Processing Feedback ...