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