1.

 Meaningful Phonological Processes: A Consideration of Central Alaskan Yupik Eskimo Prosody
 Anthony C. Woodbury
 Language, Vol. 63, No. 4 (Dec., 1987), pp. 685740
 Subjects: Linguistics, American Indian Studies
 Key terms: phonological, phonology, syllable, footing, unary, prosodic, binary, rule, articulation, gemination, expressive, intonational, meaningful, grammar, meaning, process, prosody, double, lexical, syntax, syntactic, phonetic, structure, optional
 CiteRank: 0.6337

More Info

2.

 The Emptiness Problem for Intersection Types
 Pawel Urzyczyn
 The Journal of Symbolic Logic, Vol. 64, No. 3 (Sep., 1999), pp. 11951215
 Subjects: Mathematics, Transportation Studies, Philosophy
 Key terms: queue, label, intersection, lemma, link, type, emptiness, local, maker, unary, rule, global, node, instruction, automaton, problem, close, system, decidable, environment, undecidable, initial, variable
 CiteRank: 0.558

More Info

3.

 Positives about Negatives: A Case Study of an Intermediate Model for Signed Numbers
 Baruch B. Schwarz, Amy S. Kohn, Lauren B. Resnick
 The Journal of the Learning Sciences, Vol. 3, No. 1 (1993  1994), pp. 3792
 Subjects: Psychology, Education, Mathematics
 Key terms: negative, train, number, rule, exemplification, machine, object, unary, positive, subtraction, magnitude, unload, child, binary, action, model, student, quantity, direct, example, operation
 CiteRank: 0.1988

More Info

4.

 SN and CR for FreeStyle LK^{tq}: Linear Decorations and Simulation of Normalization
 JeanBaptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco
 The Journal of Symbolic Logic, Vol. 67, No. 1 (Mar., 2002), pp. 162196
 Subjects: Mathematics, Philosophy
 Key terms: sequent, logical, occurrence, connective, additive, reduction, proof, multiplicative, rule, formula, binary, structural, classical, decoration, unary, linear, weakening, calculus, interspace, derivation, axiom, style, normalization

More Info

5.

 The Use of Machines to Assist in Rigorous Proof [and Discussion]
 R. Milner, R. S. Bird
 Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, Vol. 312, No. 1522, Mathematical Logic and Programming Languages [Displayed chronologically; published out of order] (Oct. 1, 1984), pp. 411422
 Subjects: Linguistics, Mathematics, Transportation Studies, Philosophy
 Key terms: tactic, parse, proof, theory, induction, computer, theorem, waterloo, event, unary, formula, machine, clock, axiom, simplification, metalanguage, tree, strategy, goal, logic, example, append, rule

More Info

6.

 Interpolation in Fragments of Classical Linear Logic
 Dirk Roorda
 The Journal of Symbolic Logic, Vol. 59, No. 2 (Jun., 1994), pp. 419444
 Subjects: Mathematics, Philosophy
 Key terms: interpolant, interpolation, fragment, premiss, formula, unary, derivation, proof, provable, sequent, lemma, succedent, binary, induction, postpone, rule, axiom, premise, conclusion, product, selection, select, antecedent

More Info

7.

 Syllogistic Logic with Comparative Adjectives
 Lawrence S. Moss
 Journal of Logic, Language, and Information, Vol. 20, No. 3, MATHEMATICS OF LANGUAGE (Summer 2011), pp. 397417
 Subjects: Mathematics, Philosophy, Linguistics
 Key terms: transitive, taller, atom, syllogistic, model, irreflexive, transitivity, unary, lemma, adjective, sentence, proof, binary, case, springer, irr, completeness, irreflexivity, derivation, iff, gnu, giraffe, rule, relation, comparative

More Info

8.

 Methodological Aspects of the Theory of Syntax
 Henry Hiż
 The Journal of Philosophy, Vol. 64, No. 2, Some Recent Issues in Linguistics (Feb. 2, 1967), pp. 6774
 Subjects: Linguistics, Philosophy, American Indian Studies
 Key terms: grammar, linguistics, sentence, language, chomsky, linguistic, universal, rule, utterance, theory, syntax, speaker, introspection, competence, recursively, innate, transformation, linguist, structure, property, unary, author
 CiteRank: 0.1911

More Info

9.

 [untitled]
 Stephen L. Bloom
 The Journal of Symbolic Logic, Vol. 56, No. 2 (Jun., 1991), pp. 762763
 Subjects: Mathematics, Philosophy, Linguistics
 Key terms: automaton, algebra, finite, system, word, polish, language, rule, notation, grammar, generaliz, chapter, buchi, bunny, unary, generate, section, frege, production, thatcher, generalize, tree

More Info
