Results 211 to 215 of about 722,619 (215)
Some of the next articles are maybe not open access.
On the Complexity of the Disjunction Property in Intuitionistic and Modal Logics
ACM Transactions on Computational Logic, 2005Guido Fiorino +2 more
exaly
A Probabilistic Extension of Intuitionistic Logic
Mathematical Logic Quarterly, 2003Zoran Marković +2 more
exaly
Embedding Classical Logic in Intuitionistic Logic
Mathematical Logic Quarterly, 1973openaire +2 more sources