A Deep Inference System for the Modal Logic S5 Phiniki Stouppa ∗ March 1, 2006 - Structural proof theory - Document - PDFSEARCH.IO

First Page	Meta Content
	A Deep Inference System for the Modal Logic S5 Phiniki Stouppa ∗ March 1, 2006 Add to Reading List Document Date: 2006-03-01 08:48:04 Open Document File Size: 192,30 KB Share Result on Facebook City Dresden / / Currency pence / / Facility International Centre / University of Bern / / IndustryTerm proof search procedures / topmost and lowest rule applications / deeper applications / cut-free systems / up-rule applications / hypersequent systems / modus ponens applications / pure systems / sequent systems / rule applications / modal systems / partial solution / search procedures / cut-admissible systems / / Organization International Centre for Computational Logic / Institut f¨ / University of Bern / / SocialTag Sequent calculus Structural proof theory Sequent Modal logic Rule of inference Cut-elimination theorem Deep inference Linear logic Formal proof Logic

A Deep Inference System for the Modal Logic S5 Phiniki Stouppa ∗ March 1, 2006Add to Reading List