Deduction theorem - PDFSEARCH.IO - Document Search Engine

Deduction theorem
Results: 172

#	Item
1	Isabelle/HOL Integrated Theorem Proving Tjark Weber Cooperation of Deduction Tools Day Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2006-04-11 08:01:06 Mathematical logic Theoretical computer science Proof assistants Mathematics Logic in computer science Formal methods Type theory Automated theorem proving Isabelle Lambda calculus Higher-order logic HOL
2	Consequence relations and admissible rules Rosalie Iemhoff∗ Department of Philosophy Utrecht University, The Netherlands June 10, 2016 Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2016-06-10 10:25:19 Logic Mathematical logic Proof theory Admissible rule Natural deduction Sequent First-order logic Propositional calculus Substructural logic Rule of inference Intuitionistic logic Theorem
3	Sonic Partial Deduction Jonathan Martin and Michael Leuschel Declarative Systems and Software Engineering Group Technical Report DSSE-TR-99-3 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:04 Mathematics Logic Functions and mappings Mathematical logic Logic programming Automated theorem proving Append Functional programming Lisp Unfolding Substitution Atomic formula
4	From Deep Inference to Proof Nets via Cut Elimination Lutz Straßburger INRIA Saclay–ˆIle-de-France, France http://www.lix.polytechnique.fr/∼ lutz June 24, 2009 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-06-25 08:22:18 Logic Mathematical logic Proof theory Sequent Rule of inference Natural deduction Propositional calculus Deep inference Theorem Intuitionistic logic Formal proof Inference
5	A On the Power of Substitution in the Calculus of Structures Novak Novakovi´c, Inria Lutz Straßburger, Inria There are two contributions in this paper. First, we give a direct proof of the known fact that Frege system Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2015-04-07 12:31:04 Logic Mathematical logic Propositional calculus Proof theory Automated theorem proving Logical truth Boolean algebra Frege system Substitution Natural deduction Hilbert system Sequent
6	The Focused Calculus of Structures Kaustuv Chaudhuri, Nicolas Guenot, and Lutz Straßburger INRIA & LIX/École Polytechnique Route de Saclay, 91128 Palaiseau, France {kaustuv,nguenot,lutz}@lix.polytechnique.fr Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2011-06-22 07:54:11 Logic Proof theory Mathematical logic Sequent Linear logic Cut-elimination theorem Noncommutative logic Rule of inference Soundness Natural deduction CurryHoward correspondence
7	Journal of Automated Reasoning manuscript No. DOIs10817Interpolation Systems for Ground Proofs in Automated Deduction: a Survey Maria Paola Bonacina · Moa Johansson Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-03-16 05:12:39 Mathematical logic Logic Theoretical computer science Automated theorem proving Formal methods Logic in computer science Electronic design automation Craig interpolation Interpolation Satisfiability modulo theories Unit propagation Resolution
8	DERIVING SAFETY CASES FROM AUTOMATICALLY CONSTRUCTED PROOFS Nurlida Basir, Ewen Denney† and Bernd Fischer * ECS, University of Southampton, Southampton, SO17 1BJ, UK (nb206r, b.fischer)@ecs.soton.ac.uk † Add to Reading List Source URL: ti.arc.nasa.gov Language: English Proof theory Mathematical proof Theorem Natural deduction Automated reasoning Formal methods Formal proof Automated theorem proving Argument KeY Sequent First-order logic
9	Conjunctive Partial Deduction in Practice Jesper Jrgensen? Michael Leuschel?? Bern Martens??? K.U. Leuven, Department of Computer Science Celestijnenlaan 200A, B-3001 Heverlee, Belgium e-mail: fjesper,michael,berng@cs.k Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:03 Automated theorem proving Rules of inference Singularity theory Unfolding Prolog Conjunction Resolution Boolean algebra
10	doi:j.entcs Add to Reading List Source URL: ti.arc.nasa.gov Language: English Mathematical proofs Proof theory Methods of proof Metalogic Knowledge representation Tree Model theory Natural deduction Theorem