Publication: Propositional Annotated Logics P tau
No Thumbnail Available
Date
2015-01-01
Advisor
Coadvisor
Graduate program
Undergraduate course
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Type
Article
Access right
Abstract
This chapter introduces the propositional annotated logics P tau. We present a Hilbert style axiomatization of P tau and their semantics. We show some formal results including completeness.
Description
Keywords
Language
English
Citation
Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning. Berlin: Springer-verlag Berlin, v. 88, p. 5-23, 2015.
