Theory of Logical Calculi: Basic Theory of Consequence Operations 论文
1988Medical Entomology and Zoology引用 220
Advanced Algebra and Logic
摘要
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.