Cathoristic Logic

Download Edit this record How to cite View on PhilPapers
Abstract
Cathoristic logic is a multi-modal logic where negation is replaced by a novel operator allowing the expression of incompatible sentences. We present the syntax and semantics of the logic including complete proof rules, and establish a number of results such as compactness, a semantic characterisa- tion of elementary equivalence, the existence of a quadratic-time decision pro- cedure, and Brandom’s incompatibility semantics property. We demonstrate the usefulness of the logic as a language for knowledge representation.
Categories
(categorize this paper)
PhilPapers/Archive ID
EVACL
Revision history
Archival date: 2014-10-04
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2014-10-04

Total views
215 ( #14,965 of 41,622 )

Recent downloads (6 months)
14 ( #31,349 of 41,622 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.