Login

Beziau, Jean-Yves

Logica Universalis

Beziau, Jean-Yves - Logica Universalis, ebook

61,90€

Ebook, PDF with Adobe DRM
ISBN: 9783764383541
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

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

Keywords: MATHEMATICS / General MAT000000

Author(s)
Publisher
Springer
Publication year
2007
Language
en
Edition
1
Category
Natural Sciences
Format
Ebook
eISBN (PDF)
9783764383541

Similar titles