Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
601	A Formulation of the Simple Theory of Types Alonzo Church The Journal of Symbolic Logic, Vol. 5, No. 2. (Jun., 1940), pp[removed]. Add to Reading List Source URL: www.classes.cs.uchicago.edu Language: English - Date: 2007-04-02 18:01:33 Formal languages Logical syntax Metalogic Model theory Interpretation Metamath Axiom Theorem Principia Mathematica Logic Mathematics Mathematical logic
602	Real Quantifier Elimination in Geometry1 Thomas Sturm2 FMI, Universit¨at Passau, D[removed]Passau, Germany Add to Reading List Source URL: redlog.dolzmann.de Language: English - Date: 2009-04-01 06:50:52 Geometry Model theory Metalogic Quantifier elimination Mathematical logic Cylindrical algebraic decomposition Alfred Tarski Quantification Semialgebraic set Real algebraic geometry Logic Mathematics
603	Stefan Schimanski Polynomial Time Calculi Add to Reading List Source URL: edoc.ub.uni-muenchen.de Language: English - Date: 2012-10-16 04:26:53 Complexity classes Logic Type theory Metalogic Program analysis Type system Computational complexity theory Algorithm Polynomial Theoretical computer science Mathematics Mathematical logic
604	A Tableau System for Natural Logic and Natural Reasoning Reinhard Muskens Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2011-04-24 14:07:30 Semantics Formal languages Computational linguistics Metalogic Algebraic logic Method of analytic tableaux Categorial grammar Simply typed lambda calculus Lambda calculus Logic Mathematical logic Mathematics
605	LOGIC NOTES YIANNIS N. MOSCHOVAKIS Add to Reading List Source URL: www.math.ucla.edu Language: English - Date: 2012-07-16 04:13:34 Model theory Functions and mappings Formal languages Metalogic First-order logic Interpretation Function Primitive recursive function Constructible universe Mathematics Logic Mathematical logic
606	A Short Course on Finite Model Theory Jouko Väänänen Add to Reading List Source URL: www.math.helsinki.fi Language: English - Date: 2001-10-11 09:40:15 Metalogic Finite model theory Ehrenfeucht–Fraïssé game Compactness theorem Elementary equivalence FO First-order logic Finitary relation Filter Model theory Mathematical logic Logic
607	Theory and Applications of Categories, Vol. 24, No. 3, 2010, pp. 39–83. JOYAL’S ARITHMETIC UNIVERSE AS LIST-ARITHMETIC Add to Reading List Source URL: www.math.unipd.it Language: English - Date: 2010-02-22 14:55:33 Mathematical structures Model theory Metalogic Function Cartesian closed category Equivalence relation Combinatorial species Interpretation Mathematical logic Mathematics Abstract algebra Algebraic structures
608	3.5 Normal Forms and Skolemization (Traditional) Study of normal forms motivated by • reduction of logical concepts, Add to Reading List Source URL: www.mpi-inf.mpg.de Language: English - Date: 2010-05-25 02:08:09 Metalogic Skolem normal form First-order logic Interpretation Structure Herbrandization Model theory Mathematical logic Logic
609	Resolution and Binary Decision Diagrams cannot simulate each other polynomially Jan Friso Groote1,2 Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2000-04-06 05:36:51 Metalogic Mathematical logic Formal languages Logical connective Constructible universe Well-formed formula Function Entailment Linear temporal logic Logic Mathematics Logical syntax
610	On a constructive proof of Kolmogorov’s superposition theorem J¨ urgen Braun, Michael Griebel Add to Reading List Source URL: wissrech.iam.uni-bonn.de Language: English - Date: 2008-10-23 07:23:02 Logical consequence Metalogic Philosophical logic Orbifold Ordinal arithmetic Logic Deduction Entailment

UPDATE