Quantifier - PDFSEARCH.IO - Document Search Engine

Quantifier
Results: 263

#	Item
21	Logico-semantic Aspects of Children’s Knowledge about the Universal Quantifier: New Empirical Evidence Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:51:02 Logic Philosophy Logical consequence Deductive reasoning Reasoning Arguments Inference Implication Universal quantification Reason Entailment Validity
22	Broad-coverage CCG Semantic Parsing with AMR Kenton Lee Luke Zettlemoyer Yoav Artzi∗ Dept. of Computer Science and Cornell Tech Computer Science & Engineering University of Washington Cornell University Add to Reading List Source URL: www.emnlp2015.org Language: English - Date: 2015-12-05 04:22:39 Logic Mathematical logic Mathematics Predicate logic Type theory Logic in computer science Combinatory categorial grammar Combinatory logic Quantifier Lambda calculus Parsing Free variables and bound variables
23	CS4003: Approach CS4003: Formal Methods Andrew Butterfield1 1 Foundations Add to Reading List Source URL: www.scss.tcd.ie Language: English - Date: 2014-12-22 10:26:21 Logic Mathematical logic Mathematics Predicate logic Semantics Quantification Model theory Mathematical notation First-order logic FO Free variables and bound variables Quantifier
24	Context-givenness vs. existential quantification Salvador Mascarenhas New York University This paper argues that there are strong parallelisms between indefinite noun phrases and two seemingly unrelated constructions, na Add to Reading List Source URL: www.macsim.us Language: English - Date: 2011-06-24 13:35:02 Quantification Philosophy Logic Abstraction Semantics Skolem normal form Kratzer Quantifier Universal quantification De dicto and de re Existence Existential quantification
25	Statistical Relational Learning with Soft Quantifiers Golnoosh Farnadi1,2 , Stephen H. Bach3 , Marjon Blondeel4 , Marie-Francine Moens2 , Lise Getoor5 , and Martine De Cock1,6 1 Dept. of Applied Mathematics, Computer Sc Add to Reading List Source URL: stephenbach.net Language: English - Date: 2015-09-22 18:21:56 Logic Mathematical logic Abstraction Quantification Predicate logic Model theory Semantics Formal languages Quantifier First-order logic Constructible universe Universal quantification
26	One Is the Loneliest Number: The Acquisition of Spanish Indefinite Un Victoria E. Mateu and Nina Hyams 1. Introduction Various studies have shown that English-speaking children as young as 2 years old assign an exact int Add to Reading List Source URL: www.lingref.com Language: English - Date: 2016-04-14 14:43:36 Linguistics Inference Pragmatics Philosophy of language Logic Numerals Numeral systems Quantification Quantifier Implicature Numeral HinduArabic numeral system
27	A separation logic for refining concurrent objects Aaron Turon Mitchell Wand Northeastern University Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-07-15 17:40:28 Logic Mathematical logic Abstraction Model theory Predicate logic Semantics Denotational semantics First-order logic Structure Quantifier Substitution
28	snippets Issue 17 MayContents Add to Reading List Source URL: www.ledonline.it Language: English - Date: 2008-06-04 19:03:58 Syntax Semantics Logic Grammar Linguistics Coordination Coordinate Negation C-command Quantifier
29	Eskolemization in intuitionistic logic Matthias Baaz∗ Inst. for Discr. Math. and Geom. Technical University Vienna Wiedner HauptstrasseVienna, Austria Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2009-04-03 05:11:01 Logic Mathematical logic Abstraction Model theory Proof theory Predicate logic Philosophical logic Non-classical logic Sequent First-order logic Quantifier Skolem normal form
30	Quantifiers and Negation October 2, Reading Quantifiers Add to Reading List Source URL: math.colorado.edu Language: English - Date: 2015-12-04 19:21:57 Logic Quantification Mathematical logic Abstraction Semantics Predicate logic Universal quantification Existential quantification Quantifier FO Negation Constructible universe

UPDATE