A Proof-Theoretic Semantics for Exclusion

&
Logica Universalis 11 (4):489-505 (2017)
  Copy   BIBTEX

Abstract

The paper provides a proof-theory for a negative presentation of classical logic based on a single primitive of exclusion, generalizing the known presentation via the binary ‘nand. The completeness is established via deductive equivalence to Gentzens NK/LK systems.

Categories

Keywords

Reprint years

DOI

10.1007/s11787-017-0179-y

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,532

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Proof-Theoretic Semantics, by Nissim Francez.Ivo Pezlar - 2017 - Mind 126 (501):299-304.
Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2013 - Journal of Philosophical Logic (2-3):1-21.
A Proof-Theoretic Semantics for Adjectival Modification.Nissim Francez - 2017 - Journal of Logic, Language and Information 26 (1):21-43.
Validity Concepts in Proof-theoretic Semantics.Peter Schroeder-Heister - 2006 - Synthese 148 (3):525-571.
Proof-theoretic semantics for a natural language fragment.Nissim Francez & Roy Dyckhoff - 2010 - Linguistics and Philosophy 33 (6):447-477.
Proof-Theoretic Semantics for Subsentential Phrases.Nissim Francez, Roy Dyckhoff & Gilad Ben-Avi - 2010 - Studia Logica 94 (3):381-401.
On a Distinction of Two Facets of Meaning and its Role in Proof-theoretic Semantics.Nissim Francez - 2015 - Logica Universalis 9 (1):121-127.
Revisiting Dummett's Proof-Theoretic Justification Procedures.Hermógenes Oliveira - 2017 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2016. London: College Publications. pp. 141-155.
The structure of logical consequence : proof-theoretic conceptions.Ole T. Hjortland - unknown
Some Concerns Regarding Ternary-relation Semantics and Truth-theoretic Semantics in General.Ross T. Brady - 2017 - IfCoLog Journal of Logics and Their Applications 4 (3):755--781.
Harmony in Multiple-Conclusion Natural-Deduction.Nissim Francez - 2014 - Logica Universalis 8 (2):215-259.
Proof-theoretic semantic values for logical operators.Nissim Francez & Gilad Ben-avi - 2011 - Review of Symbolic Logic 4 (3):466-478.
A proof–theoretic study of the correspondence of hybrid logic and classical logic.H. Kushida & M. Okada - 2006 - Journal of Logic, Language and Information 16 (1):35-61.
The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations.Heinrich Wansing - 2000 - Studia Logica 64 (1):3-20.
Proof-theoretic semantics, paradoxes and the distinction between sense and denotation.Luca Tranchini - forthcoming - Journal of Logic and Computation 2014.

Analytics

Added to PP
2017-10-25

Downloads
15 (#939,247)

6 months
1 (#1,472,167)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nissim Francez
Technion, Israel Institute of Technology

Citations of this work

No citations found.

Add more citations

References found in this work

The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38-39.
The Logical Basis of Metaphysics.Michael Dummett, Hilary Putnam & James Conant - 1994 - Philosophical Quarterly 44 (177):519-527.
The runabout inference ticket.Arthur Prior - 1967 - In P. F. Strawson (ed.), Philosophical logic. London,: Oxford University Press. pp. 38-9.
Exclusively indexical deduction.Paul Dekker - 2016 - Review of Symbolic Logic 9 (3):603-637.
Sheffer’s stroke: A study in proof-theoretic harmony.Stephen Read - 1999 - Danish Yearbook of Philosophy 34 (1):7-23.

Add more references