Bulletin of the Section of Logic 32 (4):191-199 (2003)
| Authors |
|
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 68,975
External links
(no proxy) Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
No references found.
Citations of this work BETA
On Ultrafilter Logic and Special Functions.Paulo A. S. Veloso & Sheila R. M. Veloso - 2004 - Studia Logica 78 (3):459-477.
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.
Similar books and articles
A Natural Deduction System for Ctl.Christian Jacques Renterıa & Edward Hermann Haeusler - 2002 - Bulletin of the Section of Logic 31 (4):231-240.
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
Natural Deduction for First-Order Hybrid Logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.
Natural Deduction for Dual-Intuitionistic Logic.Luca Tranchini - 2012 - Studia Logica 100 (3):631-648.
Two Natural Deduction Systems for Hybrid Logic: A Comparison. [REVIEW]Torben Braüner - 2004 - Journal of Logic, Language and Information 13 (1):1-23.
The Geometry of Non-Distributive Logics.Greg Restall & Francesco Paoli - 2005 - Journal of Symbolic Logic 70 (4):1108 - 1126.
A Natural Deduction System for First Degree Entailment.Allard M. Tamminga & Koji Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (2):258-272.
On the Power of Ultrafilter Logic.Paulo As Veloso - 2000 - Bulletin of the Section of Logic 29 (3):89-97.
On Some Misconceptions About Ultrafilter Logic.Paulo As Veloso - 2000 - Bulletin of the Section of Logic 29 (1/2):1-12.
A Double Deduction System for Quantum Logic Based on Natural Deduction.Yannis Delmas-Rigoutsos - 1997 - Journal of Philosophical Logic 26 (1):57-67.
Sequent Calculus in Natural Deduction Style.Sara Negri & Jan von Plato - 2001 - Journal of Symbolic Logic 66 (4):1803-1816.
Some Remarks on Ultrafilter and Normality Logics.André Fuhrmann - 2003 - Studia Logica 73 (2):197 - 207.
Analytics
Added to PP index
2014-01-18
Total views
15 ( #694,439 of 2,498,293 )
Recent downloads (6 months)
2 ( #282,621 of 2,498,293 )
2014-01-18
Total views
15 ( #694,439 of 2,498,293 )
Recent downloads (6 months)
2 ( #282,621 of 2,498,293 )
How can I increase my downloads?
Downloads
