ADC Method of Proof Search in Intuitionistic Propositional Natural Deduction. Mints, G. & Steinert-Threlkeld, S. Journal of Logic and Computation, 26(1):395-408, 2016.
Paper bibtex @article{
title = {ADC Method of Proof Search in Intuitionistic Propositional Natural Deduction},
type = {article},
year = {2016},
identifiers = {[object Object]},
keywords = {intuitionistic logic,natural deduction,polynomial decidability},
pages = {395-408},
volume = {26},
id = {cd6f52a0-af73-3276-942a-a04ada18aae8},
created = {2016-02-03T21:38:00.000Z},
file_attached = {true},
profile_id = {60b62677-65fc-3504-9e8d-9e974efe1a93},
last_modified = {2017-03-13T13:51:10.045Z},
read = {false},
starred = {false},
authored = {true},
confirmed = {true},
hidden = {false},
citation_key = {Mints2016},
folder_uuids = {6333e4df-3704-4e60-bf8d-14b9f253d13c},
private_publication = {false},
bibtype = {article},
author = {Mints, Grigori and Steinert-Threlkeld, Shane},
journal = {Journal of Logic and Computation},
number = {1}
}
Downloads: 0
{"_id":"MsTmyFgG3SM5qXHsZ","bibbaseid":"mints-steinertthrelkeld-adcmethodofproofsearchinintuitionisticpropositionalnaturaldeduction-2016","authorIDs":["5d9b6888cdd2a9db010001fc"],"author_short":["Mints, G.","Steinert-Threlkeld, S."],"bibdata":{"title":"ADC Method of Proof Search in Intuitionistic Propositional Natural Deduction","type":"article","year":"2016","identifiers":"[object Object]","keywords":"intuitionistic logic,natural deduction,polynomial decidability","pages":"395-408","volume":"26","id":"cd6f52a0-af73-3276-942a-a04ada18aae8","created":"2016-02-03T21:38:00.000Z","file_attached":"true","profile_id":"60b62677-65fc-3504-9e8d-9e974efe1a93","last_modified":"2017-03-13T13:51:10.045Z","read":false,"starred":false,"authored":"true","confirmed":"true","hidden":false,"citation_key":"Mints2016","folder_uuids":"6333e4df-3704-4e60-bf8d-14b9f253d13c","private_publication":false,"bibtype":"article","author":"Mints, Grigori and Steinert-Threlkeld, Shane","journal":"Journal of Logic and Computation","number":"1","bibtex":"@article{\n title = {ADC Method of Proof Search in Intuitionistic Propositional Natural Deduction},\n type = {article},\n year = {2016},\n identifiers = {[object Object]},\n keywords = {intuitionistic logic,natural deduction,polynomial decidability},\n pages = {395-408},\n volume = {26},\n id = {cd6f52a0-af73-3276-942a-a04ada18aae8},\n created = {2016-02-03T21:38:00.000Z},\n file_attached = {true},\n profile_id = {60b62677-65fc-3504-9e8d-9e974efe1a93},\n last_modified = {2017-03-13T13:51:10.045Z},\n read = {false},\n starred = {false},\n authored = {true},\n confirmed = {true},\n hidden = {false},\n citation_key = {Mints2016},\n folder_uuids = {6333e4df-3704-4e60-bf8d-14b9f253d13c},\n private_publication = {false},\n bibtype = {article},\n author = {Mints, Grigori and Steinert-Threlkeld, Shane},\n journal = {Journal of Logic and Computation},\n number = {1}\n}","author_short":["Mints, G.","Steinert-Threlkeld, S."],"urls":{"Paper":"https://bibbase.org/service/mendeley/60b62677-65fc-3504-9e8d-9e974efe1a93/file/12143095-46e5-8a03-5fe1-df4077fae6b9/2016-ADC_Method_of_Proof_Search_in_Intuitionistic_Propositional_Natural_Deduction.pdf.pdf"},"bibbaseid":"mints-steinertthrelkeld-adcmethodofproofsearchinintuitionisticpropositionalnaturaldeduction-2016","role":"author","keyword":["intuitionistic logic","natural deduction","polynomial decidability"],"downloads":0,"html":""},"bibtype":"article","creationDate":"2019-10-07T16:32:08.984Z","downloads":0,"keywords":["intuitionistic logic","natural deduction","polynomial decidability"],"search_terms":["adc","method","proof","search","intuitionistic","propositional","natural","deduction","mints","steinert-threlkeld"],"title":"ADC Method of Proof Search in Intuitionistic Propositional Natural Deduction","year":2016}