Sequent - PDFSEARCH.IO - Document Search Engine

Sequent
Results: 264

#	Item
111	Sequent-Based Argumentation for Normative Reasoning Christian Straßer Ofer Arieli March 13, 2014 Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2014-03-13 06:52:59 Deduction Functions and mappings Symbol Entailment Substitution Function Linear temporal logic Orbifold Logic Mathematics Propositional calculus
112	Extending the proof methods and critics of a proof planner Daniel Raggi NI VER Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Automated theorem proving Mathematical logic Logical consequence Philosophical logic Mathematical proof Entailment Sequent calculus Conjecture Mathematical induction Logic Mathematics Proof theory
113	Constraining Credential Usage in Logic-Based Access Control Lujo Bauer Carnegie Mellon University Pittsburgh, PA, USA Email: Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Mathematical logic Cut-elimination theorem Sequent calculus Mathematical proof Sequent Logic programming Credential Entailment Natural deduction Logic Proof theory Mathematics
114	L INEAR L OGIC AND I MPERATIVE P ROGRAMMING L IMIN J IA A D ISSERTATION Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Mathematics Sequent Linear logic First-order logic Logic programming Formal proof Hoare logic Cut-elimination theorem Type safety Logic Mathematical logic Proof theory
115	Categorial and Type-Logical Grammars (LING419F) — Syllabus 1 Categorial and Type-Logical Grammars (LING419F) Add to Reading List Source URL: www.purelytheoretical.com Language: English - Date: 2013-09-04 17:27:57 Knowledge Proof theory Categorial grammar Grammar Academic dishonesty Syntax Sequent Natural deduction Syllabus Education Formal languages Linguistics
116	Lecture Notes for LING419F Categorial and Type-Logical Grammar Darryl McAdams [removed] October 14, 2013 Add to Reading List Source URL: www.purelytheoretical.com Language: English - Date: 2013-10-14 16:44:41 Propositional calculus Non-classical logic Semantics Natural deduction Intuitionistic logic Negation Tautology Atomic formula Sequent calculus Logic Mathematical logic Proof theory
117	Lecture Notes for LING419F Categorial and Type-Logical Grammar Darryl McAdams [removed] October 14, 2013 Add to Reading List Source URL: www.purelytheoretical.com Language: English - Date: 2013-10-14 16:44:58 Propositional calculus Non-classical logic Semantics Natural deduction Intuitionistic logic Negation Tautology Atomic formula Sequent calculus Logic Mathematical logic Proof theory
118	¯ µ-terms Explanation in Natural Language of λµ ˜ Claudio Sacerdoti Coen? ´ Project PCRI, CNRS, Ecole Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2005-12-12 05:17:05 Mathematical logic Lambda calculus Natural deduction Curry–Howard correspondence Cut-elimination theorem Sequent calculus Sequent Theorem Calculus Proof theory Logic Mathematics
119	ILC: A Foundation for Automated Reasoning About Pointer Programs Limin Jia and David Walker Princeton University, Princeton, NJ 08544, USA {ljia,dpw}@cs.princeton.edu Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Metalogic Propositional calculus Semantics Philosophical logic Entailment Linear logic Sequent calculus Interpretation Negation Logic Mathematical logic Proof theory
120	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Proof theory Mathematical constructivism Predicate logic Boolean algebra Propositional calculus First-order logic Intuitionistic logic Well-formed formula Sequent Logic Mathematical logic Mathematics

UPDATE