Grafting Modalities onto Substructural Implication Systems

Author： D'agostino M.   Gabbay D.M.   Russo A.  

Publisher： Springer Publishing Company

ISSN： 0039-3215

Source： Studia Logica, Vol.59, Iss.1, 1997-07, pp. : 65-102

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Priorean Strict Implication, Q and Related Systems

By Correia F.  

Studia Logica, Vol. 69, Iss. 3, 2001-12 ,pp. : 411-427

Springer Publishing Company

Access to resources Recommend Favorite

Conditional Excluded Middle in Systems of Consequential Implication

By Pizzi C.   Williamson T.  

Journal of Philosophical Logic, Vol. 34, Iss. 4, 2005-08 ,pp. : 333-362

Springer Publishing Company

Access to resources Recommend Favorite

Coherence in Substructural Categories

By Petrić Z.  

Studia Logica, Vol. 70, Iss. 2, 2002-03 ,pp. : 271-296

Springer Publishing Company

Access to resources Recommend Favorite

Investigations into a left-structural right-substructural sequent calculus

By Humberstone Lloyd  

Journal of Logic, Language and Information, Vol. 16, Iss. 2, 2007-04 ,pp. : 141-171

Springer Publishing Company

Access to resources Recommend Favorite

Normal Modal Substructural Logics with Strong Negation

By Kamide Norihiro  

Journal of Philosophical Logic, Vol. 32, Iss. 6, 2003-12 ,pp. : 589-612

Springer Publishing Company

Access to resources Recommend Favorite