Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
481	The IMPS User’s Manual First Edition, Version 2 William M. Farmer Joshua D. Guttman F. Javier Thayer The MITRE Corporation Add to Reading List Source URL: imps.mcmaster.ca Language: English - Date: 2012-03-27 15:38:49 Proof theory Logical syntax Logical consequence Metalogic Lambda calculus Sequent Theorem Model theory Proof calculus Logic Mathematics Science
482	On Block-wise Symmetric Signatures for Matchgates Jin-Yi Cai1 and Pinyan Lu2⋆ 1 2 Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2007-03-11 15:09:36 Logical consequence Metalogic Philosophical logic Logic Deduction Entailment
483	Inapproximability After Uniqueness Phase Transition in Two-Spin Systems Jin-Yi Cai∗ Xi Chen† Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2012-03-28 09:05:58 Functional analysis Holomorphic functional calculus Orbifold Metalogic Model theory Mathematical analysis
484	Microsoft Word - SALT2007bFINAL.doc Add to Reading List Source URL: www.salt17.uconn.edu Language: English - Date: 2007-03-06 22:45:05 Entailment Logical syntax Metalogic Interpretation Logic Logical consequence Deduction
485	Applications of Feasible Path Analysis to Program Testing Allen Goldberg, T.C. Wang, David Zimmerman* Kestrel Institute 3260 Hillview Avenue Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 13:00:07 Mathematical logic Automated theorem proving Formal methods Metalogic KeY Resolution First-order logic Model theory Well-formed formula Logic Mathematics Theoretical computer science
486	STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2004-10-11 17:29:55 Automated planning and scheduling STRIPS First-order logic FO Mathematical logic Logic Metalogic
487	arXiv:0908.1390v3 [cs.LO] 23 Sep 2010 Add to Reading List Source URL: arxiv.org Language: English - Date: 2010-09-23 22:29:06 Metalogic Formal languages Semantics Philosophical logic Logical syntax Entailment Interpretation Sequent calculus Lambda calculus Logic Mathematics Mathematical logic
488	Semantic bounds for everyday language* MARCIN MOSTOWSKI and JAKUB SZYMANIK Abstract We consider the notion of everyday language. We claim that everyday language is semantically bounded by the properties expressible in t Add to Reading List Source URL: www.jakubszymanik.com Language: English - Date: 2012-02-17 11:19:27 Metalogic Model theory Semantics Formal languages First-order logic Interpretation Function Quantification Well-formed formula Logic Mathematical logic Predicate logic
489	A Note on a Generalization of the Muddy Children Puzzle ∗ Nina Gierasimczuk Department of Artificial Intelligence Add to Reading List Source URL: www.jakubszymanik.com Language: English - Date: 2011-05-31 09:00:14 Finite model theory Philosophical logic Semantics Metalogic Epistemic modal logic FO Modal logic Common knowledge Model theory Logic Mathematical logic Quantification
490	c Cambridge University Press 2010 JFP 20 (1): 71–122, 2010. 71 doi:[removed]S0956796809990293 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-01-28 13:39:47 Functional languages Logic in computer science Metalogic Formal languages Mathematical logic OCaml Metalanguage Proof assistant Twelf Software engineering Computing Theoretical computer science

UPDATE