Lemmon-style bases for the systems s1⚬ - s4⚬
Journal of Symbolic Logic 33 (3):458 - 461 (1968)
| 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,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesRod Downey (1984). Bases of Supermaximal Subspaces and Steinitz Systems. I. Journal of Symbolic Logic 49 (4):1146-1159.
Yoshihide Horiuchi (2003). Alice in Systems Wonderland: A Children's Systems Learning Guidebook Accompanying Alice's Adventures in Wonderland. World Futures 59 (1):37 – 50.
Philip Hugly & Charles Sayward (1984). Do We Need Quantification? Notre Dame Journal of Formal Logic 25 (4):289-302.
J. Jay Zeman (1963). Bases for S$4$ and S$4.2$ Without Added Axioms. Notre Dame Journal of Formal Logic 4 (3):227-230.
Grigori Mints (1997). Indexed Systems of Sequents and Cut-Elimination. Journal of Philosophical Logic 26 (6):671-696.
E. J. Lemmon (1957). New Foundations for Lewis Modal Systems. Journal of Symbolic Logic 22 (2):176-186.
Jan Doroszewski (1988). Ethical and Methodological Aspects of Medical Computer Data Bases and Knowledge Bases. Theoretical Medicine and Bioethics 9 (2).
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,684 of 549,699 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
