Cathoristic Logic

Download Edit this record How to cite View on PhilPapers
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.
(categorize this paper)
PhilPapers/Archive ID
Upload history
Archival date: 2014-10-04
View other versions
Added to PP index

Total views
263 ( #20,674 of 57,178 )

Recent downloads (6 months)
15 ( #40,466 of 57,178 )

How can I increase my downloads?

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