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.|
|Categories||categorize this paper)|
|Buy the book||$79.50 new (37% off) $79.50 used (37% off) $117.62 direct from Amazon (6% off) Amazon page|
|Call number||BC71.G3 1996|
|Through your library||Configure|
Similar books and articles
Nicola 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):35-61.
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.
Marcello D'agostino, Dov M. Gabbay & Alessandra Russo (1997). Grafting Modalities Onto Substructural Implication Systems. Studia Logica 59 (1):65-102.
Added to index2009-01-28
Total downloads2 ( #245,904 of 722,775 )
Recent downloads (6 months)1 ( #60,541 of 722,775 )
How can I increase my downloads?