Australasian Journal of Logic 18 (5):524-568 (2021)

Authors
Shay Logan
Kansas State University
Graham Leach-Krouse
Kansas State University
Abstract
In this paper we introduce a novel way of building arithmetics whose background logic is R. The purpose of doing this is to point in the direction of a novel family of systems that could be candidates for being the infamous R#1/2 that Meyer suggested we look for.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Euclidean Diagram.Kenneth Manders - 2008 - In Paolo Mancosu (ed.), The Philosophy of Mathematical Practice. Oxford University Press. pp. 80--133.
Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.
Adjointness in Foundations.F. William Lawvere - 1969 - Dialectica 23 (3‐4):281-296.
The Algebra of Intensional Logics.Jon Michael Dunn - 1966 - Dissertation, University of Pittsburgh

View all 21 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

The Limitations of the Open Mind.Jeremy Fantl - 2018 - Oxford, UK: Oxford University Press.
The Immorality of Prayer.Ardon Lyon - 2015 - Think 14 (40):57-64.
Disassociation Intuitions.Bob Fischer & Isaac Wiegman - 2018 - Southwest Philosophy Review 34 (1):85-92.
No Testimonial Route to Consensus.Philip Pettit - 2006 - Episteme 3 (3):156-165.
Against Blaming the Blameworthy.Bob Fischer - 2015 - In Ben Bramble & Bob Fischer (eds.), The Moral Complexities of Eating Meat. Oxford University Press. pp. 185-198.
The Promising Puzzle.Anna Brinkerhoff - 2021 - Philosophers' Imprint 21 (22).
Why We Shouldn't Give Ellis a Dinch.J. Fox - 2007 - Analysis 67 (4):301-303.
Why We Shouldn't Give Ellis a Dinch.John Fox - 2007 - Analysis 67 (4):301–303.

Analytics

Added to PP index
2021-12-17

Total views
62 ( #184,541 of 2,508,112 )

Recent downloads (6 months)
25 ( #34,907 of 2,508,112 )

How can I increase my downloads?

Downloads

My notes