A Sketch of a Proof-Theoretic Semantics for Necessity
Logic in Computer Science
2021-08-12 v1 Logic
Abstract
This paper considers proof-theoretic semantics for necessity within Dummett's and Prawitz's framework. Inspired by a system of Pfenning's and Davies's, the language of intuitionist logic is extended by a higher order operator which captures a notion of validity. A notion of relative necessary is defined in terms of it, which expresses a necessary connection between the assumptions and the conclusion of a deduction.
Cite
@article{arxiv.2107.13975,
title = {A Sketch of a Proof-Theoretic Semantics for Necessity},
author = {Nils Kürbis},
journal= {arXiv preprint arXiv:2107.13975},
year = {2021}
}