Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
551	Verification of solid state interlocking programs Phillip James, Andy Lawrence Faron Moller, Markus Roggenbach, Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2013-09-27 06:58:46 Propositional calculus Model theory Predicate logic Metalogic Ladder logic First-order logic Logic programming Formal verification Function Logic Mathematics Mathematical logic
552	Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras Ulrich Berger1 , Kenji Miyamoto 2 , Helmut Schwichtenberg2 , and Monika Seisenberger1 1 2 Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2011-05-22 19:06:42 Mathematical constructivism Type theory Proof theory Logic in computer science Metalogic Realizability Agda Curry–Howard correspondence MINLOG Logic Mathematical logic Mathematics
553	The Rational Numbers as an Abstract Data Type1 J A Bergstra2 University of Amsterdam, Informatics Institute, Kruislaan 403, 1098 SJ Amsterdam, Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2005-09-01 09:13:26 Algebraic logic Boolean algebra Metalogic Model theory Sigma-algebra Structure Function Action algebra Mathematics Mathematical logic Abstract algebra
554	On the Complexity of Parity Games Arnold Beckmann Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2011-03-08 11:51:25 Model theory Parity game Determinacy Structure Mathematics Metalogic Logic
555	On the Church-Rosser and Coherence Properties of Conditional Order-Sorted Rewrite Theories1 Francisco Dur´an Universidad de M´ alaga, Spain Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2012-09-13 14:58:46 Mathematical structures Model theory Formal languages Algebraic structures Metalogic Structure Rewriting Maude system Unification Mathematical logic Mathematics Logic
556	An introduction to Maude and some of its applications Narciso Mart´ı-Oliet Departamento de Sistemas Inform´ aticos y Computaci´ on Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2010-01-20 12:34:03 Applied mathematics Logic in computer science Lambda calculus Metalogic Model theory Rewriting Maude Divergence Structure Mathematics Theoretical computer science Formal languages
557	LOCAL ORDER PROPERTY IN NONELEMENTARY CLASSES RAMI GROSSBERG AND OLIVIER LESSMANN Add to Reading List Source URL: www.math.cmu.edu Language: English - Date: 1999-02-12 17:07:53 Logic Compactness theorem First-order logic Spectrum Stable theory Stability spectrum Spectral theory of ordinary differential equations Shrewd cardinal Model theory Mathematical logic Metalogic
558	Multi-Agent Belief Revision with Linked Preferences Jan van Eijck1 and Floor Sietsma2 1 Centre for Mathematics and Computer Science (CWI) Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 08:17:56 Philosophical logic Propositional calculus Metalogic Model theory Functions and mappings Interpretation Function Constructible universe Modal logic Logic Mathematics Mathematical logic
559	Model Checking Games for Branching Time Logics Martin Lange and Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:55:06 Logical syntax Metalogic Mathematical logic Propositional calculus Interpretation Well-formed formula Entailment Symbol Partition Logic Mathematics Formal languages
560	Epistemic Probability Logic Simplified Paper ID 145 Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2013-12-13 11:18:36 Model theory Modal logic Non-classical logic Metalogic Kripke semantics Epistemic modal logic Partition Entailment Probabilistic logic Logic Mathematics Philosophical logic

UPDATE