AG8 SUBATOMIC LOGIC Alessio Guglielmi (TU Dresdenupdated on

First Page		Document Content
Date: 2007-12-18 10:38:04 Non-classical logic Boolean algebra Propositional calculus Substructural logic Linear logic Structural rule Modal logic Cut-elimination theorem Negation Logic Mathematical logic Proof theory		AG8 SUBATOMIC LOGIC Alessio Guglielmi (TU Dresdenupdated on Add to Reading List Source URL: cs.bath.ac.uk Download Document from Source Website File Size: 41,37 KB Share Document on Facebook

	Rule formats for bounded nondeterminism in structural operational semantics Luca Aceto Álvaro García-Pérez DocID: 1tJHc - View Document
	Florida Atlantic University 2011 BIENNIAL NOTICE OF RULE REPORTING DATE: December 1, 2011 Section), F.S. requires that Universities of the State University System publish a report of the Biennial review of all DocID: 1p43x - View Document
	PACIFIC TRADE AND DEVELOPMENT WORKING PAPER SERIES Paper No. YF37-05 A structural investigation of the Chinese economy with a hybrid monetary policy rule DocID: 1leK6 - View Document
	Rule formats for bounded nondeterminism in structural operational semantics? ´ Luca Aceto, Alvaro Garc´ıa-P´erez, and Anna Ing´olfsd´ottir ICE-TCS, School of Computer Science, Reykjav´ık University, DocID: 1led9 - View Document
	An Abstract Completion Procedure for Cut Elimination in Deduction Modulo Guillaume Burel École Normale Supérieure de Lyon & LORIA∗ The complementarity and interaction between computation DocID: 1g21z - View Document