Remarks on Nicod's Axiom and on "Generalizing Deduction"
Journal of Symbolic Logic 30 (3):376 (1965)
Abstract
This article has no associated abstract. (fix it)DOI
10.2307/2269644
My notes
Similar books and articles
Review: Jan Lukasiewicz, Jerzy Slupecki, Panstwowe Wydawnictwo, Remarks on Nicod's Axiom and on "Generalizing Deduction". [REVIEW]H. A. Pogorzelski - 1965 - Journal of Symbolic Logic 30 (3):376-377.
“The Strict Deduction System Is Impossible to Derive the Contradiction” And the Proof.Fang-wen Yuan - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:147-162.
An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency.Dan E. Willard - 2005 - Journal of Symbolic Logic 70 (4):1171-1209.
Natural Deduction for Paraconsistent Logic.Milton De Castro & Itala Loffredo D'ottaviano - 2000 - Logica Trianguli 4:3-24.
Reflecting rules: A note on generalizing the deduction theorem.Gillman Payette - 2015 - Journal of Applied Logic 13 (3):188-196.
The Abduction in Deduction and the Deduction in Abduction: Remarks on Mixed Reasonings.Patricia Turrisi - 2005 - Semiotica 2005 (153 - 1/4):309-323.
Remarks on Stoic deduction.John Corcoran - 1974 - In Ancient Logic and its Modern Interpretations. Boston: Reidel. pp. 169--181.
A New Proof that “Krull implies Zorn”.Bernhard Banaschewski - 1994 - Mathematical Logic Quarterly 40 (4):478-480.
Natural Deduction: The Logical Basis of Axiom Systems. [REVIEW]D. J. P. - 1963 - Review of Metaphysics 17 (1):141-142.
Mrówka S.. On the ideals' extension theorem and its equivalence to the axiom of choice. Fundamenta mathematicae vol. 43 , pp. 46–49.Mrówka S.. Two remarks on my paper: “On the ideals' extension theorem and its equivalence to the axiom of choice.” Fundamenta mathematicae vol. 46 , pp. 165–166.Banaschewski Bernhard. On some theorems equivalent with the axiom of choice. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 279–282. [REVIEW]Azriel Lévy - 1963 - Journal of Symbolic Logic 28 (2):168-168.
Natural deduction for first-order hybrid logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.
The paradoxes of confirmation - a survey.R. Swinburne - 1971 - American Philosophical Quarterly 8 (4):318 - 330.
Strong analogues of Martin's axiom imply axiom R.Robert E. Beaudoin - 1987 - Journal of Symbolic Logic 52 (1):216-218.
Generalizing Detached Self-Reference and the Semantics of Generic One.Friederike Moltmann - 2010 - Mind and Language 25 (4):440-473.
Analytics
Added to PP
2015-02-05
Downloads
24 (#483,521)
6 months
3 (#226,670)
2015-02-05
Downloads
24 (#483,521)
6 months
3 (#226,670)
Historical graph of downloads
