Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic (bibtex)

by Cialdea, Marta

Reference:

Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic (Cialdea, Marta), In Information Processing Letters, volume 22, 1986.

Bibtex Entry:

@article{Cialdea198687,
	Author = {Cialdea, Marta},
	Date-Added = {2019-09-16 14:38:36 +0200},
	Date-Modified = {2019-09-16 14:38:36 +0200},
	Document_Type = {Article},
	Doi = {10.1016/0020-0190(86)90146-8},
	Journal = {Information Processing Letters},
	Number = {2},
	Pages = {87-90},
	Source = {Scopus},
	Title = {Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic},
	Url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-0022443174&doi=10.1016%2f0020-0190%2886%2990146-8&partnerID=40&md5=ec41c4f478ca049a20386af991d0e06a},
	Volume = {22},
	Year = {1986},
	Bdsk-Url-1 = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-0022443174&doi=10.1016%2f0020-0190%2886%2990146-8&partnerID=40&md5=ec41c4f478ca049a20386af991d0e06a},
	Bdsk-Url-2 = {https://doi.org/10.1016/0020-0190(86)90146-8}}