Defining Cognitive Logics by Non-Classical Tableau Rules
In the paper we propose a new approach to formalization of cognitive logics. By cognitive logics we understand supraclassical, but non-trivial consequence operations, defined in a propositional language. We extend some paradigm of tableau methods, in which classical consequence Cn is defined, to str...
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
Sciendo
2016-12-01
|
Series: | Studies in Logic, Grammar and Rhetoric |
Subjects: | |
Online Access: | https://doi.org/10.1515/slgr-2016-0060 |