Studia Logica: An International Journal for Symbolic Logic, Vol. 100, No. 6, Recent Developments related to Residuated Lattices and Substructural Logics (December 2012), pp. 1291-1315 (25 pages) An ...
The perfect fit of syntactic derivability and logical consequence in first-order logic is one of the most celebrated facts of modern logic. In the present flurry of attention given to the semantics of ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback