Bulletin of the Section of Logic 25 (2):95-102 (1996)
| 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: 71,316
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
Proof Methods for Modal and Intuitionistic Logics.Melvin Fitting - 1985 - Journal of Symbolic Logic 50 (3):855-856.
The Elimination Theorem When Modality is Present.Haskell B. Curry - 1952 - Journal of Symbolic Logic 17 (4):249-265.
A Cut-Free Gentzen-Type System for the Modal Logic S.Masahiko Sato - 1980 - Journal of Symbolic Logic 45 (1):67-84.
Strong Cut-Elimination for Constant Domain First-Order S5.Heinrich Wansing - 1995 - Logic Journal of the IGPL 3 (5):797-810.
Citations of this work BETA
Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.
Similar books and articles
A Cut-Free Simple Sequent Calculus for Modal Logic S5.Francesca Poggiolesi - 2008 - Review of Symbolic Logic 1 (1):3-15.
A Purely Syntactic and Cut-Free Sequent Calculus for the Modal Logic of Provability.Francesca Poggiolesi - 2009 - Review of Symbolic Logic 2 (4):593-611.
Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic.Roy Dyckhoff & Sara Negri - 2000 - Journal of Symbolic Logic 65 (4):1499-1518.
Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic.Roy Dyckhoff & Luis Pinto - 1998 - Studia Logica 60 (1):107-118.
Combining Derivations and Refutations for Cut-Free Completeness in Bi-Intuitionistic Logic.Linda Postniece - unknown
Generalised Sequent Calculus for Propositional Modal Logics.Andrzej Indrzejczak - 1997 - Logica Trianguli 1:15-31.
Distributive-Lattice Semantics of Sequent Calculi with Structural Rules.Alexej P. Pynko - 2009 - Logica Universalis 3 (1):59-94.
About Some Symmetries of Negation.Brigitte Hösli & Gerhard Jäger - 1994 - Journal of Symbolic Logic 59 (2):473-485.
Reasoning About Collectively Accepted Group Beliefs.Raul Hakli & Sara Negri - 2011 - Journal of Philosophical Logic 40 (4):531-555.
Analytics
Added to PP index
2014-01-21
Total views
18 ( #611,060 of 2,519,452 )
Recent downloads (6 months)
1 ( #407,153 of 2,519,452 )
2014-01-21
Total views
18 ( #611,060 of 2,519,452 )
Recent downloads (6 months)
1 ( #407,153 of 2,519,452 )
How can I increase my downloads?
Downloads
