- 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 formal system for the non-theorems of the propositional calculus
Notre Dame Journal of Formal Logic 19 (1):147-151 (1978)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
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
Propositional calculus in implication and non-equivalence.A. N. Prior - 1969 - Notre Dame Journal of Formal Logic 10 (3):271-272.
A set of axioms for the propositional calculus with implication and non-equivalence.Anjan Shukla - 1966 - Notre Dame Journal of Formal Logic 7 (3):281-286.
An axiom system for three-valued Ł ukasiewicz propositional calculus.Luisa Iturrioz - 1977 - Notre Dame Journal of Formal Logic 18 (4):616-620.
Independence of the axioms and rules of inference of one system of the extended propositional calculus.Nadejda Georgieva - 1971 - Notre Dame Journal of Formal Logic 12 (2):214-218.
A set of axioms for the propositional calculus with implication and converse non-implication.Anjan Shukla - 1965 - Notre Dame Journal of Formal Logic 6 (2):123-128.
An axiom - system for {"K;N"} - propositional calculus related to Simons' axiomatization of S3.Bolesław Sobociński - 1962 - Notre Dame Journal of Formal Logic 3:206.
Note about Ł ukasiewicz's theorem concerning the system of axioms of the implicational propositional calculus.Bolesław Sobociński - 1978 - Notre Dame Journal of Formal Logic 19 (3):457-460.
A note on propositional calculus.Shalom Rosenberg - 1972 - Notre Dame Journal of Formal Logic 13 (4):506-510.
A generalised propositional calculus.Peter Jablon - 1975 - Notre Dame Journal of Formal Logic 16 (2):295-297.
Proof routines for the propositional calculus.Hugues Leblanc - 1963 - Notre Dame Journal of Formal Logic 4 (2):81-104.
Analytics
Added to PP
2010-08-24
Downloads
132 (#338,486)
6 months
12 (#1,005,307)
2010-08-24
Downloads
132 (#338,486)
6 months
12 (#1,005,307)
Historical graph of downloads
Citations of this work
A Hybrid Calculus for the Validities and Invalidities of Classical Propositional Logic.Rea Golan - 2024 - Journal of Philosophical Logic 53 (6):1701-1716.
Logics and Their Galaxies.Hilan Bensusan, Alexandre Costa-Leite & Edélcio De De Souza - 2015 - In Arnold Koslow & Arthur Buchsbaum, The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziauvol. 1, Cham, Heidelberg, etc.: Springer-Birkhäuser. Springer-Birkhäuser. pp. 243-252.
A sequent calculus for a logic of contingencies.Michael Tiomkin - 2013 - Journal of Applied Logic 11 (4):530-535.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
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