Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
501	Furry’s Theorem In QED, hΩ\|T [j µ (x1 )j ν (x2 )j λ (x3 )]\|Ωi = 0 where the current is ¯ µ ψ. Add to Reading List Source URL: www.maths.tcd.ie Language: English - Date: 2012-04-26 14:37:57 Logical consequence Logical syntax Metalogic Operator Logic Deduction Entailment
502	Higher Categories from Type Theories PhD thesis Peter LeFanu Lumsdaine Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Mathematical logic Metaphilosophy Categorical logic Theoretical computer science Category theory Model theory Type theory Proof theory Metalogic Logic Higher category theory
503	M M PP EE JJ Mathematical Physics Electronic Journal ISSN[removed]Volume 14, 2008 Paper 2 Add to Reading List Source URL: www.ma.utexas.edu Language: English - Date: 2008-09-08 03:07:23 Quantum mechanics Deduction Entailment Logical consequence Metalogic Operator Spinor Physics Logic Quantum field theory
504	Foundations of mathematics Sylvain Poirier http://settheory.net/ 1. First foundations of mathematics 1.1. Introduction to the foundation of mathematics Add to Reading List Source URL: settheory.net Language: English - Date: 2014-06-17 08:06:26 Predicate logic Model theory Metalogic Semantics Interpretation First-order logic Function Type theory Quantification Logic Mathematical logic Mathematics
505	M M PP EE JJ Mathematical Physics Electronic Journal ISSN[removed]Volume 14, 2008 Paper 1 Add to Reading List Source URL: www.ma.utexas.edu Language: English - Date: 2008-05-27 05:49:00 Metalogic Model theory
506	THE FUTURE OF SET THEORY Saharon Shelah Abstract. Judah has asked me to speak on the future of set theory, so, as the next millennium is coming, to speak on set theory in the next millennium. But we soon cut this down t Add to Reading List Source URL: shelah.logic.at Language: English - Date: 2004-02-29 16:34:20 Metalogic Forcing Zermelo–Fraenkel set theory Equiconsistency Set theory Large cardinal Saharon Shelah Model theory Mathematical proof Mathematics Logic Mathematical logic
507	Review of Charles Chihara, The Worlds of Possibility (Oxford: Clarendon Press, 1998. Pp. xii, 342) Theodore Sider Philosophical Review[removed]): 88-91 Add to Reading List Source URL: tedsider.org Language: English - Date: 2008-02-24 13:58:45 Philosophy of language Metalogic Logical syntax Interpretation Entailment Modal logic Model theory Logical connective Symbol Logic Propositional calculus Philosophical logic
508	Williamson’s Many Necessary Existents∗ Theodore Sider Analysis[removed]): 50–58 This note is to show that a well-known point about David Lewis’s (1986) Add to Reading List Source URL: tedsider.org Language: English - Date: 2009-04-05 12:09:36 Non-classical logic Philosophical logic Metalogic Model theory First-order logic Modal logic Infinitary logic Entailment Cardinal number Logic Mathematical logic Predicate logic
509	The Semantics of Predicate Logic as a Programming Language M. H. VAN E M D E N A N D R. A. K O W A L S K I Umverslty of Edinburgh, Edmburgh. Scotland ABSTRACT Sentences in first-order predicate logic can be usefully inte Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:56:03 Metalogic Term algebra Interpretation FO First-order logic Kripke semantics Combinatory logic Logic Mathematical logic Model theory
510	Against Vague and Unnatural Existence: Reply to Liebesman and Eklund∗ Theodore Sider Noûs[removed]): 557–67 David Liebesman and Matti Eklund[removed]argue that my “indeterminacy Add to Reading List Source URL: tedsider.org Language: English - Date: 2009-06-11 13:12:48 Semantics Logical syntax Philosophy of language Ontology Metalogic Proposition Quantification Existence Model theory Logic Science Philosophy

UPDATE