- 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
An extension of basic logic
Journal of Symbolic Logic 13 (2):95-106 (1948)
Abstract
This article has no associated abstract. (fix it)Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Recursive functions in basic logic.Frederic B. Fitch - 1956 - Journal of Symbolic Logic 21 (4):337-346.
Abstraction in Fitch's Basic Logic.Eric Thomas Updike - 2012 - History and Philosophy of Logic 33 (3):215-243.
Gentzen-style axiomatizations for some conservative extensions of basic propositional logic.Mojtaba Aghaei & Mohammad Ardeshir - 2001 - Studia Logica 68 (2):263-285.
Game logic and its applications I.Mamoru Kaneko & Takashi Nagashima - 1996 - Studia Logica 57 (2-3):325 - 354.
A1 is not a conservative extension of s4 but of S.Michiro Kondo - 1989 - Journal of Philosophical Logic 18 (3):321 - 323.
A simplification of basic logic.Frederic B. Fitch - 1953 - Journal of Symbolic Logic 18 (4):317-325.
A further consistent extension of basic logic.Frederic B. Fitch - 1949 - Journal of Symbolic Logic 14 (4):209-218.
Analytics
Added to PP
2009-01-28
Downloads
38 (#410,745)
6 months
8 (#347,798)
2009-01-28
Downloads
38 (#410,745)
6 months
8 (#347,798)
Historical graph of downloads
Citations of this work
Some remarks on extending and interpreting theories with a partial predicate for truth.William N. Reinhardt - 1986 - Journal of Philosophical Logic 15 (2):219 - 251.
Property Theories.George Bealer & Uwe Mönnich - 1983 - In Dov M. Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 133-251.
Property Theories.George Bealer & Uwe Monnich - 2003 - In Dov Gabbay & Frans Guenthner (eds.), Handbook of Philosophical Logic, Volume 10. Kluwer Academic Publishers. pp. 143-248.
Paradox and Logical Revision. A Short Introduction.Julien Murzi & Massimiliano Carrara - 2015 - Topoi 34 (1):7-14.
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-7c76586df8-hc2g5 uwo