Sequent - PDFSEARCH.IO - Document Search Engine

Sequent
Results: 264

#	Item
221	A First Order System with Finite Choice of Premises Kai Br¨ unnler [removed] Add to Reading List Source URL: www.iam.unibe.ch Language: English - Date: 2003-11-28 09:54:28 Rule of inference Sequent calculus Cut-elimination theorem Deep inference First-order logic Sequent Negation Atomic formula Inference Logic Mathematical logic Proof theory
222	A Tutorial on Proof Theoretic Foundations of Logic Programming Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:39 Proof theory Propositional calculus Non-classical logic Deduction Automated theorem proving Sequent calculus Natural deduction Admissible rule Intuitionistic logic Logic Mathematical logic Mathematics
223	THE COMMUTATIVE/NONCOMMUTATIVE LINEAR LOGIC BV ALESSIO GUGLIELMI A BSTRACT . This brief survey contains an informal presentation of the commutative/noncommutative linear logic BV in terms of a naif space-temporal model. Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2014-05-08 11:14:10 Mathematics Calculus of structures Deep inference Linear logic Cut-elimination theorem Proof calculus Analytic proof Sequent calculus Propositional calculus Logic Mathematical logic Proof theory
224	ON THE PROOF COMPLEXITY OF DEEP INFERENCE PAOLA BRUSCOLI AND ALESSIO GUGLIELMI ABSTRACT. We obtain two results about the proof complexity of deep inference: 1) deep-inference proof systems are as powerful as Frege ones, Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2009-04-19 15:07:07 Mathematics Propositional calculus Automated theorem proving Logic in computer science Frege system Cut-elimination theorem Analytic proof Sequent calculus Substitution Logic Mathematical logic Proof theory
225	ON ANALYTIC INFERENCE RULES IN THE CALCULUS OF STRUCTURES PAOLA BRUSCOLI AND ALESSIO GUGLIELMI In this note, we discuss the notion of analytic inference rule for propositional logics in the calculus of structures (CoS) [ Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2009-11-25 01:04:57 Propositional calculus Inference Logic in computer science Logical consequence Deep inference Rule of inference Sequent calculus Sequent Calculus of structures Logic Mathematical logic Proof theory
226	A Non-commutative Extension of MELL Alessio Guglielmi and Lutz Straßburger Technische Universit¨at Dresden Fakult¨ at Informatik[removed]Dresden - Germany [removed] and Lutz.Strassburger@Inf. Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2005-12-02 04:44:23 Propositional calculus Substructural logic Logical truth Automated theorem proving Natural deduction Noncommutative logic Cut-elimination theorem Sequent calculus Sequent Logic Mathematical logic Proof theory
227	The IMPS User’s Manual First Edition, Version 2 William M. Farmer Joshua D. Guttman F. Javier Thayer The MITRE Corporation Add to Reading List Source URL: imps.mcmaster.ca Language: English - Date: 2012-03-27 15:38:49 Proof theory Logical syntax Logical consequence Metalogic Lambda calculus Sequent Theorem Model theory Proof calculus Logic Mathematics Science
228	arXiv:0908.1390v3 [cs.LO] 23 Sep 2010 Add to Reading List Source URL: arxiv.org Language: English - Date: 2010-09-23 22:29:06 Metalogic Formal languages Semantics Philosophical logic Logical syntax Entailment Interpretation Sequent calculus Lambda calculus Logic Mathematics Mathematical logic
229	Noname manuscript No. (will be inserted by the editor) A two-level logic approach to reasoning about computations Andrew Gacek · Dale Miller · Gopalan Nadathur Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-02-25 14:38:54 Model theory Proof theory Automated theorem proving Formal languages Propositional calculus Interpretation Sequent calculus Symbol Substitution Logic Mathematical logic Mathematics
230	A Proof Theory for Generic Judgments Dale Miller ´ INRIA-Futurs & Ecole polytechnique and Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2004-12-10 01:52:56 Model theory Proof theory Deduction Admissible rule Modal logic Natural deduction Symbol Sequent calculus Parity of a permutation Logic Mathematical logic Mathematics