UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

A Sketch of a Proof-Theoretic Semantics for Necessity

Kürbis, N; (2020) A Sketch of a Proof-Theoretic Semantics for Necessity. In: Negri, S and Olivetti, N and Verbrugge, R, (eds.) Short Papers: Advances in Modal Logic, AiML 2020. (pp. pp. 37-43). Helsinki University: Helsinki, Finland. Green open access

[thumbnail of KurbisAiML20.pdf]
Preview
Text
KurbisAiML20.pdf - Published Version

Download (108kB) | Preview

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.

Type: Proceedings paper
Title: A Sketch of a Proof-Theoretic Semantics for Necessity
Event: Advances in Modal Logic, AiML 2020
Location: Helsinki
ISBN-13: 978-1-84890-341-8
Open access status: An open access version is available from UCL Discovery
Publisher version: https://researchportal.helsinki.fi/en/publications...
Language: English
Additional information: This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions.
UCL classification: UCL
UCL > Provost and Vice Provost Offices
UCL > Provost and Vice Provost Offices > UCL SLASH
UCL > Provost and Vice Provost Offices > UCL SLASH > Faculty of Arts and Humanities
UCL > Provost and Vice Provost Offices > UCL SLASH > Faculty of Arts and Humanities > Dept of Philosophy
URI: https://discovery.ucl.ac.uk/id/eprint/10116390
Downloads since deposit
4Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item