Proofs with 'star' and 'perp'

Greg Restall

doi:10.1007/978-3-031-69940-5_14

Proofs with 'star' and 'perp'

Greg Restall^*

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Abstract

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), into a proof-first understanding of the semantics of negation. I then discuss the different ways a logical pluralist may understand the underlying accounts of proofs and their significance.

Original language	English
Title of host publication	New directions in relevant logic
Editors	Igor Sedlár, Shawn Standefer, Andrew Tedder
Place of Publication	Cham
Publisher	Springer
Pages	343-372
Number of pages	30
ISBN (Electronic)	9783031699405
ISBN (Print)	9783031699399, 9783031699429
DOIs	https://doi.org/10.1007/978-3-031-69940-5_14
Publication status	Published - 1 Feb 2025

Publication series

Name	Trends in logic
Volume	63
ISSN (Print)	1572-6126
ISSN (Electronic)	2212-7313

Access to Document

10.1007/978-3-031-69940-5_14

Cite this

@inbook{f121273173e64228842a3a8fd5a2fbf1,

title = "Proofs with 'star' and 'perp'",

abstract = "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), into a proof-first understanding of the semantics of negation. I then discuss the different ways a logical pluralist may understand the underlying accounts of proofs and their significance.",

author = "Greg Restall",

year = "2025",

month = feb,

day = "1",

doi = "10.1007/978-3-031-69940-5_14",

language = "English",

isbn = "9783031699399",

series = "Trends in logic",

publisher = "Springer",

pages = "343--372",

editor = "Igor Sedl{\'a}r and Shawn Standefer and Andrew Tedder",

booktitle = "New directions in relevant logic",

address = "Netherlands",

}

TY - CHAP

T1 - Proofs with 'star' and 'perp'

AU - Restall, Greg

PY - 2025/2/1

Y1 - 2025/2/1

N2 - 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), into a proof-first understanding of the semantics of negation. I then discuss the different ways a logical pluralist may understand the underlying accounts of proofs and their significance.

AB - 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), into a proof-first understanding of the semantics of negation. I then discuss the different ways a logical pluralist may understand the underlying accounts of proofs and their significance.

UR - https://doi.org/10.1007/978-3-031-69940-5

UR - https://discover.libraryhub.jisc.ac.uk/search?isn=9783031699405&rn=1

U2 - 10.1007/978-3-031-69940-5_14

DO - 10.1007/978-3-031-69940-5_14

M3 - Chapter

AN - SCOPUS:85218055327

SN - 9783031699399

SN - 9783031699429

T3 - Trends in logic

SP - 343

EP - 372

BT - New directions in relevant logic

A2 - Sedlár, Igor

A2 - Standefer, Shawn

A2 - Tedder, Andrew

PB - Springer

CY - Cham

ER -

Proofs with 'star' and 'perp'

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this