Entailment - PDFSEARCH.IO - Document Search Engine

Entailment
Results: 1036

#	Item
131	Compression of Propositional Resolution Proofs via Partial Regularization? Pascal Fontaine, Stephan Merz, and Bruno Woltzenlogel Paleo University of Nancy and INRIA, Nancy, France {Pascal.Fontaine,Stephan.Merz,Bruno.Wolt Add to Reading List Source URL: www.loria.fr Language: English - Date: 2011-07-11 06:39:50 Mathematical logic Resolution Unit propagation Entailment Logic Automated theorem proving Rules of inference
132	A Declarative View of Inheritance in Logic Programming M. Bugliesi Dipartimento di Matematica Pura ed Applicata Via Belzoni 7, Padova – ITALY Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:12:30 Deduction Philosophy of language Model theory Natural deduction Modal logic Sheaf Interpretation Entailment Formal semantics Logic Philosophical logic Semantics
133	Journal of Computer and System Sciences–737 Contents lists available at ScienceDirect Journal of Computer and System Sciences www.elsevier.com/locate/jcss Add to Reading List Source URL: math.mit.edu Language: English - Date: 2011-03-23 10:26:18 Applied mathematics Natural proof Pseudorandom generator Entailment Time complexity Circuit complexity Arithmetic function Holomorphic functional calculus Theoretical computer science Computational complexity theory Logic
134	From Primal Infon Logic with Individual Variables to Datalog Nikolaj Bjørner1 , Guido de Caso2 , and Yuri Gurevich1 1 2 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-03-26 16:39:48 Symbol Admissible rule Entailment Constructible universe Logic Deduction Propositional calculus
135	1 Securing Class Initialization in Java-like Languages Willard Rafnsson, Keiko Nakata, and Andrei Sabelfeld Abstract—Language-based information-flow security is concerned with specifying and enforcing security policie Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-08-22 04:05:38 C programming language Deduction Java programming language Initialization Final Objective-C Entailment Struct Data-flow analysis Software engineering Computer programming Logic
136	Table of Contents Foreword ..............................................................................................................................................1 1. Introduction.................................. Add to Reading List Source URL: agora.metaphysica.skaut.org Language: English - Date: 2002-11-18 13:27:44 Modal logic Philosophical logic Possibility Non-classical logic Empiricism Possible world Entailment A priori and a posteriori Intensional logic Logic Philosophy Mathematical logic
137	1 Polarised Intermediate Representation of Lambda Calculus with Sums Guillaume Munch-Maccagnoni Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-04-08 08:34:46 Natural deduction Lambda calculus Sequent calculus Admissible rule Calculus Sequent Entailment Judgment Curry–Howard correspondence Logic Mathematical logic Proof theory
138	Abstractions from Proofs∗ Thomas A. Henzinger Ranjit Jhala Rupak Majumdar Add to Reading List Source URL: www.kenmcmil.com Language: English - Date: 2006-06-02 17:23:14 Propositional calculus Model theory Predicate logic Formal languages First-order logic Function Interpretation Entailment Partition Logic Mathematics Mathematical logic
139	Discussion Papers Department of Economics University of Copenhagen No Add to Reading List Source URL: www.econ.ku.dk Language: English - Date: 2008-06-06 07:16:45 Econometrics Statistical theory Normal distribution Entailment Symbol Riemann hypothesis Logic Statistics Asymptotic theory
140	The Hamilton-Jacobi equation Jordan Bell Department of Mathematics, University of Toronto April 16, 2014 Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-04-16 14:24:34 Symplectic geometry Entailment Symbol Logic Partial differential equations Hamilton–Jacobi equation

UPDATE