Results 191 to 194 of about 884 (194)
Some of the next articles are maybe not open access.

Glivenko theorems and negative translations in substructural predicate logics

Archive for Mathematical Logic, 2012
Hadi Farahani   +2 more
exaly  

Labelled theorem proving for substructural logics

Lecture Notes in Computer Science, 2005
exaly  

Home - About - Disclaimer - Privacy