Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
201	Annual Conference of the European Association for Computer Science Logic CSL 2011 September–15, 2011, Bergen, Norway PROGRAM Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2011-08-31 08:53:38 Proof theory Classical logic First-order logic Finite model theory Model theory Logic Mathematical logic Metalogic
202	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-25 07:04:51 Model theory Logical syntax Formal languages Metalogic Well-formed formula Logical connective FO First-order logic Propositional formula Logic Mathematical logic Mathematics
203	December, 2001 The Collective Model of the Household and An Unexpected Implication for Child Labor: Hypothesis and an Empirical Test Kaushik Basu* and Ranjan Ray Add to Reading List Source URL: www-wds.worldbank.org Language: English - Date: 2004-11-17 19:36:35** Logical consequence Logical syntax Metalogic Logic Deduction Entailment
204	Non-Omniscience, Probabilistic Inference, and Metamathematics Paul Christiano∗ June 22, 2014 Abstract Add to Reading List Source URL: intelligence.org Language: English - Date: 2014-06-22 13:59:27 Metalogic Philosophical logic Model theory Deduction Entailment Probabilistic logic Axiom Function First-order logic Logic Mathematics Mathematical logic
205	Nitpick: A Counterexample Generator for Isabelle/HOL Based on the Relational Model Finder Kodkod (System Description)∗ Jasmin Christian Blanchette Technische Universität München Garching, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-10-25 11:45:35 Mathematical logic Model theory Formal languages Formal methods Logical syntax Structure Isabelle Logic programming Automated theorem proving Mathematics Logic Metalogic
206	Unified Classical Logic Completeness A Coinductive Pearl Jasmin Christian Blanchette1 , Andrei Popescu1,2 , and Dmitriy Traytel1 2 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Proof theory Symbol Sequent calculus Model theory First-order logic Mathematical logic Logic Metalogic
207	/media/Cruzer/mandriva/facs12/ipg-encoding-4.fig Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2013-02-18 22:56:06 Entailment Logical consequence Metalogic Preference Credential Kripke semantics Client–server model Logic Philosophical logic Deduction
208	ENCODING MONOMORPHIC AND POLYMORPHIC TYPES JASMIN CHRISTIAN BLANCHETTE, SASCHA BÖHME, ANDREI POPESCU, AND NICHOLAS SMALLBONE Inria & LORIA, Nancy, France; Max-Planck-Institut für Informatik, Saarbrücken, Germany e-mai Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-25 16:36:05 Metalogic Symbol Structure Interpretation First-order logic Functional predicate Model theory Logic Mathematical logic
209	Resource Bound Certification Karl Crary Stephanie Weirich Carnegie Mellon University Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Computability theory Deduction Proof theory Entailment Logical consequence Metalogic Ordinal number Lambda calculus Ordinal arithmetic Logic Mathematical logic Mathematics
210	Monotonicity Inference for Higher-Order Formulas Jasmin Christian Blanchette? and Alexander Krauss Institut für Informatik, Technische Universität München, Germany {blanchette,krauss}@in.tum.de Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-04-01 08:28:46 Logic Metalogic Symbol Interpretation Structure Lambda calculus Orbifold Normal distribution Mathematics Model theory Mathematical logic

UPDATE