Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
491	J. Expt. Theor. Artif. Intell. Vol. 16, No. 4, October–December, 2004, 209–243 Making Meaning Happen PATRICK GRIM, TRINA KOKALIS, ALI ALAI-TAFTI, NICHOLAS KILB and PAUL ST DENIS Add to Reading List Source URL: www.pgrim.org Language: English - Date: 2007-01-13 05:32:04 Deduction Entailment Logical consequence Logical syntax Metalogic Communication Perception Rope Shoaling and schooling Logic Philosophy Mind
492	Resolving and Exploiting the k-CFA Paradox Illuminating Functional vs. Object-Oriented Program Analysis Matthew Might Yannis Smaragdakis Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:17 Mathematical logic Logic in computer science Metalogic Model theory Denotational semantics Lambda calculus Structure Theoretical computer science Models of computation Mathematics
493	Interprocedural Dependence Analysis of Higher-Order Programs via Stack Reachability Matthew Might Tarun Prabhu Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:14 Model theory Structure String Linguistics Logic Mathematics Character encoding Metalogic
494	Universe Polymorphism in Coq Matthieu Sozeau1,2 and Nicolas Tabareau1,3 1 πr2 and Ascola teams, INRIA Preuves, Programmes et Syst`emes (PPS) Add to Reading List Source URL: mattam.org Language: English - Date: 2014-01-30 15:41:06 Entailment Logical consequence Philosophical logic Model theory Orbifold Logic Metalogic Deduction
495	Hash-Flow Taint Analysis of Higher-Order Programs Shuying Liang Matthew Might University of Utah Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Metalogic Model theory
496	The Winning Ways of Concurrent Games Pierre Clairambault, Julian Gutierrez, Glynn Winskel University of Cambridge Computer Laboratory Abstract—A bicategory of concurrent games, where nondeterministic strategies are for Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-02-06 09:47:04 Theoretical computer science Models of computation Metalogic Determinacy Denotational semantics Structure Symbol Duality Mathematics Model theory Mathematical logic
497	arXiv:0907.0216v2 [physics.gen-ph] 23 Jan[removed]The non-unique Universe Gordon McCabe January 23, 2010 Abstract Add to Reading List Source URL: arxiv.org Language: English - Date: 2010-01-23 06:27:15 Theoretical physics Model theory Metalogic Quantum mechanics Multiverse Mathematical logic String theory Theory of everything Decidability Physics Science Physical cosmology
498	Deterministic Concurrent Strategies Glynn Winskel Computer Laboratory, University of Cambridge, UK Abstract. Nondeterministic concurrent strategies—those strategies compatible with copy-cat behaving as identity w.r.t. Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-06-28 13:33:37 Model theory FO Finite model theory Structure Mathematical logic Metalogic Mathematics
499	A Hybrid Logical Framework Jason Reed CMU-CS[removed]September 17, 2009 Add to Reading List Source URL: jcreed.org Language: English - Date: 2009-10-03 17:03:32 Logical consequence Philosophical logic Formal systems Metalogic Logical framework Linear logic Axiom Soundness Inference Logic Deduction Proof theory
500	LOGIC & LOGIC & PHILOSOPHY Add to Reading List Source URL: philosophy.csusb.edu Language: English - Date: 2013-10-09 00:03:44 Philosophy of mathematics Non-classical logic Mathematical logic Model theory Modal logic Interpretation Metalogic Outline of logic Algebraic logic Logic Philosophy Philosophical logic

UPDATE