Theory of Logical Calculi: Basic Theory of Consequence Operations
Ryszard Wójcicki · Medical Entomology and Zoology · 1988
0. Introduction.- 1. Basic Concepts.- 2. Deductive Bases and Interpretations.- 3. Logical Matrices.- 4. Tabular Semantics.- 5. Referential Semantics.- 6. Propositional vs. Predicate Logics.- References.- Index of subjects.- Index of names.- Index of symbols.