Logic Without Contraction as Based on Inclusion and Unrestricted Abstraction

ISSN： 0039-3215

Source： Studia Logica, Vol.64, Iss.3, 2000-03, pp. : 365-403

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

Intuitionistic Propositional Logic without 'Contraction' but with 'Reductio'

By Méndez J.M. Salto F.

Studia Logica, Vol. 66, Iss. 3, 2000-12 ,pp. : 409-418

Springer Publishing Company

Access to resources Recommend Favorite

On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion

By Adillon R.J. Verdú V.

Studia Logica, Vol. 65, Iss. 1, 2000-06 ,pp. : 11-30

Springer Publishing Company

Access to resources Recommend Favorite

The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction

By van Alten C. Raftery J.

Studia Logica, Vol. 63, Iss. 2, 1999-09 ,pp. : 213-222

Springer Publishing Company

Access to resources Recommend Favorite

Logic Based Merging

By Konieczny Sébastien

Journal of Philosophical Logic, Vol. 40, Iss. 2, 2011-04 ,pp. : 239-270

Springer Publishing Company

Access to resources Recommend Favorite

The Logic of Knowledge Based Obligation

By Pacuit Eric

Synthese, Vol. 149, Iss. 2, 2006-03 ,pp. : 311-341

Springer Publishing Company

Access to resources Recommend Favorite