View in EDS PDF Full Text

ADC method of proof search for intuitionistic propositional natural deduction.

Saved in:
Bibliographic Details
Title: ADC method of proof search for intuitionistic propositional natural deduction.
Authors: MINTS, G.1, gmints@stanford.edu, STEINERT-THRELKELD, SH.1, shanest@stanford.edu
Source: Journal of Logic & Computation; Feb2016, Vol. 26 Issue 1, p395-408, 14p
Database: Applied Science & Technology Source
Description
ISSN:0955792X
DOI:10.1093/logcom/ext032