Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
171	Finding Endogenously Formed Communities Maria-Florina Balcan∗ Christian Borgs† Mark Braverman Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-10-03 18:58:33 Logical consequence Logical syntax Metalogic Ordinal arithmetic Curry–Howard correspondence Logic Deduction Entailment
172	A Very Modal Model of a Modern, Major, General Type System Andrew W. Appel ∗ Paul-Andr´e Melli`es Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2006-10-27 11:28:34 Orbifold Symbol Metalogic Model theory Programming language semantics
173	Microsoft Word - Black and White.doc Add to Reading List Source URL: www.mind-consciousness-language.com Language: English - Date: 2008-11-15 03:35:20 Binary operations Philosophical logic Metalogic Deduction Entailment Logical consequence Nothing Reason If and only if Logic Philosophy Science
174	IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version) Add to Reading List Source URL: stefanheule.com Language: English - Date: 2015-01-16 18:44:42 Programming language Logic Mathematics Model theory Metalogic Structure
175	A Capability Calculus for Concurrency and Determinism ⋆ Tachio Terauchi1 and Alex Aiken2 1 2 Add to Reading List Source URL: theory.stanford.edu Language: English Entailment Logical consequence Logical syntax Metalogic Function Symbol Logic Mathematics Deduction
176	Parchments for CafeOBJ logics? Till Mossakowski1 , Wieslaw Pawlowski2 , Donald Sannella3 , and Andrzej Tarlecki4 1 3 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-11-24 15:46:17 Metalogic Universal algebra Institution Structure Dual Adjoint functors Interpretation Signature Sigma-algebra Model theory Mathematics Mathematical logic
177	Down with kinds: adding dependent heterogeneous equality to FC (Extended Version) Stephanie Weirich Justin Hsu Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:14 Entailment Logical consequence Metalogic Soundness Logic Deduction Proof theory
178	Verifying the Safety of User Pointer Dereferences Suhabe Bugrara Department of Computer Science Stanford University Stanford, CA 94305 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2008-04-24 13:23:51 Deduction Entailment Logical consequence Logical syntax Metalogic Pointer Valuation Function ALGOL 68 Logic Mathematics Software engineering
179	ARTIFIC~L r~rELUOE~CE 189 STRIPS: A New Approach to the Application of .Theorem Proving to Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2004-11-22 14:26:00 Automated theorem proving Metalogic Rules of inference Logical syntax First-order logic Logic programming Resolution STRIPS Algorithm Logic Mathematical logic Mathematics
180	Using Initial and Lateral Boundary Conditions from HYCOM in a Coastal Southern California NCOM Model Paul W. May & Julie D. Pullen Goal Goal Add to Reading List Source URL: hycom.org Language: English - Date: 2009-05-23 17:43:42 Metalogic Model theory

UPDATE