Sequent - PDFSEARCH.IO - Document Search Engine

Sequent
Results: 264

#	Item
241	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
242	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
243	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
244	GDP Festschrift ENTCS, to appear Event Domains, Stable Functions and Proof-Nets Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:36:57 Mathematics Curry–Howard correspondence Sequent calculus Cut-elimination theorem Proof net Linear logic Denotational semantics Model theory Net Proof theory Logic Mathematical logic
245	Deep Sequent Systems for Modal Logic ¨nnler Kai Bru Add to Reading List Source URL: www.iam.unibe.ch Language: English - Date: 2006-03-24 13:00:48 Mathematics Sequent calculus Sequent Symbol Soundness Kripke semantics Natural deduction Admissible rule Logic Proof theory Mathematical logic
246	May 15, 2007 — To be presented at HyLo’07 (Part of ESSLLI[removed]Deep Inference for Hybrid Logic Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2007-05-15 05:01:27 Philosophical logic Deduction Automated theorem proving Natural deduction Method of analytic tableaux Deduction theorem Kripke semantics Sequent calculus Modal logic Logic Mathematical logic Proof theory
247	MUltlog 1.0: Towards an Expert System for Many-valued Logics? ?? Vienna Group for Multiple-valued Logics??? Add to Reading List Source URL: www.logic.at Language: English - Date: 2001-07-11 11:50:57 Predicate logic Classical logic Propositional calculus Philosophical logic Many-valued logic Natural deduction First-order logic Modal logic Sequent calculus Logic Mathematical logic Proof theory
248	Calculi for the G¨odel Logic M. Ultlog July 11, 2001 Add to Reading List Source URL: www.logic.at Language: English - Date: 2001-07-11 08:10:51 Mathematics Deduction Natural deduction Valuation Sequent calculus Symbol Curry–Howard correspondence Entailment Logic Proof theory Mathematical logic
249	Click’n Prove Interactive Proofs Within Set Theory by J.-R. Abrial and D. Cansell Add to Reading List Source URL: web.ist.utl.pt Language: English - Date: 2007-10-15 04:40:08 Metalogic Sequent Proof procedure First-order logic Rule of inference Proof calculus Logic Proof theory Mathematical logic
250	Does the deduction theorem fail for modal logic? Raul Hakli Sara Negri Add to Reading List Source URL: www.helsinki.fi Language: English - Date: 2011-02-03 07:57:14 Deduction Model theory Philosophical logic Propositional calculus Deduction theorem Natural deduction Admissible rule Sequent calculus Rule of inference Logic Mathematical logic Proof theory