<abstract xmlns="http://www.w3.org/1999/xhtml">
				
				<p> 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 stronger logics - monotonic, as well as non-monotonic ones - by specific use of non-classical tableau rules. So far, in that context tableaus have been treated as a way of formalizing other approaches to supraclassical logics, but we use them autonomically to generate various consequence operations. It requires a description of the hierarchy of non-classical tableau rules that result in different supraclassical consequence operations, so we give it.</p>
			</abstract>

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 stronger logics - monotonic, as well as non-monotonic ones - by specific use of non-classical tableau rules. So far, in that context tableaus have been treated as a way of formalizing other approaches to supraclassical logics, but we use them autonomically to generate various consequence operations. It requires a description of the hierarchy of non-classical tableau rules that result in different supraclassical consequence operations, so we give it.

Defining Cognitive Logics by Non-Classical Tableau Rules

Nicolaus Copernicus University in Toruń,

Studies in Logic, Grammar and Rhetoric

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

{"article-title":"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...

Defining Cognitive Logics by Non-Classical Tableau Rules

Published Online: Mar 16, 2017

Page range: 151 - 170

DOI: https://doi.org/10.1515/slgr-2016-0060

Keywords
cognitive logic, commonsense reasoning, consequence operation, consequence relation, non-classical tableau rules, non-monotonic logics, tableau methods

© Studies in Logic, Grammar and Rhetoric

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Defining Cognitive Logics by Non-Classical Tableau Rules

Published Online: Mar 16, 2017

Page range: 151 - 170

DOI: https://doi.org/10.1515/slgr-2016-0060

Keywordscognitive logic, commonsense reasoning, consequence operation, consequence relation, non-classical tableau rules, non-monotonic logics, tableau methods

© Studies in Logic, Grammar and Rhetoric

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Keywords
cognitive logic, commonsense reasoning, consequence operation, consequence relation, non-classical tableau rules, non-monotonic logics, tableau methods