Książka - szczegóły

CONTENTS
Preface......................................................................................................................................................... 5
ABSTRACT LOGICS (by D. J. Brown and E. Suszko)
Introduction.................................................................................................................................................. 9
I. Elementary properties of closure systems and closure operations............................................. 10
II. Some properties of closure operators and closure systems....................................................... 12
III. Basic concepts of closure spaces.................................................................................................... 14
IV. Galois connections and dual spaces............................................................................................... 16
V. Abstract logics........................................................................................................................................ 19
VI. Projective generation of abstract logics........................................................................................... 20
VII. Inductive generation of abstract logics............................................................................................ 23
VIII. Logical congruences and bi-logical morphisms......................................................................... 24
IX. The structure of $Θ_ℒ$....................................................................................................................... 26
X. Logical matrices.................................................................................................................................... 28
XI. Generating logics by matrices .......................................................................................................... 29
XII. Structurality and invariance................................................................................................................ 31
XIII. Adequacy and completeness........................................................................................................... 33
XIV. Some applications to mathematical logic..................................................................................... 35
References.................................................................................................................................................. 40

CLASSICAL ABSTRACT LOGICS (by S.L. Bloom and D. J. Brown)
1. Introduction............................................................................................................................................. 43
2. Preliminaries.......................................................................................................................................... 43
3. The category of classical logics.......................................................................................................... 45
4. The characterization theorems........................................................................................................... 48
References.................................................................................................................................................. 52