Sequent - PDFSEARCH.IO - Document Search Engine

Sequent
Results: 264

#	Item
231	MUltseq: a Generic Prover for Sequents and Equations? Angel J. Gil1 and Gernot Salzer2 1 Universitat Pompeu Fabra, Barcelona, [removed] Add to Reading List Source URL: www.logic.at Language: English - Date: 2001-07-23 14:16:25 Sequent calculus Sequent Many-valued logic Łukasiewicz logic Truth table Natural deduction Admissible rule Logic Mathematical logic Proof theory
232	MUltseq: Sequents, Equations and Beyond Angel Gil Universitat Pompeu Fabra Add to Reading List Source URL: www.logic.at Language: English - Date: 2001-07-23 13:40:10 Mathematics Sequent calculus Sequent Cut-elimination theorem Admissible rule Natural deduction Mathematical logic Proof theory Logic
233	MUltseq: Sequents, Equations, and Beyond? Angel J. Gil1 and Gernot Salzer2 1 Universitat Pompeu Fabra, [removed] 2 Add to Reading List Source URL: www.logic.at Language: English - Date: 2001-07-23 13:39:33 Non-classical logic Logic in computer science Propositional calculus Sequent Intuitionistic logic Many-valued logic Admissible rule Natural deduction Mathematical logic Logic Proof theory
234	JET sequent remote handling procedures. Thereafter, all remaining tiles will be removed and stored. The empty vessel is then cleaned and surveyed, the diagnostic beam is put back in and Add to Reading List Source URL: www.ifa-mg.ro Language: English - Date: 2009-12-22 08:30:11 Physics Materials science Tokamaks Fusion power ITER EFDA Coating Sputter deposition Tungsten Chemistry Fusion reactors Nuclear physics
235	Mini-course on proof theory Pierre-Louis Curien (CNRS, University Paris 7, and INRIA) Cambridge, June 1, 3, and 4, 2010 Supported by a Leverhulme grant Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-06-08 06:42:34 Mathematics Natural deduction Curry–Howard correspondence Sequent calculus Linear logic Sequent Cut-elimination theorem Proof theory Logic Mathematical logic
236	A Brief History of Natural Deduction Add to Reading List Source URL: www.sfu.ca Language: English - Date: 2009-10-30 18:11:37 Propositional calculus Formal systems Boolean algebra Logical truth Natural deduction Rule of inference Sequent calculus Double negative elimination Sequent Logic Mathematical logic Proof theory
237	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
238	On Herbrand’s Theorem Samuel R. Buss University of California, San Diego Add to Reading List Source URL: math.ucsd.edu Language: English - Date: 2002-06-25 19:08:00 Model theory Predicate logic Metalogic Herbrandization First-order logic Sequent calculus Skolem normal form Well-formed formula Prenex normal form Logic Mathematical logic Proof theory
239	A Simpler Proof Theory for Nominal Logic James Cheney University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-02-14 05:42:09 Proof theory Model theory Admissible rule Modal logic Natural deduction Symbol Sequent calculus Parity of a permutation Interpretation Logic Mathematical logic Mathematics
240	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