Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5 - Structural proof theory - Document - PDFSEARCH.IO

First Page	Meta Content
	Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5 Add to Reading List Document Date: 2007-05-11 02:54:57 Open Document File Size: 299,80 KB Share Result on Facebook Company Alwen Tiu Computer Sciences Laboratory / / Country Australia / / / Event Reorganization / / Facility Alwen Tiu Computer Sciences Laboratory The Australian National University / / IndustryTerm logical systems / classical systems / backward proof search / proof search / / OperatingSystem Sequent / / Organization Australian Government / ICT Centre of Excellence / Australian Research Council / Australian National University / / Person Dawson / Rajeev Gor / / / ProvinceOrState Mississippi / / Technology SMS / Information Technology / / SocialTag Non-classical logic Substructural logic Inference Philosophical logic Structural proof theory Sequent calculus Deep inference Sequent Kripke semantics Logic

Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5Add to Reading List