141 followers
What Is a Logic? (2007) : Till Mossakowski and Joseph Goguen and Răzvan Diaconescu and Andrzej Tarlecki DOI: https://t.co/IoxYKzCpMx #institution #logic #proof_theory #theory #my_bibtex
Logica Universalis
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 From Consequence Operator to Universal Logic: A Survey of General Abstract Logic
-
Altmetric BadgeChapter 2 Abstract Model Theory as a Framework for Universal Logic
-
Altmetric BadgeChapter 3 A Topological Approach to Universal Logic: Model-Theoretical Abstract Logics
-
Altmetric BadgeChapter 4 Selfextensional Logics with Implication
-
Altmetric BadgeChapter 5 Logic without Self-Deductibility
-
Altmetric BadgeChapter 6 Equipollent Logical Systems
-
Altmetric BadgeChapter 7 What is a Logic?
-
Altmetric BadgeChapter 8 What is a Logic, and What is a Proof?
-
Altmetric BadgeChapter 9 Non-deterministic Matrices and Modular Semantics of Rules
-
Altmetric BadgeChapter 10 Two’s Company: “The Humbug of Many Logical Values”
-
Altmetric BadgeChapter 11 Friendliness and Sympathy in Logic
-
Altmetric BadgeChapter 12 Logical Discrimination