Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
471	[removed]): Manuscript for presentation at IPSJ-SIGPRO, 8 June[removed]Regular Paper Decidability and Undecidability Results of Modal µ-calculi with N1 Semantics Add to Reading List Source URL: 91.121.110.215 Language: English - Date: 2013-09-26 02:18:34 Symbol Interpretation Mathematics Metalogic Linear temporal logic Spectral theory of ordinary differential equations Formal languages Logic Model theory
472	Barriers to Implication Greg Restall Gillian Russell Philosophy Department Add to Reading List Source URL: www.consequently.org Language: English - Date: 2009-01-07 08:48:35 Philosophical logic Metalogic Propositional calculus Modal logic Non-classical logic Interpretation Entailment First-order logic Structure Logic Philosophy Model theory
473	Distributed Semantics and Implementation for Systems with Interaction and Priority Ananda Basu, Philippe Bidinger, Marius Bozga, and Joseph Sifakis Universit´e Grenoble 1 - CNRS - VERIMAG ´ Centre Equation, Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Entailment Logical consequence Metalogic Oracle machine Logic Deduction Models of computation
474	PSA — 1998 Category Theory: The Language of Mathematics Elaine Landry — McGill University Within the current literature on the status of category theory, three positions can be discerned. The first, espoused by Lawve Add to Reading List Source URL: scistud.umkc.edu Language: English - Date: 2002-06-24 21:43:00 Metalogic Category theory Mathematical object Naive set theory Function Foundations of mathematics Set theory Topos Category Mathematics Philosophy of mathematics Mathematical logic
475	Ancient symbols, computational linguistics, and the reviewing practices of the general science journals Richard Sproat∗ Center for Spoken Language Understanding Add to Reading List Source URL: rws.xoba.com 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
476	Minimal Valid Inequalities for Integer Constraints Valentin Borozan LIF, Facult´e des Sciences de Luminy, Universit´e de Marseille, France [removed] and G´erard Cornu´ejols ∗ Add to Reading List Source URL: integer.tepper.cmu.edu Language: English - Date: 2008-12-01 16:54:09 Deduction Entailment Logical consequence Logical syntax Metalogic Convex function Cone Linear temporal logic Logic Mathematical analysis Mathematics
477	April 29, 2010 — Final version for proceedings of LICS’10 1 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-04-29 08:06:06 Mathematical logic Formal languages Propositional calculus Golden ratio Well-formed formula Entailment Linear temporal logic Principia Mathematica Logic Logical syntax Metalogic
478	CML2 Language and Tools Description The Kernel Configuration Menu Language Eric Steven Raymond Thyrsus Enterprises (http://www.tuxedo.org/~esr) [removed] Add to Reading List Source URL: kernelbook.sourceforge.net Language: English - Date: 2001-11-02 11:04:18 Metalogic Syntax Menu Symbol Well-formed formula Formal grammar String Configuration file Formal languages Logic Logical syntax
479	ON AN S-UNIT VARIANT OF DIOPHANTINE m-TUPLES ´ ´ SZALAY AND VOLKER ZIEGLER LASZL O Add to Reading List Source URL: finanz.math.tu-graz.ac.at Language: English - Date: 2013-02-19 05:14:12 Logical consequence Metalogic Philosophical logic Logic Deduction Entailment
480	Syllogistic Logic and its Extensions Larry Moss, Indiana University NASSLLI[removed] Add to Reading List Source URL: www.indiana.edu Language: English - Date: 2014-06-23 14:21:47 Deduction Model theory Metalogic Semantics Interpretation Philosophy of mind Validity Logic Philosophy Science

UPDATE