Many-valued logics

by Malinowski, Grzegorz

Type Book

Rate 0.0 /5

Details

Files

Reviews

Download

Title Statements

Full title :Many-valued logics / Grzegorz Malinowski.

Edition Statements

Publication Date:1993.

Publication Statements

Publisher(s):Clarendon Press, Oxford University Press
Place of Publication:Oxford [England]
Language:eng
Publication Date:1993.

The Physical Object

Description:vii, 131 pages : : illustrations ; : 25 cm

Edition Identifiers

ISBN:0198537875, 9780198537878
oclc:ocm28848827
LC Classification:QA9.45
Dewey Decimal:511.3

1. The classical logic. 1.1. Truth-tables. 1.2. Propositional tautologies. 1.3. Functional completeness. 1.4. Axiomatization of CPC. 1.5. Predicate calculus. 1.6. Algebraization -- 2. The third logical value of Lukasiewicz. 2.1. Lukasiewicz and the Lvov-Warsaw school. 2.2. Three-valued logic. 2.3. Modality and three-valuedness. 2.4. Interpretation difficulties -- 3. Logic algebras and matrices. 3.1. Language and logic algebras. 3.2. Functional completeness of finite algebras. 3.3. Logical matrices -- 4. Many-valuedness. 4.1. Two criteria. 4.2. Structurality and many-valuedness. 4.3. Finiteness and deduction -- 5. Lukasiewicz logics. 5.1. Fundamental properties. 5.2. Definability in Lukasiewicz matrices. 5.3. Axiomatization. 5.4. Algebraic interpretations -- 6. Post logics. 6.1. Post matrices. 6.2. Interpretation. 6.3. Algebraic form of Post logics. 6.4. Axiomatization of functionally complete systems of n-valued logic -- 7. Three-valuedness of Kleene and Bochvar. 7.1. Logic of indeterminacy. 7.2. Bochvar logic. 7.3. Partial logics -- 8. Standard properties of many-valued constructions. 8.1. Standard conditions. 8.2. Axiomatization. 8.3. Standard matrix consequence -- 9. Probabilit…