On the independence of premiss axiom and rule
Abstract
In this paper, we deal with a relationship among the law of excluded middle, the double negation elimination and the independence of premiss rule ) for intuitionistic predicate logic. After giving a general machinery, we give, as corollaries, several examples of extensions of \ and \ which are closed under \ but do not derive the independence of premiss axiom.Other Versions
No versions found
My notes
Similar books and articles
A note on the independence of premiss rule.Hajime Ishihara &Takako Nemoto -2016 -Mathematical Logic Quarterly 62 (1-2):72-76.
Classically archetypal rules.Tomasz Połacik &Lloyd Humberstone -2018 -Review of Symbolic Logic 11 (2):279-294.
A proof of Gentzen's Hauptsatz without multicut.Jan von Plato -2001 -Archive for Mathematical Logic 40 (1):9-18.
Replacing Modus Ponens With One-Premiss Rules.Lloyd Humberstone -2008 -Logic Journal of the IGPL 16 (5):431-451.
Double-Negation Elimination in Some Propositional Logics.Michael Beeson,Robert Veroff &Larry Wos -2005 -Studia Logica 80 (2-3):195-234.
A cut-elimination proof in intuitionistic predicate logic.Mirjana Borisavljević -1999 -Annals of Pure and Applied Logic 99 (1-3):105-136.
Refining the arithmetical hierarchy of classical principles.Makoto Fujiwara &Taishi Kurahashi -2022 -Mathematical Logic Quarterly 68 (3):318-345.
The premiss-based approach to judgment aggregation.Franz Dietrich &Philippe Mongin -2010 -Journal of Economic Theory 145 (2):562-582.
The axiom of choice and the law of excluded middle in weak set theories.John L. Bell -2008 -Mathematical Logic Quarterly 54 (2):194-201.
Independence of irrelevant alternatives revisited.Susumu Cato -2014 -Theory and Decision 76 (4):511-527.
Analytics
Added to PP
2020-02-08
Downloads
39 (#643,273)
6 months
3 (#1,171,294)
2020-02-08
Downloads
39 (#643,273)
6 months
3 (#1,171,294)
Historical graph of downloads
How can I increase my downloads?References found in this work
Constructivism in Mathematics: An Introduction.A. S. Troelstra &Dirk Van Dalen -1988 - Amsterdam: North Holland. Edited by D. van Dalen.
Metamathematical investigation of intuitionistic arithmetic and analysis.Anne S. Troelstra -1973 - New York,: Springer.
The Foundations of Intuitionistic Mathematics: Especially in Relation to Recursive Functions.Stephen Cole Kleene &Richard Eugene Vesley -1965 - Amsterdam: North-Holland Pub. Co.. Edited by Richard Eugene Vesley.
A note on the independence of premiss rule.Hajime Ishihara &Takako Nemoto -2016 -Mathematical Logic Quarterly 62 (1-2):72-76.
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation
Server: philpapers-web-54b44b69b7-nwt9g uwo