Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
221	Towards decidable classes of logic programs with function symbols Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna DIMES, Università della CalabriaRende (CS), Italy {calautti,greco,cmolinaro,trub Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:12 Metalogic Functions and mappings Predicate logic Proof theory Function Μ operator Well-formed formula Answer set programming Decidability Logic Mathematics Mathematical logic
222	14th International Workshop on Termination (WSTCarsten Fuhs (Editor) WST 2014, 17–18 July 2014, Vienna, Austria Vienna Summer of Logic Preface Add to Reading List Source URL: www.easychair.org Language: English - Date: 2014-12-11 14:38:54 Metalogic Symbol Interpretation Structure Schedule Model theory Logic Mathematical logic
223	Modeling Web Services by Iterative Reformulation of Functional and Non-Functional Requirements Jyotishman Pathak, Samik Basu, and Vasant Honavar Department of Computer Science Iowa State University Ames, IA, U Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2006-10-01 15:34:09 Functions and mappings Deduction Entailment Logical consequence Metalogic Function Logic Mathematics Binary operations
224	Operational domain theory and topology of a sequential programming language Mart´ın Escard´o Ho Weng Kin Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2005-10-17 12:09:06 Model theory Metalogic Structure Continuous function Orbifold Sigma-algebra Mathematics Mathematical analysis Abstract algebra
225	Formal Analysis of Security Metrics with Defensive Actions Leanid Krautsevich, Fabio Martinelli, and Artsiom Yautsiukhin Istituto di Informatica e Telematica, Consiglio Nazionale delle Ricerche Via G. Moruzzi 1, Pisa 561 Add to Reading List Source URL: wwwold.iit.cnr.it Language: English - Date: 2014-09-19 11:36:58 Logical consequence Logical syntax Metalogic Metric Logic Deduction Entailment
226	A Logic-based Approach to Decision Making Magdalena Ivanovska∗ and Martin Giese∗ Abstract We propose a novel approach to the well-studied problem of making a finite, ordered sequence of decisions under uncertainty. M Add to Reading List Source URL: www.nik.no Language: English - Date: 2012-02-29 03:37:49 Boolean algebra Model theory Logical syntax Metalogic Function Interpretation Propositional formula Bayesian network Influence diagram Logic Mathematical logic Propositional calculus
227	Mechanizing Proof for the Z Toolkit R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain Street, Reading UK RG1 2HX Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:35:59 Propositional calculus Logical syntax Metalogic Predicate logic Principia Mathematica First-order logic Function Constructible universe Lambda calculus Logic Mathematics Mathematical logic
228	Combining generic judgments with recursive definitions Andrew Gacek Department of CS&E University of Minnesota Dale Miller Add to Reading List Source URL: www.dtc.umn.edu Language: English - Date: 2012-08-16 12:29:04 Model theory Proof theory Metalogic Automated theorem proving Deduction Admissible rule Entailment Symbol Sequent calculus Logic Mathematics Mathematical logic
229	An Easier Way to Calibrate1 May 16, 1995 revised December 7, 1996 Drew Fudenberg Add to Reading List Source URL: www.dklevine.com Language: English - Date: 1996-12-07 20:15:48 Logical consequence Metalogic Philosophical logic Logic Deduction Entailment
230	CHAPTER I An Introduction to Proof Theory Samuel R. Buss Departments of Mathematics and Computer Science, University of California, San Diego La Jolla, California[removed], USA Add to Reading List Source URL: math.ucsd.edu Language: English - Date: 2002-01-14 17:15:00 Propositional calculus Proof theory Model theory Metalogic First-order logic Substitution Deduction theorem Interpretation Frege system Logic Mathematical logic Mathematics

UPDATE