Fibring Logics
Clarendon Press (1999)
| Abstract | Modern applications of logic in mathematics, computer science, and linguistics use combined systems of different types of logic working together. This book develops a method for combining--or fibring--systems by breaking them into simple components which can be manipulated easily and recombined. | |||||||||
| Keywords | Logic, Symbolic and mathematical | |||||||||
| Categories | ||||||||||
| Buy the book | $95.00 used (24% off) $99.70 new (21% off) $125.00 direct from Amazon Amazon page | |||||||||
| Call number | QA9.G175 1999 | |||||||||
| ISBN(s) | 0198503814 9780198503811 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesD. M. Gabbay (1996). Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics. Journal of Symbolic Logic 61 (4):1057-1120.
Carlos Caleiro & Jaime Ramos (2007). From Fibring to Cryptofibring. A Solution to the Collapsing Problem. Logica Universalis 1 (1).
Walter Carnielli & Marcelo E. Coniglio, Combining Logics. Stanford Encyclopedia of Philosophy.
Siegfried Gottwald (2008). Mathematical Fuzzy Logics. The Bulletin of Symbolic Logic 14 (2):210 - 239.
Amílcar Sernadas (2000). Fibring Logics, Dov M. Gabbay. Journal of Logic, Language and Information 9 (4):511-513.
J. P. Cleave (1991). A Study of Logics. Oxford University Press.
Cristina Sernadas, João Rasga & Walter A. Carnielli (2002). Modulated Fibring and the Collapsing Problem. Journal of Symbolic Logic 67 (4):1541-1569.
Marcelo E. Coniglio (2007). Recovering a Logic From its Fragments by Meta-Fibring. Logica Universalis 1 (2):377-416.
C. Caleiro, W. A. Carnielli, M. E. Coniglio, A. Sernadas & C. Sernadas (2003). Fibring Non-Truth-Functional Logics: Completeness Preservation. Journal of Logic, Language and Information 12 (2):183-211.
Alberto Zanardo, Amilcar Sernadas & Cristina Sernadas (2001). Fibring: Completeness Preservation. Journal of Symbolic Logic 66 (1):414-439.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads4 ( #178,675 of 549,093 )Recent downloads (6 months)1 ( #63,317 of 549,093 )How can I increase my downloads? |
My notes
Discussion
