登入選單

返回Google圖書搜尋

Labelled Deductive Systems

Dov M. Gabbay

出版	Clarendon Press, 1996
主題	Language Arts & Disciplines / Linguistics / GeneralMathematics / GeneralMathematics / Discrete MathematicsMathematics / LogicPhilosophy / Logic
ISBN	01985383329780198538332
URL	http://books.google.com.hk/books?id=OuNOAAAAMAAJ&hl=&source=gbs_api

註釋

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.