Working with Mathematical Structures in Type Theory Claudio Sacerdoti Coen and Enrico Tassi Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 – 40127 Bologna, ITALY {sacerdot,tassi}@cs.unibo.i

Source URL: www.cs.unibo.it

• Logic
• Type theory
• Metalogic
• Structure
• Interpretation
• Subtype polymorphism
• Sheaf
• Function
• Unification
• Mathematics
• Mathematical logic
• Model theory

Implementation of Axiomatic Language Walter W. Wilson1 1 Dept. of Computer Science & Engineering The University of Texas at Arlington

Source URL: www.axiomaticlanguage.org

• Lisp programming language
• Formal languages
• Formal systems
• Functional languages
• Metalogic
• Prolog
• S-expression
• Lisp
• Programming language
• Software engineering
• Computer programming
• Computing

Midterm Due 21 October During proof search, we usually have lots of options. Therefore any way to guide the proof search and make some options “as good” as any other is going to be of some benefit. To show that two o

Source URL: www.purelytheoretical.com

• Entailment
• Logical consequence
• Metalogic
• Natural deduction
• Modular curve
• Logic
• Deduction
• Propositional calculus

Persmededeling 13 oktober 2010 3M en METALogic winnen Pension Ambassador Award 3M en METALogic zijn de eerste laureaten van de Pension Ambassador Award in de respectievelijke categorieën ‘Grote ondernemingen’ en ‘

Source URL: www.metalogic.be

Mona 1.x: New Techniques for WS1S and WS2S Jacob Elgaard1, Nils Klarlund2, and Anders Mller3 BRICS, University of Aarhus ([removed])

Source URL: www.brics.dk

• Model theory
• Logical syntax
• Metalogic
• Well-formed formula
• Interpretation
• Second-order logic
• Logic
• Formal languages
• Mathematical logic

ILC: A Foundation for Automated Reasoning About Pointer Programs Limin Jia and David Walker Princeton University, Princeton, NJ 08544, USA {ljia,dpw}@cs.princeton.edu

Source URL: www.andrew.cmu.edu

• Metalogic
• Propositional calculus
• Semantics
• Philosophical logic
• Entailment
• Linear logic
• Sequent calculus
• Interpretation
• Negation
• Logic
• Mathematical logic
• Proof theory

On Bounded Reachability of Programs with Set Comprehensions Margus Veanes1 and Ando Saabas2? 1 2

Source URL: set.ee

• Formal methods
• Complexity classes
• Computability theory
• Metalogic
• NP-complete problems
• FO
• Model theory
• First-order logic
• P
• Theoretical computer science
• Computational complexity theory
• Applied mathematics

Formula Editor Table of ContentsTable of Contents _Add_A_Symbolic_Form_ 1 _Examples_Of_Formulas_ 1 This tutorial donated by Wayne Tschirhart

Source URL: www.tutorialsforopenoffice.org

• Metalogic
• Well-formed formula
• Integral calculus
• Logic
• Logical syntax
• Mathematical logic

An Action Language for Reasoning about Beliefs in Multi-Agent Domains Chitta Baral and Gregory Gelfond Enrico Pontelli and Tran Cao Son Ira A. Fulton School of Engineering

Source URL: www.public.asu.edu

• Action description language
• Interpretation
• Entailment
• Model theory
• Parity of a permutation
• Logic
• Metalogic
• Symbol

Extracting Paraphrases from Definition Sentences on the Web Chikara Hashimoto∗ Kentaro Torisawa† Stijn De Saeger‡ Jun’ichi Kazama§ Sadao Kurohashi¶ ∗†‡§ National Institute of Information and Communicatio

Source URL: www.aclweb.org

• Deduction
• Entailment
• Logical consequence
• Metalogic
• Presbyterian paraphrases
• Modal logic
• Sentence
• Statistical machine translation
• Copula
• Logic
• Linguistics
• Philosophical logic