A set of axioms for the propositional calculus with implication and non-equivalence
Notre Dame Journal of Formal Logic 7 (3):281-286 (1966)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesAnjan Shukla (1965). A Set of Axioms for the Propositional Calculus with Implication and Converse Non-Implication. Notre Dame Journal of Formal Logic 6 (2):123-128.
M. G. Beavers (1994). Theorem Counting. Topoi 13 (1):61-65.
Stanisław Jaśkowski (1975). Three Contributions to the Two-Valued Propositional Calculus. Studia Logica 34 (1):121 - 132.
T. Thacher Robinson (1968). Independence of Two Nice Sets of Axioms for the Propositional Calculus. Journal of Symbolic Logic 33 (2):265-270.
A. N. Prior (1969). Propositional Calculus in Implication and Non-Equivalence. Notre Dame Journal of Formal Logic 10 (3):271-272.
Maria Bulińska (2005). The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms. Studia Logica 81 (1):43 - 59.
Floy Andrews Doull (1991). Leibniz's Logical System of 1686-1690. Theoria 6 (1):9-28.
Herman Dishkant (1980). Three Prepositional Calculi of Probability. Studia Logica 39 (1):49 - 61.
Leon Horsten & Philip Welch (2007). The Undecidability of Propositional Adaptive Logic. Synthese 158 (1):41 - 60.
E. -W. Stachow (1978). Quantum Logical Calculi and Lattice Structures. Journal of Philosophical Logic 7 (1):347 - 386.
A. V. Kuznetsov & A. Yu Muravitsky (1986). On Superintuitionistic Logics as Fragments of Proof Logic Extensions. Studia Logica 45 (1):77 - 99.
Jacek K. Kabziński (1980). Investigations Into the Equivalence Connective. Nakł. Uniwersytetu Jagiellońskiego.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
