Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik

"Abstract logics" and "Classical abstract logics"

100%

Brown D. J., Suszko R., Bloom S. L., Brown D. J.

Instytut Matematyczny Polskiej Akademii Nauk

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

Ograniczanie wyników

1 Bloom S. L.

1 Brown D. J.

1 Suszko R.

1 1973

Wyniki wyszukiwania

"Abstract logics" and "Classical abstract logics"