## Proofs with Star and Perp

Proofs with Star and Perp (article in progress)

You are welcome to download and read this document. I especially welcome feedback on it. As it is not yet published in final form, if you want to cite the paper, please check with me first. Thanks.

In this paper, I show how to incorporate insights from the model-theoretic semantics for negation (insights due the late J. Michael Dunn, among others, in his paper Star and Perp: Two Treatments of Negation”), into a proof-first understanding of the semantics of negation. I then discuss the how a logical pluralist may understand the underlying accounts of proofs and their significance.

Do you like this, or have a comment? (I especially value feedback on work which is yet to be be published in final form.) If you do, please  share or reply on Twitter, or  email me.

← Proof, Rules and Meaning | Writing Archive | Questions, Justification Requests, Inference, and Definition →