Theory of Logical Calculi [electronic resource] : Basic Theory of Consequence Operations / by Ryszard Wójcicki.
Erişim Adresi
ISBN
9789401569422
Dil Kodu
İngilizce
Yer Numarası
DK/7041
Yazar
Basım Bildirimi
1st ed. 1988.
Yayın Bilgisi
Dordrecht : Springer Netherlands : Imprint: Springer, 1988.
Fiziksel Niteleme
XVIII, 474 p. online resource.
Dizi
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science, 2542-8292 ; 199
İçindekiler Notu
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.
Konu
Logic.
Mathematical logic.
Computational linguistics.
Logic.
Mathematical Logic and Foundations.
Computational Linguistics.
Mathematical logic.
Computational linguistics.
Logic.
Mathematical Logic and Foundations.
Computational Linguistics.
Kurum Adı
