Results 121 to 130 of about 137 (130)
Some of the next articles are maybe not open access.

Substructural Logics

2000
Dov M. Gabbay, Nicola Olivetti
openaire   +1 more source

The finite model property for semilinear substructural logics

Mathematical Logic Quarterly, 2013
San-Min Wang
exaly  

Glivenko theorems and negative translations in substructural predicate logics

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

Craig interpolation for semilinear substructural logics

Mathematical Logic Quarterly, 2012
George Metcalfe, Enrico Marchioni
exaly  

Substructural Logics and Residuated Lattices — an Introduction

Trends in Logic, 2003
Hiroakira Ono, Ono Hiroakira
exaly  

Labelled theorem proving for substructural logics

Lecture Notes in Computer Science, 2005
exaly  

Home - About - Disclaimer - Privacy