Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
591	On Datalog vs. LFP Anuj Dawar and Stephan Kreutzer 1 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-05-21 09:46:10 Metalogic FO Datalog Structure Forcing Conjunctive query Finite model theory First-order logic Interpretation Mathematical logic Logic Model theory
592	INFERENTIALISM * draft * [removed] * Add to Reading List Source URL: www.jarda.peregrin.cz Language: English - Date: 2007-12-23 08:06:59** Semantics Philosophy of language Logical syntax Metalogic Inferential role semantics Robert Brandom Meaning Formal proof Truth Logic Philosophy Philosophical logic
593	Lindstr¨om theorems for fragments of first-order logic (full version with appendices) Balder ten Cate∗ Add to Reading List Source URL: users.soe.ucsc.edu Language: English - Date: 2007-04-18 19:34:28 Philosophical logic Modal logic Metalogic First-order logic Interpretation Kripke semantics Finite model property Entailment Constructible universe Logic Mathematical logic Model theory
594	Artifact-Centric Workflow Dominance Diego Calvanese1 , Giuseppe De Giacomo2 , Richard Hull3 , and Jianwen Su4 Add to Reading List Source URL: www.dis.uniroma1.it Language: English - Date: 2010-04-29 07:11:53 Structure Logic Abstraction Metalogic Model theory Workflow
595	Classical Logic I: First-Order Logic Chapter 1 Add to Reading List Source URL: www.blackwellpublishing.com Language: English - Date: 2001-06-18 13:30:12 Formal languages Metalogic Logical syntax Propositional calculus Interpretation First-order logic Well-formed formula Substitution Structure Logic Mathematical logic Model theory
596	Towards Observational Type Theory Thorsten Altenkirch and Conor McBride School of Computer Science and Information Technology Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2007-10-10 18:00:00 Logic in computer science Type theory Entailment Metalogic Valuation Intuitionistic type theory Curry–Howard correspondence Logic Deduction Dependently typed programming
597	4 COMPUTATIONAL MODAL LOGIC Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2007-07-26 07:53:15 Modal logic Philosophical logic Predicate logic Metalogic First-order logic Interpretation Satisfiability Admissible rule Boolean satisfiability problem Logic Mathematical logic Model theory
598	Ancient symbols, computational linguistics, and the reviewing practices of the general science journals Richard Sproat∗ Add to Reading List Source URL: www.cslu.ogi.edu Language: English - Date: 2010-07-09 14:35:17 Formal languages Natural language processing Logical syntax Metalogic Indus Valley Civilization Indus script Entropy Writing system Pictish stones Science Linguistics Logic
599	The SILK Language December 22, 2009 This version: Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2010-04-28 01:22:31 Metalogic Grammar Semantic Web Rule Interchange Format First-order logic Symbol Well-formed formula Knowledge representation and reasoning Semantics Logic Formal languages Logical syntax
600	System FC with Explicit Kind Equality Stephanie Weirich Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-08-06 17:30:04 Logical consequence Metalogic Philosophical logic Logic Deduction Entailment

UPDATE