Structural proof theory - PDFSEARCH.IO - Document Search Engine

Structural proof theory
Results: 38

#	Item
31	Description Logics in the Calculus of Structures Jean-David Roubach1,2 , Pascal Yim2 , and Joaquín Rodriguez1 1 INRETS – ESTAS Villeneuve d’Ascq, France Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Non-classical logic Philosophical logic Metalogic Calculus of structures Modal logic Deep inference Structural proof theory Sequent calculus Proof calculus Logic Mathematical logic Proof theory
32	Applications of inductive definitions and choice principles to program synthesis Ulrich Berger and Monika Seisenberger {u.berger,csmona}@swansea.ac.uk University of Wales Swansea Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2006-06-27 17:59:13 Structural induction Mathematical proof Mathematical induction Well-quasi-ordering Axiom of choice Recursion Intuitionistic type theory Well-founded relation Bar induction Mathematics Mathematical logic Logic
33	Purity through Unravelling Robert Hein and Charles Stewart Technische Universit¨ Add to Reading List Source URL: bitschnitzer.de Language: English - Date: 2006-02-22 15:53:09 Mathematics Kripke semantics Natural deduction Modal logic Propositional calculus Sequent calculus First-order logic Structural proof theory Proof calculus Logic Mathematical logic Proof theory
34	Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5 Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2007-05-11 02:54:57 Non-classical logic Substructural logic Inference Philosophical logic Structural proof theory Sequent calculus Deep inference Sequent Kripke semantics Logic Mathematical logic Proof theory
35	A Systematic Proof Theory for Several Modal Logics Charles Stewart and Phiniki Stouppa Add to Reading List Source URL: www.textproof.com Language: English - Date: 2008-12-23 04:40:00 Sequent calculus Proof calculus Propositional calculus Structural proof theory Sequent Cut-elimination theorem Hilbert system Modal logic Rule of inference Logic Mathematical logic Proof theory
36	A Deep Inference System for the Modal Logic S5 Phiniki Stouppa ∗ March 1, 2006 Add to Reading List Source URL: www.iam.unibe.ch Language: English - Date: 2006-03-01 08:48:04 Sequent calculus Structural proof theory Sequent Modal logic Rule of inference Cut-elimination theorem Deep inference Linear logic Formal proof Logic Proof theory Mathematical logic
37	Elimination with a Motive Conor McBride Department of Computer Science Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2010-11-07 05:35:59 Logic in computer science Theory of computation Deduction Natural deduction Proof theory Structural induction Function Fold Motive Mathematics Mathematical logic Logic
38	PDF Document Add to Reading List Source URL: crypto.cs.mcgill.ca Language: English - Date: 2006-12-19 17:14:50 Complexity classes Structural complexity theory Probabilistic complexity theory Mathematical optimization Arthur–Merlin protocol Interactive proof system NP IP Bounded-error probabilistic polynomial Theoretical computer science Computational complexity theory Applied mathematics