A Note on the v-Elimination Rule

Cogito 4 (1):69-70 (1990)
  Copy   BIBTEX

Abstract

The paper reports that the explanations of the v-elimination rule in three commonly used introductory logic textbooks are misleading to students and can result in invalid inferences.

Categories

Keywords

Reprint years

ISBN(s)

09508864

DOI

10.5840/cogito1990416

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

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

Strong Cut-elimination In Display Logic.Heinrich Wansing - 1995 - Reports on Mathematical Logic:117-131.
A cut-elimination proof in intuitionistic predicate logic.Mirjana Borisavljević - 1999 - Annals of Pure and Applied Logic 99 (1-3):105-136.
Tautology Elimination, Cut Elimination, and S5.Andrezj Indrzejczak - 2017 - Logic and Logical Philosophy 26 (4):461-471.
Against the Unrestricted Applicability of Disjunction Elimination.Marcel Jahn - 2017 - Rerum Causae 9 (2):92-111.
Review: W. V. Quine, Introductory Note; Bertrand Russell, Mathematical Logic as Based on the Theory of Types. [REVIEW]Alonzo Church - 1974 - Journal of Symbolic Logic 39 (2):355-356.
A note on an alternative Gentzenization of RW+∘.Mirjana Ilić - 2021 - Mathematical Logic Quarterly 67 (2):186-192.
On cut elimination in the presence of perice rule.Lev Gordeev - 1987 - Archive for Mathematical Logic 26 (1):147-164.
Normal derivability in modal logic.Jan von Plato - 2005 - Mathematical Logic Quarterly 51 (6):632-638.
Classical logic, intuitionistic logic, and the Peirce rule.Henry Africk - 1992 - Notre Dame Journal of Formal Logic 33 (2):229-235.
On the independence of premiss axiom and rule.Hajime Ishihara & Takako Nemoto - 2020 - Archive for Mathematical Logic 59 (7-8):793-815.

Analytics

Added to PP
2011-01-09

Downloads
3 (#1,729,579)

6 months
25 (#118,899)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Karl Pfeifer
University of Saskatchewan

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references