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

Author： Schroeder-Heister Peter  

Publisher： Springer Publishing Company

ISSN： 0022-3611

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

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

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

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

Hume's vitalism and its implications

By Cunningham Andrew  

British Journal for the History of Philosophy, Vol. 15, Iss. 1, 2007-02 ,pp. : 59-73

Routledge Ltd

Access to resources Recommend Favorite

The Implications of Interactions for Science and Philosophy

By Gershenson Carlos  

Foundations of Science, Vol. 18, Iss. 4, 2013-11 ,pp. : 781-790

Springer Publishing Company

Access to resources Recommend Favorite

Naïve Comprehension and Contracting Implications

By Rogerson S.   Butchart S.  

Studia Logica, Vol. 71, Iss. 1, 2002-06 ,pp. : 119-132

Springer Publishing Company

Access to resources Recommend Favorite