Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
231	The Default OLP Configuration File open-logic-config.sty OpenLogic Project[removed]02780ba Description Add to Reading List Source URL: people.ucalgary.ca Language: English - Date: 2015-03-30 12:13:09 Predicate logic Logical syntax Metalogic Well-formed formula Proposition Function Non-logical symbol Symbol Interpretation Logic Mathematical logic Formal languages
232	ACRS_main-revised-april2014.dvi Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2014-06-16 09:06:25 Logical consequence Logical syntax Metalogic Ordinal number Limit set Complementation of Büchi automaton Logic Deduction Entailment
233	αleanTAP : A Declarative Theorem Prover for First-Order Classical Logic Joseph P. Near?? , William E. Byrd, and Daniel P. Friedman Indiana University, Bloomington, IN 47405 {jnear,webyrd,dfried}@cs.indiana.edu Add to Reading List Source URL: webyrd.net Language: English - Date: 2013-12-02 09:16:06 Automated theorem proving Metalogic Formal methods First-order logic IP Well-formed formula Modal logic Theorem prover Propositional calculus Logic Mathematical logic Model theory
234	Preferential Semantics using Non-smooth Preference Relations∗ XXX January 10, 2013 Abstract Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-01-11 03:16:39 Algebraic topology Deduction Entailment Logical consequence Metalogic Transitive set Sheaf Constructible universe Orbifold Logic Abstract algebra Mathematics
235	A Core Calculus of Dependency Mart´ın Abadi Systems Research Center Compaq [removed] Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2003-11-05 23:04:29 Models of computation Logic in computer science Deduction Symbol Entailment Denotational semantics Lambda calculus Model theory Dependence analysis Logic Theoretical computer science Metalogic
236	@TechReport{Stansifer:1884:PAIA, author="Ryan Stansifer", title= "Presburger’s Article on Integer Airthmetic: Remarks and Translation", number="TR84-639", institution="Cornell University, Computer Science Department", Add to Reading List Source URL: cs.fit.edu Language: English - Date: 2007-01-22 14:30:32 Model theory Proof theory Metalogic Logic in computer science Computability theory Presburger arithmetic Quantifier elimination Decidability Jan Łukasiewicz Mathematical logic Logic Mathematics
237	Partitioning 0-CFA for the GPU Thomas Gilray, James King, Matthew Might University of Utah {tgilray, jsking2, might}@cs.utah.edu Abstract. We generalize EigenCFA, a linear formulation of 0-CFA, to Add to Reading List Source URL: matt.might.net Language: English - Date: 2015-01-20 15:49:39 Mathematics Dual Logic Metalogic Model theory Structure
238	Adaptive Logics: a Parametric Approach Frederik Van De Putte & Christian Straßer Centre for Logic and Philosophy of Science Ghent University ,@ugent.be Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2014-06-16 09:05:31 Deduction Connection Entailment Logical consequence Metalogic Valuation Symbol Constructible universe Ordinal number Logic Abstract algebra Mathematics
239	An Approach towards the Study of Symmetric Queries Marc Gyssens Jan Paredaens Dirk Van Gucht Add to Reading List Source URL: www.vldb.org Language: English - Date: 2013-08-08 12:36:55 Logical syntax Metalogic Philosophical logic Propositional calculus FO Symmetric matrix Logic Deduction Entailment
240	Radically Incomplete Reasoning about Containers: A First-Order Theory Ernest Davis September 28, 2013 This paper is a supplement to the paper, “Reasoning about Containers and Manipulation using Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2013-09-28 11:14:55 Model theory Predicate logic Metalogic S Set theory Z notation Functional predicate First-order logic Function Mathematical logic Mathematics Logic

UPDATE