- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
A note on the independence of premiss rule
Mathematical Logic Quarterly 62 (1-2):72-76 (2016)
Abstract
In this note, we prove that certain theories of (many‐sorted) intuitionistic predicate logic are closed under the independence of premiss rule (IPR). As corollaries, we show that and extended by some non‐classical axioms and non‐constructive axioms are closed under IPR.My notes
Similar books and articles
Independence of irrelevant alternatives revisited.Susumu Cato - 2014 - Theory and Decision 76 (4):511-527.
A proof of Gentzen's Hauptsatz without multicut.Jan von Plato - 2001 - Archive for Mathematical Logic 40 (1):9-18.
The premiss-based approach to judgment aggregation.Franz Dietrich & Philippe Mongin - 2010 - Journal of Economic Theory 145 (2):562-582.
The Enthymeme Buster: A Heuristic Procedure for Position Exploration in Dialogic Dispute.Michael A. Gilbert - 1991 - Informal Logic 13 (3).
Replacing Modus Ponens With One-Premiss Rules.Lloyd Humberstone - 2008 - Logic Journal of the IGPL 16 (5):431-451.
Measurement independence, parameter independence and non-locality.Iñaki San Pedro - 2014 - European Journal for Philosophy of Science 4 (3):369-374.
Some principles weaker than Markov’s principle.Makoto Fujiwara, Hajime Ishihara & Takako Nemoto - 2015 - Archive for Mathematical Logic 54 (7-8):861-870.
Independence logic and abstract independence relations.Gianluca Paolini - 2015 - Mathematical Logic Quarterly 61 (3):202-216.
Rule-following, explanation-transcendence, and private language.Cyrus Panjvani - 2008 - Mind 117 (466):303-328.
A Remark on Independence Results for Sharply Bounded Arithmetic.Jan Johannsen - 1998 - Mathematical Logic Quarterly 44 (4):568-570.
Analytics
Added to PP
2016-02-04
Downloads
21 (#733,828)
6 months
4 (#776,943)
2016-02-04
Downloads
21 (#733,828)
6 months
4 (#776,943)
Historical graph of downloads
Citations of this work
A marriage of brouwer’s intuitionism and hilbert’s finitism I: Arithmetic.Takako Nemoto & Sato Kentaro - 2022 - Journal of Symbolic Logic 87 (2):437-497.
Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics.Nobu-Yuki Suzuki - 2017 - Bulletin of the Section of Logic 46 (1/2).
On the independence of premiss axiom and rule.Hajime Ishihara & Takako Nemoto - 2020 - Archive for Mathematical Logic 59 (7-8):793-815.
References found in this work
Some principles weaker than Markov’s principle.Makoto Fujiwara, Hajime Ishihara & Takako Nemoto - 2015 - Archive for Mathematical Logic 54 (7-8):861-870.
Syntactic translations and provably recursive functions.Daniel Leivant - 1985 - Journal of Symbolic Logic 50 (3):682-688.
A Note on the Godel-Gentzen Translation.Hajime Ishihara - 2000 - Mathematical Logic Quarterly 46 (1):135-138.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-64dd777598-b9rvg uwo