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...

Full description

Bibliographic Details
Main Author: Jarmużek Tomasz
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