Logical Methods in Computer Science Vol. 11(3:7)2015, pp. 1–33 www.lmcs-online.org Submitted May 17, 2014 Published Sep. 3, 2015

First Page		Document Content
Date: 2016-02-19 10:54:23 Logic Mathematical logic Proof theory Abstraction Non-classical logic Logic in computer science Philosophical logic Model theory Sequent CurryHoward correspondence Intuitionistic logic Cut-elimination theorem		Logical Methods in Computer Science Vol. 11(3:7)2015, pp. 1–33 www.lmcs-online.org Submitted May 17, 2014 Published Sep. 3, 2015 Add to Reading List Source URL: www.lix.polytechnique.fr Download Document from Source Website File Size: 473,68 KB Share Document on Facebook

	Some Notes on Intuitionistic Logic and Dialogue Semantics by Thomas Piecha University of Belgrade DocID: 1uyIP - View Document
	Motivation Non-classical logics – such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, deontic logics, fuzzy logic, paraconsistent logic, rel DocID: 1tY4T - View Document
	Delineating the polynomial hierarchy in a fragment of intuitionistic logic via over -focussing Anupam Das ´ Ecole Normale Sup´erieure de Lyon, France DocID: 1tOf5 - View Document
	A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic∗ Ki Yung Ahn1 , Ross Horne2 , and Alwen Tiu3 1 School of Computer Science and Engineering, Nanyang Technological DocID: 1tHxL - View Document
	Contraction-Free Sequent Calculi for Intuitionistic Logic Author(s): Roy Dyckhoff Source: The Journal of Symbolic Logic, Vol. 57, No. 3, (Sep., 1992), ppPublished by: Association for Symbolic Logic Stable URL: DocID: 1tGsw - View Document