AuthorWรณjcicki, Ryszard. author
TitleTheory of Logical Calculi [electronic resource] : Basic Theory of Consequence Operations / by Ryszard Wรณjcicki
ImprintDordrecht : Springer Netherlands : Imprint: Springer, 1988
Connect tohttp://dx.doi.org/10.1007/978-94-015-6942-2
Descript XVIII, 474 p. online resource

CONTENT

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


SUBJECT

  1. Philosophy
  2. Logic
  3. Mathematical logic
  4. Computational linguistics
  5. Philosophy
  6. Logic
  7. Mathematical Logic and Foundations
  8. Computational Linguistics