Investigations into a left-structural right-substructural sequent calculus

ISSN： 0925-8531

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

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

Implications-as-Rules vs. Implications-as-Links: An Alternative Implication-Left Schema for the Sequent Calculus

By Schroeder-Heister Peter

Journal of Philosophical Logic, Vol. 40, Iss. 1, 2011-02 ,pp. : 95-101

Springer Publishing Company

Access to resources Recommend Favorite

Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic

By Dyckhoff R. Pinto L.

Studia Logica, Vol. 60, Iss. 1, 1998-01 ,pp. : 107-118

Springer Publishing Company

Access to resources Recommend Favorite

Marginalia on Sequent Calculi

By Troelstra A.S.

Studia Logica, Vol. 62, Iss. 2, 1999-03 ,pp. : 291-303

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

The democratic ideology of right–left and public reason in relation to Rawls's political liberalism

By DYRBERG TORBEN BECH

Critical Review of International Social and Political Philosophy, Vol. 8, Iss. 2, 2005-06 ,pp. : 161-176

Routledge Ltd

Access to resources Recommend Favorite