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

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

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
Genre
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
  • Mathematics
  • Mathematical Logic and Foundations
  • Logic
  • History of Mathematical Sciences
  • MATHEMATICS
  • Logic, Symbolic and mathematical
  • Philosophy: logic
  • History of mathematics
  • Mathematical foundations
Label
The road to universal logic : Festschrift for 50th Birthday of Jean-Yves Béziau, Volume I, Arnold Koslow, Arthur Buchsbaum, editors
Link
https://ezproxy.lib.ou.edu/login?url=http://link.springer.com/10.1007/978-3-319-10193-4
Instantiates
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 `Objective' and `Subjective'; 6 Broad and Narrow Senses of `Believe'; 7 Certitude and Certainty; 8 The Spectra of Certitude; 9 Certain Knowledge; 10 Speaking of Propositional Knowledge
Dimensions
unknown
Extent
1 online resource (xii, 520 pages)
File format
unknown
Form of item
online
Isbn
9783319101927
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
c
Note
SpringerLink
Other control number
10.1007/978-3-319-10193-4
Other physical details
illustrations (some color).
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)893906801
  • (OCoLC)ocn893906801
Label
The road to universal logic : Festschrift for 50th Birthday of Jean-Yves Béziau, Volume I, Arnold Koslow, Arthur Buchsbaum, editors
Link
https://ezproxy.lib.ou.edu/login?url=http://link.springer.com/10.1007/978-3-319-10193-4
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 `Objective' and `Subjective'; 6 Broad and Narrow Senses of `Believe'; 7 Certitude and Certainty; 8 The Spectra of Certitude; 9 Certain Knowledge; 10 Speaking of Propositional Knowledge
Dimensions
unknown
Extent
1 online resource (xii, 520 pages)
File format
unknown
Form of item
online
Isbn
9783319101927
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
c
Note
SpringerLink
Other control number
10.1007/978-3-319-10193-4
Other physical details
illustrations (some color).
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)893906801
  • (OCoLC)ocn893906801

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...