Back to Search
Start Over
Specialization of antecedent negation loop-rule for a fragment of propositional intuitionistic logic sequent calculus
- Source :
- Lietuvos Matematikos Rinkinys, Vol 50, Iss proc. LMS (2009)
- Publication Year :
- 2009
- Publisher :
- Vilnius University Press, 2009.
-
Abstract
- The paper deals with specialization of the antecedent negation loop-rule for the negative implication free fragment of the propositional intuitionistic logic.
- Subjects :
- sequent calculus
loop-rule specialization
Mathematics
QA1-939
Subjects
Details
- Language :
- English, Lithuanian
- ISSN :
- 01322818 and 2335898X
- Volume :
- 50
- Issue :
- proc. LMS
- Database :
- Directory of Open Access Journals
- Journal :
- Lietuvos Matematikos Rinkinys
- Publication Type :
- Academic Journal
- Accession number :
- edsdoj.2cbd57421894caab9d18ad280598c74
- Document Type :
- article
- Full Text :
- https://doi.org/10.15388/LMR.2009.42