On the Logic and Learning of Language (2002)
| Citations: | 7 - 2 self |
BibTeX
@TECHREPORT{Fulop02onthe,
author = {Sean A. Fulop and Saunders Mac Lane},
title = {On the Logic and Learning of Language},
institution = {},
year = {2002}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
algebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 3.1.1 Homomorphisms and free generators . . . . . . . . . . . . 34 3.1.2 Quotient algebras . . . . . . . . . . . . . . . . . . . . . . . 36 3.1.3 Reducts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 3.2 Algebras of languages . . . . . . . . . . . . . . . . . . . . . . . . . 38 3.2.1 The algebra of formulae . . . . . . . . . . . . . . . . . . . 38 3.2.2 Substitutions . . . . . . . . . . . . . . . . . . . . . . . . . . 39 3.2.3 Associated algebras . . . . . . . . . . . . . . . . . . . . . . 40 3.2.4 Valuations . . . . . . . . . . . . . . . . . . . . . . . . . . . 41 3.2.5 Lindenbaum-Tarski quotient algebras . . . . . . . . . . . . 42 3.3 Algebras of deductive systems . . . . . . . . . . . . . . . . . . . . 44 3.3.1 Determining a class of algebras . . . . . . . . . . . . . . . 45 3.3.2 Algebra of a sequent calculus . . . . . . . . . . . . . . . . . 46 3.3.3 Completeness . . . . . . . . . . . . . . . . . . . . . . . . . 48 3.4 Subsuming special cases: an example . . . . . . . . . . . . . . . . 49 3.4.1 The sequent system GL . . . . . . . . . . . . . . . . . . . . 49 3.4.2 The equivalent system t(GL) . . . . . . . . . . . . . . . . . 51 3.4.3 Algebraic models for GL . . . . . . . . . . . . . . . . . . . 52 3.5 Kripke semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 4 Categorial type logics 61 4.1 The typed lambda calculus . . . . . . . . . . . . . . . . . . . . . . 62 4.2 Categorial grammar . . . . . . . . . . . . . . . . . . . . . . . . . . 66 4.3 Forms of Lambek's calculus . . . . . . . . . . . . . . . . . . . . . . 69 4.3.1 Classical CG revisited . . . . . . . . . . . . . . . . . . . . . 70 4.3.2 The nonassociative product-free system . . . . . . . . . . . 70 4.3.3 Addin...
