Natural deduction, separation, and the meaning of logical operators

Journal of Philosophical Logic 7 (1):245 - 276 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00245930

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,601

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 semantic values for logical operators.Nissim Francez & Gilad Ben-avi - 2011 - Review of Symbolic Logic 4 (3):466-478.
Natural Deduction: The Logical Basis of Axiom System.J. R. Cameron - 1965 - Philosophical Quarterly 15 (58):83.
A double deduction system for quantum logic based on natural deduction.Yannis Delmas-Rigoutsos - 1997 - Journal of Philosophical Logic 26 (1):57-67.
Two separation theorems for natural deduction.Hugues Leblanc - 1966 - Notre Dame Journal of Formal Logic 7 (2):159-180.
Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality.Nils Kürbis - 2015 - Journal of Philosophical Logic 44 (6):713-727.
On an Ecumenical Natural Deduction with Stoup. Part I: The Propositional Case.Luiz Carlos Pereira & Elaine Pimentel - 2024 - In Antonio Piccolomini D'Aragona (ed.), Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Springer Verlag. pp. 139-169.
Expressive Power and Incompleteness of Propositional Logics.James W. Garson - 2010 - Journal of Philosophical Logic 39 (2):159-171.
Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different.Allen P. Hazen & Francis Jeffry Pelletier - 2014 - Studia Logica 102 (6):1103-1142.
Hybrid Deduction–Refutation Systems.Valentin Goranko - 2019 - Axioms 8 (4).
Natural Deduction: The Logical Basis of Axiom Systems.Donald Kalish - 1962 - Journal of Symbolic Logic 29 (2):93-94.

Analytics

Added to PP
2009-01-28

Downloads
67 (#312,701)

6 months
2 (#1,685,894)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The revival of rejective negation.Lloyd Humberstone - 2000 - Journal of Philosophical Logic 29 (4):331-381.
Classical Harmony and Separability.Julien Murzi - 2020 - Erkenntnis 85 (2):391-415.
Is 'no' a force-indicator? No!M. Textor - 2011 - Analysis 71 (3):448-456.

View all 11 citations / Add more citations

References found in this work

Assertion.Peter Geach - 1965 - Philosophical Review 74 (4):449-465.
The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38-39.
Tonk, Plonk and Plink.Nuel Belnap - 1962 - Analysis 22 (6):130-134.
Negation as a sign of negative judgment.Kent Bendall - 1979 - Notre Dame Journal of Formal Logic 20 (1):68-76.
Two shortcomings of natural deduction.Hugues Leblanc - 1966 - Journal of Philosophy 63 (2):29-37.

Add more references