Logica Universalis

Part I.Universal Logic: Frameworks and Structures

1. From Consequence Operator to Universal Logic: A Survey of General Abstract Logic
Jean-Yves Beziau

2. Abstract Model Theory as a Framework for Universal Logic
Marta García-Matos, Jouko Väänänen

3. A Topological Approach to Universal Logic: Model-Theoretical Abstract Logics
Steffen Lewitzka

4. Selfextensional Logics with Implication
Ramon Jansana

5. Logic without Self-Deductibility
Pierre Ageron

Part II.Identity and Nature of Logical Structures

6. Equipollent Logical Systems
Carlos Caleiro, Ricardo Gonçalves

7. What is a Logic?
Till Mossakowski, Joseph Goguen, Razvan Diaconescu, Andrzej Tarlecki

8. What is a Logic, and What is a Proof?
Lutz Straßurger

Part III.Tools and Concepts for Universal Logic

9. Non-deterministic Matrices and Modular Semantics of Rules
Arnon Avron

10. Two’s Company: “The Humbug of Many Logical Values”
Carlos Caleiro, Walter Carnielli, Marcelo E. Coniglio, João Marcos

11. Friendliness and Sympathy in Logic
David Makinson

12. Logical Discrimination
Lloyd Humberstone

DRM-restrictions

Printing: not available
Clipboard copying: not available

Avainsanat: MATHEMATICS / General MAT000000