Description |
1 online resource (x, 228 pages) : illustrations |
Contents |
From consequence operator to universal logic : a survey of general abstract logic / 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 -- 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 -- 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 |
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 |
Bibliography |
Includes bibliographical references |
Notes |
English |
|
Print version record |
In |
Springer e-books |
Subject |
Logic, Symbolic and mathematical.
|
|
Model theory.
|
|
Electronic Data Processing
|
|
MATHEMATICS -- Infinity.
|
|
MATHEMATICS -- Logic.
|
|
Model theory.
|
|
Logic, Symbolic and mathematical.
|
|
Lógica matemática
|
|
Teoría de modelos
|
|
Logic, Symbolic and mathematical
|
|
Model theory
|
|
Beweistheorie
|
|
Logischer Schluss
|
|
Algebraïsche logica.
|
|
Logique mathématique.
|
|
Logique symbolique.
|
|
Théorie des modèles.
|
Form |
Electronic book
|
Author |
Béziau, Jean-Yves
|
LC no. |
2005041222 |
ISBN |
9783764373047 |
|
3764373040 |
|
3764372591 |
|
9783764372590 |
|
0817672591 |
|
9780817672591 |
|
6610313210 |
|
9786610313211 |
|
1280313218 |
|
9781280313219 |
|