Results 141 to 145 of about 2,358 (145)
Some of the next articles are maybe not open access.

Craig interpolation for semilinear substructural logics

Mathematical Logic Quarterly, 2012
Enrico Marchioni, George Metcalfe
exaly  

Glivenko theorems and negative translations in substructural predicate logics

Archive for Mathematical Logic, 2012
Hadi Farahani, Hiroakira Ono
exaly  

Labelled theorem proving for substructural logics

Lecture Notes in Computer Science, 2005
exaly  

Home - About - Disclaimer - Privacy