Labelled Deductive Systems
Oxford University Press (1996)
| Abstract | This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas with the notion of structured families of labelled formulas with algebraic structures. This approach has far reaching consequences for the methodology of logics and their semantics, and the book studies the main features of such systems along with their applications. It will interest logicians, computer scientists, philosophers and linguists. | |||||||||
| Keywords | Logic | |||||||||
| Categories | ||||||||||
| Buy the book | $96.27 used (23% off) $125.00 direct from Amazon Amazon page | |||||||||
| Call number | BC71.G3 1996 | |||||||||
| ISBN(s) | 0198538332 9780198538332 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesNicola Olivetti (2003). Tableaux for Łukasiewicz Infinite-Valued Logic. Studia Logica 73 (1):81 - 111.
Sally Popkorn (1994). First Steps in Modal Logic. Cambridge University Press.
Dov M. Gabbay (1999). Fibring Logics. Clarendon Press.
H. Kushida & M. Okada (2007). A Proof–Theoretic Study of the Correspondence of Hybrid Logic and Classical Logic. Journal of Logic, Language and Information 16 (1).
Luca Viganò (2000). Labelled Non-Classical Logics. Kluwer Academic Publishers.
D. M. Gabbay & U. Reyle (1997). Labelled Resolution for Classical and Non-Classical Logics. Studia Logica 59 (2):179-216.
W. J. Blok & J. Rebagliato (2003). Algebraic Semantics for Deductive Systems. Studia Logica 74 (1-2):153 - 180.
Geert-Jan M. Kruijff (1998). Labelled Deductive Systems, Volume 1, Dov M. Gabbay. Journal of Logic, Language and Information 7 (4):502-506.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,628 of 549,198 )Recent downloads (6 months)1 ( #63,397 of 549,198 )How can I increase my downloads? |
My notes
Discussion
