Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic

First Author: Lellmann B
Attributed to:  Cool: Coalgebras, Ontologies and Logic funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-36039-8_14

Publication URI: http://dx.doi.org/10.1007/978-3-642-36039-8_14

Type: Book Chapter

Book Title: Logic and Its Applications - 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings (2013)

Page Reference: 148-160

ISBN: 978-3-642-36038-1

ISSN: 2193-9616