Dual Tableaux: Foundations, Methodology, Case Studies [electronic resource] by Ewa Orlowska, Joanna Golińska Pilarek.
The book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionistic, relevant, and many-valued logics) and to various applied theories of computational logic (such as...
Uniform Title: | Trends in Logic, Studia Logica Library,
2212-7313 ; 33 |
---|---|
Main Authors: | |
Corporate Author: | |
Language: | English |
Published: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2011.
|
Edition: | 1st ed. 2011. |
Series: | Trends in Logic, Studia Logica Library,
33 |
Subjects: | |
Online Access: | |
Format: | Electronic eBook |
System Under Maintenance
Our Library Management System is currently under maintenance.
Holdings and item availability information is currently unavailable. Please accept our apologies for any inconvenience this may cause and contact us for further assistance:
Please contact Reference and Discovery Services via their Contact Form or call them directly at: 517-353-8700 for assistance.