Richard Prideaux Evans

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
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(More)
  • 1