Fibring logics

by Gabbay, Dov M.

Type Book

Rate 0.0 /5

Details

Files

Reviews

Download

Title Statements

Full title :Fibring logics / Dov M. Gabbay.

Edition Statements

Publication Date:1999.

Publication Statements

Publisher(s):Clarendon Press
Place of Publication:Oxford
Language:eng
Publication Date:1999.

The Physical Object

Description:xiii, 475 pages : : illustrations ; : 24 cm

Edition Identifiers

ISBN:0198503814, 9780198503811
oclc:ocm40756941
LC Classification:QA9
Dewey Decimal:511.3

1. An overview -- 2. Logics and their semantics -- 3. Combining modal logics -- 4. Intuitionistic modal logics -- 5. Comparison with literature -- 6. Introducing self-fibring -- 7. Self-fibring of predicate logics -- 8. Self-fibring with function systems -- 9. Self-fibring of intuitionistic logic -- 10. Applications of self-fibring -- 11. Conditional implication -- 12. How to make your logic fuzzy -- 13. Combing temporal logic systems -- 14. Grafting modalities -- 15. Fibred tableaux.

Subjects

Combinatorische logica Faserung Logic, Symbolic and mathematical Logik Logique floue Logique symbolique et mathématique Mathématiques intuitionnistes Modalité (Logique) Programmation (Mathématiques)