Author | Wรณjcicki, Ryszard. author |
---|---|
Title | Theory of Logical Calculi [electronic resource] : Basic Theory of Consequence Operations / by Ryszard Wรณjcicki |
Imprint | Dordrecht : Springer Netherlands : Imprint: Springer, 1988 |
Connect to | http://dx.doi.org/10.1007/978-94-015-6942-2 |
Descript | XVIII, 474 p. online resource |
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