Meaning and Synonymy in Natural Languages Author(s): Rudolf Carnap Source: Philosophical Studies: An International Journal for Philosophy in the Analytic Tradition, Vol. 6, No. 3 (Apr., 1955), ppPublished by: Spr

Source URL: dl.dropboxusercontent.com

• Semantics
• Definition
• Philosophical logic
• Philosophy of language
• Logic
• Intension
• Extension
• Meaning
• Finitary relation
• Sense and reference
• Property
• Necessity and sufficiency

Introduction to the Grok Language Ric Holt, 5 May 2002

Source URL: plg.uwaterloo.ca

• Mathematical logic
• Binary relation
• Grok Knowledge Base
• Transitive closure
• Function
• Equality
• FO
• Cartesian product
• Finitary relation
• Closure

The Journal of Symbolic Logic Volume 75, Number 1, March 2010 ON TAO’S “FINITARY” INFINITE PIGEONHOLE PRINCIPLE JAIME GASPAR AND ULRICH KOHLENBACH

Source URL: jg.sdf.org

• Mathematical analysis
• Mathematics
• Analysis
• IP
• Characteristic function
• Uniform boundedness principle
• Operator theory
• Banach spaces
• Compact operator on Hilbert space
• Algebraic number field

02 BOAC5 Nano publications Sofronijevic Pavlovic [Compatibility Mode]

Source URL: boac.ceon.rs

• Mathematical logic
• Knowledge representation
• Technical communication
• Predicate logic
• Records management
• Tata Nano
• Predicate
• Finitary relation
• Nano

The CQL Continuous Query Language: Semantic Foundations and Query Execution∗ Arvind Arasu and Shivnath Babu and Jennifer Widom Stanford University {arvinda,shivnath,widom}@cs.stanford.edu

Source URL: ilpubs.stanford.edu

• Relational model
• Database theory
• Data management
• Query languages
• Data stream management system
• Relational algebra
• Relational database
• SQL
• Join
• Finitary relation
• Monotonic query
• StreamSQL

A review of the Curry-Howard-De Bruijn formulas-as-types interpretation Herman Geuvers Foundations group, Intelligent Systems, ICIS Radboud University Nijmegen The Netherlands

Source URL: www.cs.ru.nl

• Mathematics
• Philosophy of mathematics
• Logic
• Philosophy
• Mathematical logic
• Epistemology
• Formal sciences
• Constructivism
• Foundations of mathematics
• Intuitionism
• Finitary
• Formalism

Information Retrieval A Relational Model of Data for Large Shared Data Banks E. F. CODD

Source URL: people.csail.mit.edu

• Mathematics
• Logic
• Mathematical logic
• Model theory
• Relational model
• Binary relation
• Structure
• First-order logic
• Finitary relation
• Relation
• Path ordering
• Relational algebra

BETWEEN THE FINITARY AND THE IDEAL Klaus Frovin Jørgensen Section for Philosophy and Science Studies Roskilde University – Denmark Within contemporary philosophy of mathematics there is a trend focussing

Source URL: akira.ruc.dk

C:/My Files/texpapers/some finitary conditions for inverse monoids/axiomatizability30072012.dvi

Source URL: www-users.york.ac.uk

• Algebra
• Abstract algebra
• Mathematics
• Algebraic structures
• Semigroup theory
• Lattice theory
• Constructible universe
• Semigroup
• Monoid
• Ordinal number
• Semilattice
• Congruence lattice problem

Translating Alloy specifications to the point-free style Nuno Macedo Departamento de Informática Universidade do Minho Braga, Portugal

Source URL: alfa.di.uminho.pt

• Logic
• Mathematical logic
• Mathematics
• Abstraction
• Model theory
• Relational model
• Alloy
• Z notation
• First-order logic
• Structure
• Finitary relation
• Relational