In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid

Tytuł:
In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid
Czasopismo:
Annals of Pure and Applied Logic
Rok:
2012

Strony:
875–887

Tom (seria wydawnicza):
163

Numer DOI:
10.1016/j.apal.2011.09.011

Web of science link:
http://apps.webofknowledge.com/full_record.do?product=WOS&search_mode=Refine&qid=3&SID=X17ChHhnpeE1mNoNeG8&page=1&doc=1

Mathscinet link:
http://www.ams.org/mathscinet/search/publdoc.html?pg1=IID&s1=781609&vfpref=html&r=1&mx-pid=2892695