Intuitionistic vs. Classical Tautologies, Quantitative Comparison

Tytuł:
Intuitionistic vs. Classical Tautologies, Quantitative Comparison
Czasopismo:
Rok:
2008

Opis:
We consider propositional formulas built on implication. The size of a formula is the number of occurrences of variables in it. We assume that two formulas which differ only in the naming of variables are identical. For every n ∈ N, there is a finite number of different formulas of size n. For every n we consider the proportion between the number of intuitionistic tautologies of size n compared with the number of classical tautologies of size n. We prove that the limit of that fraction is

Strony:
100-109

Tom (seria wydawnicza):
4941

Link:
http://tcs.uj.edu.pl/~zaionc/papers_ps/kuba_antoine_marek.pdf

Web of science link:
http://apps.webofknowledge.com/full_record.do?product=WOS&search_mode=OneClickSearch&qid=4&SID=X17ChHhnpeE1mNoNeG8&page=2&doc=11

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