Back to Search
Start Over
Brodsky’s coding method for propositional logic
- Source :
- Lietuvos Matematikos Rinkinys, Vol 58, Iss A (2017)
- Publication Year :
- 2017
- Publisher :
- Vilnius University Press, 2017.
-
Abstract
- Brodsky’s coding method for propositional logic is considered in the paper. Based on the sequent calculus, the method allows us to determine whether an arbitrary sequent is derivable in the calculus without constructing proof-search trees. The coding method, presented in the paper, can be used as a decision procedure for propositional logic.
- Subjects :
- propositional logic
sequent calculus
Brodsky’s coding method
Mathematics
QA1-939
Subjects
Details
- Language :
- English, Lithuanian
- ISSN :
- 01322818 and 2335898X
- Volume :
- 58
- Issue :
- A
- Database :
- Directory of Open Access Journals
- Journal :
- Lietuvos Matematikos Rinkinys
- Publication Type :
- Academic Journal
- Accession number :
- edsdoj.7bb0cdb12e4549d2bd08c9cddcae7652
- Document Type :
- article
- Full Text :
- https://doi.org/10.15388/LMR.A.2017.01