Propositional calculus in implication and non-equivalence
Notre Dame Journal of Formal Logic 10 (3):271-272 (1969)
| 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,653 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesM. G. Beavers (1994). Theorem Counting. Topoi 13 (1):61-65.
Anjan Shukla (1966). A Set of Axioms for the Propositional Calculus with Implication and Non-Equivalence. Notre Dame Journal of Formal Logic 7 (3):281-286.
Anjan 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.
E. -W. Stachow (1978). Quantum Logical Calculi and Lattice Structures. Journal of Philosophical Logic 7 (1):347 - 386.
Jacek K. Kabziński (1980). Investigations Into the Equivalence Connective. Nakł. Uniwersytetu Jagiellońskiego.
Romà J. Adillon & Ventura Verdú (2000). On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion. Studia Logica 65 (1):11-30.
Herman Dishkant (1980). Three Prepositional Calculi of Probability. Studia Logica 39 (1):49 - 61.
Stanisław Jaśkowski (1975). Three Contributions to the Two-Valued Propositional Calculus. Studia Logica 34 (1):121 - 132.
René[from old catalog] Calvache (1966). Tables for the Propositional Calculus (Logico-Mathematical Brain). Miami, Fla..
Wim Ruitenburg (1984). On the Period of Sequences (an(P)) in Intuitionistic Propositional Calculus. Journal of Symbolic Logic 49 (3):892 - 899.
Tomasz Połacik (1994). Second Order Propositional Operators Over Cantor Space. Studia Logica 53 (1):93 - 105.
Rangaswamy V. Setlur (1970). On the Equivalence of Strong and Weak Validity of Rule Schemes in the Two-Valued Propositional Calculus. Notre Dame Journal of Formal Logic 11 (2):249-253.
Michael J. Carroll (1976). On Interpreting the S5 Propositional Calculus: An Essay in Philosophical Logic. Dissertation, University of Iowa
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads6 ( #145,458 of 548,984 )Recent downloads (6 months)1 ( #63,327 of 548,984 )How can I increase my downloads? |
My notes
Discussion
