|
|
Analysis and Synthesis of Logics
Preface.- 1. Introductory Overview.- 2. Splicing Logics: Syntactic Fibring.- 3. Splicing Logics: Semantic Fibring.- 4. Heterogenous Fibring.- 5. Fibring Non-Truth Functional Logics.- 6. Fibring First-... |
 |
|
|
| Download PDF |
| Analysis and Synthesis of Logics |
|
