F-logic - PDFSEARCH.IO - Document Search Engine

F-logic
Results: 483

#	Item
151	DEPENDENT INDEFINITES Donka F. Farkas, UCSC Abstract The paper rst lays out a non-congurational approach to scope ambiguities in which Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:40 Predicate logic Elementary mathematics Functions and mappings Variables Mathematical notation Free variables and bound variables Function Derivative First-order logic Mathematics Software engineering Computing
152	1 Free Choice in Romanian Donka F. Farkas, UCSC May 2005 To appear in a Festschrift for Larry Horn edited by Gregory Ward and Betty Birner 1. Introduction1 Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:40 Logic Determiner Grammar Semantics Quantification Scalar Article Quantity SO Parts of speech Linguistics Syntax
153	Varieties of Indefinites Donka F. Farkas University of California, Santa Cruz 1. Introduction Languages that have determiners often have a rich inventory of them. In English, Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:40 Elementary mathematics Variables Quantification Predicate logic Interpretation Function Mathematics Logic Semantics
154	Polarity particle responses as a window onto the interpretation of questions and assertions∗ Floris Roelofsen University of Amsterdam Donka F. Farkas Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:40 Principles Yes–no question Yes and no Question Grammatical polarity Grammatical mood Polarity Grammatical particle Negation Grammar Linguistics Logic
155	Grice, Studies in the Way of Words, 351–2: The most general complaint, which comes from Strawson, Searle, and Mrs. Jack, seems to be that I have, wholly or partially, misidentified the intended (or M-intended) effect i Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2015-04-27 18:24:18 Philosophy of language Semantics Meaning Philosophical logic Dichotomies P. F. Strawson Is–ought problem Word Subject Linguistics Analytic philosophy Philosophy
156	Introduction to Type Theory August 2007 Types Summer School Bertinoro, It Herman Geuvers Add to Reading List Source URL: typessummerschool07.cs.unibo.it Language: English - Date: 2007-08-20 10:27:22 Lambda calculus Type theory Logic in computer science Models of computation Curry–Howard correspondence Philosophy of computer science Simply typed lambda calculus System F Type system Theoretical computer science Computer science Mathematical logic
157	Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich, Germany Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2012-02-08 12:13:50 Recursion Theoretical computer science Computability theory Category theory Ordinal numbers F-coalgebra Fixed-point combinator Termination analysis Lambda calculus Mathematical logic Mathematics Computer programming
158	Computer-assisted proofs Arnold Neumaier Fakult¨at f¨ur Mathematik, Universit¨at Wien Nordbergstr. 15, A-1090 Wien, Austria http://www.mat.univie.ac.at/∼neum/ Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2008-12-12 05:03:04 Mathematical logic Mathematical proofs Proof theory Mathematical optimization Interval arithmetic Computer-assisted proof Linear programming Logarithm Maple Mathematics Operations research Automated theorem proving
159	Overview of ISWC-2010 Tutorial: “Web Rules: Fundamentals, Applications, and Standards” (Nov. 8 half-day: afternoon) Benjamin Grosof, Vulcan Inc., http://www.mit.edu/~bgrosof/ Mike Dean, Raytheon BBN Technologies, htt Add to Reading List Source URL: www.mit.edu Language: English - Date: 2010-07-16 16:27:36 Semantic Web Rule Language Ontology Web Ontology Language Semantic reasoner DARPA Agent Markup Language RuleML Description logic F-logic Semantic technology Semantic Web Information Science
160	Edge state integrals on shaped triangulations Rinat Kashaev University of Geneva joint work with F.Luo and G. Vartanov arXiv:EMS/DMF Joint Mathematical Weekend Add to Reading List Source URL: projects.au.dk Language: English - Date: 2013-04-25 09:56:55 Physics Operator theory Mathematical analysis Conformal field theory Lie algebras Linear temporal logic Μ operator Symbol Logarithm Mathematics

UPDATE