Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
31	G¨odel’s functional interpretation and its use in current mathematics Ulrich Kohlenbach Fachbereich Mathematik Technische Universit¨ at Darmstadt Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2009-02-16 11:06:50 Proof theory Constructivism Intuitionism Metalogic Predicate logic Primitive recursive functional Realizability Substitution First-order logic Interpretation Propositional calculus Quantifier
32	Metalogic Part II G¨ odel’s Remarkable Theorem Presenter: Errol Martin Metalogic Add to Reading List Source URL: ssll.rsise.anu.edu.au Language: English - Date: 2009-01-19 22:49:12
33	Exact Sampling with Integer Linear Programs and Random Perturbations Carolyn Kim Ashish Sabharwal Stefano Ermon Add to Reading List Source URL: ai2-website.s3.amazonaws.com Language: English - Date: 2016-05-10 13:04:43 Mathematics Logic Abstraction Metalogic Model theory Structure Pattern language Indexed grammar
34	Prof. Dr. Ulrich Kohlenbach Curriculum Vitae Ulrich Wilhelm Kohlenbach CURRENT AFFILIATION: Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2016-05-30 12:23:35 Formal sciences Metalogic Proof theory Philosophers of mathematics Mathematical logic Proof mining Logic Foundations of mathematics Workshop on Logic Language Information and Computation Mathematics Type theory Model theory
35	Journal of Artificial Intelligence Research532 Submitted 11/11; publishedRiffled Independence for Efficient Inference with Partial Rankings Add to Reading List Source URL: select.cs.cmu.edu Language: English - Date: 2012-07-27 23:24:47 Metalogic Model theory Probability theory Mathematics Logic Measure theory Analysis Probability distributions Sigma-algebra
36	Learning commutativity specifications a ct * Consi se Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2015-05-29 09:22:24 Logic Model theory Mathematical logic Metalogic First-order logic Constructible universe Type NIP Structure Confidence interval Well-formed formula Linear temporal logic
37	On strong standard completeness of MTLQ ∗ expansions Amanda Vidal1 , Lluis Godo1 , and Francesc Esteva1 Artificial Intelligence Research Institute (IIIA - CSIC), Spain, [amanda][godo][esteva]@iiia.csic.es Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-04 03:55:14 Fuzzy logic Mathematical logic Model theory Metalogic Proof theory Monoidal t-norm logic BL ukasiewicz logic First-order logic Completeness Axiom Metamathematics
38	Combining data and mathematical models of language change Morgan Sonderegger University of Chicago Chicago, IL, USA. Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-07-05 10:42:37 Metalogic Model theory Stress Dynamical system
39	REPORTS IN INFORMATICS ISSN Add to Reading List Source URL: www.ii.uib.no Language: English - Date: 2005-09-22 07:33:29 Logic Mathematics Abstraction Model theory Formal languages Metalogic Mathematical logic Interpretation Compactness theorem Well-formed formula Constructible universe IP
40	Automatic Modular Abstractions for Template Numerical Constraints∗ David Monniaux† May 26, 2010 Abstract Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2010-05-26 10:48:57 Logic Mathematics Mathematical logic Model theory Quantification Metalogic Predicate logic Logic in computer science Quantifier elimination Abstract interpretation Quantifier FO