Compiled Labelled Deductive Systems: A Uniform Presentation of Non-classical Logics

Research Studies Press, 2004 - 343 páginas
This book introduces a general framework, called Compiled Labelled Deductive System (CLDS), for a unified presentation of logics. It shows how this technique is applied to various families of non-classical logics widely used in Computer Science and Artificial Intelligence. It includes complete natural deduction proof systems, together with proofs and examples, for the families of propositional and predicate modal logics, propositional conditional logics of normality, multiplicative linear logic and for Lukasiewicz fuzzy logic. The CLDS framework generalises the notion of a logical theory to a structured theory consisting of labelled formulas and relations between the labels. This formalisation makes the logics more amenable to applications. Moreover, the framework provides a semantic approach based on a first-order translation, which can be uniformly applied to any logic whose semantics is first-order axiomatisable. Such a semantic approach also facilitates the development of automated theorem provers for non-classical logics.

De dentro do livro

O que estão dizendo - Escrever uma resenha

Não encontramos nenhuma resenha nos lugares comuns.


Soundness Completeness and Correspondence Results
Derivability and Semantic Entailment
Formal Results for Predicate MLDS
Direitos autorais

4 outras seções não mostradas

Termos e frases comuns

Informações bibliográficas