Sequent - PDFSEARCH.IO - Document Search Engine

Sequent
Results: 264

#	Item
141	The Undecidability of k-Provability Samuel R. Buss∗ Department of Mathematics University of California, San Diego April 3, 1989 Add to Reading List Source URL: www.math.ucsd.edu Language: English - Date: 2002-07-11 12:08:00 Automated theorem proving Mathematics Sequent calculus Unification Sequent First-order logic Curry–Howard correspondence Natural deduction Mathematical logic Proof theory Logic
142	Proof complexity of propositional default logic Add to Reading List Source URL: eprints.whiterose.ac.uk Language: English - Date: 2014-06-05 13:45:53 Proof theory Logic in computer science Automated theorem proving Propositional calculus Logical syntax Frege system Sequent Proof calculus Proof complexity Logic Mathematical logic Theoretical computer science
143	Chapter 3 Sequent Calculus In this chapter we develop the sequent calculus as a formal system for proof search in natural deduction. The sequent calculus was originally introduced by Gentzen [Gen35], primarily as a tech Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2004-01-22 08:01:14 Deduction Natural deduction Curry–Howard correspondence Sequent calculus Entailment Judgment Monotonicity of entailment Soundness Implicational propositional calculus Logic Proof theory Mathematical logic
144	FCS 2009 Workshop on Foundations of Computer Security July 10th, 2009 Los Angeles, California, USA Affiliated with LICS’09 Add to Reading List Source URL: www.loria.fr Language: English - Date: 2009-07-20 04:50:04 Proof theory Propositional calculus Philosophical logic Model theory Soundness Linear logic Sequent calculus Deductive reasoning Entailment Logic Mathematical logic Deduction
145	On the Relationship between Hypersequent Calculi and Labelled Sequent Calculi for Intermediate Logics with Geometric Kripke Semantics Add to Reading List Source URL: research-repository.st-andrews.ac.uk Language: English - Date: 2015-02-02 11:56:50 Mathematics Philosophical logic Modal logic Non-classical logic Sequent Kripke semantics Lambda calculus Natural deduction Logic Mathematical logic Proof theory
146	A Practical Course on KIV Gidon Ernst Wolfgang Reif Dominik Haneberg Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2015-02-09 05:01:55 Metalogic Natural deduction Sequent First-order logic Model theory Logic Mathematical logic Proof theory
147	David Faraci Sample Assignment Final Exam for Introduction to Logic 1. Let’s start with some basic questions about logical concepts, etc. [1 point each] Add to Reading List Source URL: personal.bgsu.edu Language: English - Date: 2011-09-26 16:47:07 Critical thinking Sequent Logic Proof theory Logical consequence Arguments
148	pluralism and proofs Greg Restall∗ Philosophy Department, The University of Melbourne [removed] August 2011 Add to Reading List Source URL: consequently.org Language: English Philosophical logic Mathematical constructivism Propositional calculus Proof theory Intuitionistic logic Paraconsistent logic Intuitionism Negation Sequent calculus Logic Mathematical logic Non-classical logic
149	T HE R EVIEW OF S YMBOLIC L OGIC, Page 1 of 25 THE PURE LOGIC OF GROUND KIT FINE Department of Philosophy, New York University Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2012-03-17 18:14:48 Non-classical logic Model theory Proof theory Veracity Modal logic Sequent Interpretation Truth Logic Philosophy Philosophical logic
150	normal proofs, cut free derivations and structural rules Greg Restall* School of Historical and Philosophical Studies, The University of Melbourne, Add to Reading List Source URL: consequently.org Language: English - Date: 2015-02-12 20:35:36 Mathematics Propositional calculus Deduction Natural deduction System L Modus ponens Cut-elimination theorem Sequent calculus Rule of inference Logic Mathematical logic Proof theory

UPDATE