Coverart for item
The Resource Logica universalis : towards a general theory of logic, Jean-Yves Beziau, editor

Logica universalis : towards a general theory of logic, Jean-Yves Beziau, editor

Label
Logica universalis : towards a general theory of logic
Title
Logica universalis
Title remainder
towards a general theory of logic
Statement of responsibility
Jean-Yves Beziau, editor
Contributor
Subject
Language
eng
Summary
Universal Logic is not a new logic, but a general theory of logics, considered as mathematical structures. The name was introduced about ten years ago, but the subject is as old as the beginning of modern logic: Alfred Tarski and other Polish logicians such as Adolf Lindenbaum developed a general theory of logics at the end of the 1920s based on consequence operations and logical matrices. The subject was revived after the flowering of thousands of new logics during the last thirty years: there was a need for a systematic theory of logics to put some order in this chaotic multiplicity. This bo
Is part of
Cataloging source
GW5XE
Dewey number
511.3
Illustrations
illustrations
Index
no index present
Language note
English
LC call number
QA9.2
LC item number
.L64 2005eb
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
Béziau, Jean-Yves
http://library.link/vocab/subjectName
  • Logic, Symbolic and mathematical
  • Model theory
  • Logique symbolique et mathématique
  • Modèles, Théorie des
  • MATHEMATICS
  • MATHEMATICS
  • Model theory
  • Logic, Symbolic and mathematical
  • Logic, Symbolic and mathematical
  • Model theory
  • Logischer Schluss
  • Beweistheorie
  • Algebraïsche logica
  • Logique mathématique
  • Logique symbolique
  • Théorie des modèles
Label
Logica universalis : towards a general theory of logic, Jean-Yves Beziau, editor
Instantiates
Publication
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
  • Logic without self-deductibility
  • Pierre Ageron
  • Equipollent logical systems
  • Carlos Caleiro and Ricardo Goncalves
  • What is a logic?
  • Till Mossakowski, Joseph Goguen, Razvan Diaconescu and Andrzej Tarlecki
  • What is a logic, and what is a proof?
  • Lutz Strassburger
  • Non-deterministic matrices and modular semantics of rules
  • Arnon Avron
  • From consequence operator to universal logic : a survey of general abstract logic
  • Two's company : "the humbug of many logical values"
  • Carlos Caleiro, Walter Carnielli, Marcelo Coniglio and Joao Marcos
  • Logical friendliness and sympathy
  • David Makinson
  • Logical discrimination
  • Lloyd Humberstone
  • Jean-Yves Beziau
  • Abstract model theory as a framework for universal logic
  • Marta Garcia-Matos and Jouko Vaananen
  • A topological approach to universal logic : model-theoretical abstract logics
  • Steffen Lewitzka
  • Selfextensional logics with implication
  • Ramon Jansana
Control code
262681501
Dimensions
unknown
Extent
1 online resource (x, 228 pages)
Form of item
online
Isbn
9783764372590
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/b137041
Other physical details
illustrations
http://library.link/vocab/ext/overdrive/overdriveId
978-3-7643-7259-0
Specific material designation
remote
System control number
(OCoLC)262681501
Label
Logica universalis : towards a general theory of logic, Jean-Yves Beziau, editor
Publication
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
  • Logic without self-deductibility
  • Pierre Ageron
  • Equipollent logical systems
  • Carlos Caleiro and Ricardo Goncalves
  • What is a logic?
  • Till Mossakowski, Joseph Goguen, Razvan Diaconescu and Andrzej Tarlecki
  • What is a logic, and what is a proof?
  • Lutz Strassburger
  • Non-deterministic matrices and modular semantics of rules
  • Arnon Avron
  • From consequence operator to universal logic : a survey of general abstract logic
  • Two's company : "the humbug of many logical values"
  • Carlos Caleiro, Walter Carnielli, Marcelo Coniglio and Joao Marcos
  • Logical friendliness and sympathy
  • David Makinson
  • Logical discrimination
  • Lloyd Humberstone
  • Jean-Yves Beziau
  • Abstract model theory as a framework for universal logic
  • Marta Garcia-Matos and Jouko Vaananen
  • A topological approach to universal logic : model-theoretical abstract logics
  • Steffen Lewitzka
  • Selfextensional logics with implication
  • Ramon Jansana
Control code
262681501
Dimensions
unknown
Extent
1 online resource (x, 228 pages)
Form of item
online
Isbn
9783764372590
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/b137041
Other physical details
illustrations
http://library.link/vocab/ext/overdrive/overdriveId
978-3-7643-7259-0
Specific material designation
remote
System control number
(OCoLC)262681501

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...