Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
41	The Meaning of ‘Most’: semantics, numerosity, and psychology Paul Pietroski, University of Maryland Jeffrey Lidz, University of Maryland Tim Hunter, University of Maryland Justin Halberda, Johns Hopkins University Co Add to Reading List Source URL: ling.umd.edu Language: English - Date: 2008-12-09 00:05:37 Metalogic Model theory Cardinality IP Cardinal number Constructible universe Counting
42	Knowing Minimum/Maximum n Formulae 1 and Natasha Alechina 2 ˚ Thomas Agotnes Abstract. We introduce a logical language with nullary operators min(n), for each non-negative integer n, which mean ‘the reasoner has at l Add to Reading List Source URL: folk.uib.no Language: English - Date: 2009-04-11 10:36:49 Logic Mathematical logic Abstraction Model theory Formal languages Logical truth Metalogic First-order logic Interpretation Substitution Well-formed formula Satisfiability
43	Paul Oppenheimer and Edward N. Zalta Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer Add to Reading List Source URL: www.peoppenheimer.org Language: English - Date: 2011-02-19 16:18:52 Logic Mathematical logic Mathematics Model theory Formal languages Predicate logic Metalogic First-order logic Principia Mathematica Interpretation Well-formed formula Lambda calculus
44	On the “Logic without Borders” Point of View∗ Juliette Kennedy Department of Mathematics and Statistics University of Helsinki, Finland June 29, 2014 Add to Reading List Source URL: www.math.helsinki.fi Language: English - Date: 2015-04-07 08:36:39 Mathematical logic Logic Model theory Mathematics Large cardinals Set theory Metalogic Stable theory First-order logic Second-order logic Constructible universe Tree
45	Nat Lang Semantics DOIs11050Interface transparency and the psychosemantics of most Jeffrey Lidz Æ Paul Pietroski Æ Justin Halberda Æ Tim Hunter Add to Reading List Source URL: ling.umd.edu Language: English - Date: 2012-03-22 11:33:57 Philosophy Logic Abstraction Semantics Philosophical logic Theories of truth Meaning Metalogic Model theory First-order logic Truth condition IP
46	Intro First-order theories Higher-order theories Add to Reading List Source URL: www.lama.univ-savoie.fr Language: English - Date: 2010-09-16 03:38:56 Mathematics Logic Mathematical structures Mathematical logic Model theory Universal algebra Metalogic Lawvere theory Topology William Lawvere Structure
47	PDF Document Add to Reading List Source URL: cs.uwaterloo.ca Language: English - Date: 2014-05-02 10:34:25 Logic Mathematical logic Predicate logic Metalogic Model theory First-order logic Resolution Extension FO Functional dependency
48	Jordan Journal of Mathematics and Statistics (JJMS) 3(3), 2010, ppNEW CONNECTIONS AMONG MULTIVALUED FUNCTIONS, HYPERSTRUCTURES AND FUZZY SETS P. CORSINI AND B. DAVVAZ Abstract. One has considered three differ Add to Reading List Source URL: journals.yu.edu.jo Language: English - Date: 2012-02-24 11:21:41 Entailment Logical syntax Metalogic Philosophical logic Propositional calculus Orbifold Envelope Logic Abstract algebra Deduction
49	Qualitative results: after the session questionnaires (NB: S1, S2, S3 in round brackets refers to session 1, 2 and 3; the numbers after the session numbers indicate ratings that were given if there were also quantitative Add to Reading List Source URL: www.heartoflovehealing.net Language: English - Date: 2012-09-05 18:08:09 Logical syntax Metalogic Philosophical logic Propositional calculus Next Magazine Identity and change Lunch of Blood Logic Deduction Entailment
50	COMMUNICATION WITH MULTIPLE SENDERS: AN EXPERIMENT EMANUEL VESPA AND ALISTAIR J. WILSON A BSTRACT. We implement multi-sender cheap talk in the laboratory. While full-information transmission is not theoretically feasible Add to Reading List Source URL: qeconomics.org Language: English - Date: 2015-07-10 14:34:53 Logical consequence Logical syntax Metalogic Logic Deduction Entailment

UPDATE