Sequent - PDFSEARCH.IO - Document Search Engine

Sequent
Results: 264

#	Item
21	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
22	Eskolemization in intuitionistic logic Matthias Baaz∗ Inst. for Discr. Math. and Geom. Technical University Vienna Wiedner HauptstrasseVienna, Austria Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2009-04-03 05:11:01 Logic Mathematical logic Abstraction Model theory Proof theory Predicate logic Philosophical logic Non-classical logic Sequent First-order logic Quantifier Skolem normal form
23	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
24	A Tactic Language for Hiproofs David Aspinall1 , Ewen Denney2 , and Christoph L¨ uth3 1 3 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Logic Mathematical logic Proof theory Mathematics Logic in computer science Deductive reasoning Natural deduction Sequent Denotational semantics Propositional calculus Sheaf
25	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
26	To appear in: Jäger, Christoph; Winfried Löffler (edsEpistemology: Contexts, Values, Disagreement. Proceedings of the 34th International Wittgenstein Symposium. Frankfurt a.M.: Ontos. Rival Logics, Disagreemen Add to Reading List Source URL: www.georgbrun.ch Language: English - Date: 2014-10-16 03:42:22 Philosophical logic Modal logic Logic Paraconsistent logic Philosophy of logic Material conditional Meaning First-order logic Intuitionistic logic Truth Sequent Axiom
27	Focused and Synthetic Nested Sequents Kaustuv Chaudhuri, Sonia Marin, and Lutz Straßburger ´ Inria & LIX/Ecole polytechnique, France {kaustuv.chaudhuri,sonia.marin,lutz.strassburger}@inria.fr Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2016-01-11 07:50:10 Proof theory Non-classical logic Model theory Philosophical logic Deductive reasoning Sequent Cut-elimination theorem Soundness Linear logic Propositional calculus First-order logic Rule of inference
28	Dynamic Trace Logic: Definition and Proofs? Bernhard Beckert and Daniel Bruns?? Karlsruhe Institute of Technology, Department of Informatics Abstract. Dynamic logic is an established instrument for program verification a Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2014-03-13 08:30:05 Automated theorem proving Proof theory Symbol Sequent Substitution First-order logic Hoare logic Method of analytic tableaux Polar coordinate system
29	EMPLOYMENT APPLICATION Sequent, Inc. is an EQUAL OPPORTUNITY EMPLOYER. Qualified applicants receive consideration for employment without regard to their race, religion, color, ancestry, age, sex, or disability. To be con Add to Reading List Source URL: 7c048cd8ca1a86ea46e9-d673f8d132b5f7cf54b95fdc52665cf5.r81.cf2.rackcdn.com Language: English - Date: 2013-03-06 13:16:37 Credit Personal finance United States federal banking legislation Fair Credit Reporting Act Credit bureau Credit history Background check Credit score Identity theft Consumer protection Tenant screening Fair Debt Collection Practices Act
30	On interpolation in existence logics Matthias Baaz and Rosalie Iemhoff!! Technical University Vienna, Wiedner Hauptstrasse 8-10, A-1040 Vienna, Austria , , http://www.logic.at/people/baaz, ht Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:17:45 Proof theory Model theory Non-classical logic Predicate logic Philosophical logic Natural deduction First-order logic Sequent Intuitionistic logic Kripke semantics Interpretation Mathematical logic