Aarne Ranta

Biographic Data

ID1031349
NAMEAarne Ranta
GIVEN NAMESAarne
FAMILY NAMERanta
SIGNATURERANTA A
AFFILIATIONSDépartement de philosophie, B.P. 24, Université d'Helsinki, Finlande
ORCID0000-0002-5060-1598
VERIFIEDYes
TOTAL WORKS8
TOTAL CITATIONS2
AUTHOR COUNT8
EDITOR COUNT0
FIRST PUBLICATION YEAR1988
LATEST PUBLICATION YEAR2020
H-INDEX1

  • Abstract Syntax as Interlingua: Scaling Up the Grammatical Framework from Controlled Languages to Robust Pipelines

    Open AccessAarne Ranta, Krasimir Angelov et al.ARTICLEComputational Linguistics2020Cited by: 1References: 8

    syntax is an interlingual representation used in compilers. Grammatical Framework (GF) applies the abstract syntax idea to natural languages. The development of GF started in 1998, first as a tool for controlled language implementations, where it has gained an established position in both academic and commercial projects. GF provides grammar resources for over 40 languages, enabling accurate generation and translation, as well as grammar engineer…

  • Some remarks on pragmatics in the language of mathematics

    Open AccessAarne RantaARTICLEJournal of Pragmatics2020Cited by: 1References: 4

  • Gf: A Multilingual Grammar Formalism

    Open AccessAarne RantaARTICLELanguage and Linguistics Compass2009

    GF (Grammatical Framework) is a grammar formalism designed for dealing with many languages simultaneously. A multilingual GF grammar has a language‐independent abstract syntax that deals with pure tree structures, and a set of language‐dependent concrete syntaxes that specify how the trees are expressed in different languages. Multilingual grammars formalize the idea that the same grammatical categories (such as noun phrases and verb phrases) and…

  • Botanicals and the metabolic syndrome

    Open AccessAarne Ranta, William T Cefalu et al.ARTICLE2008References: 28

    Metabolic syndrome describes the human condition characterized by the presence of coexisting traditional risk factors for cardiovascular disease, such as hypertension, dyslipidemia, glucose intolerance, and obesity, in addition to nontraditional cardiovascular disease risk factors, such as inflammatory processes and abnormalities of the blood coagulation system. Although the specific etiology for metabolic syndrome is not known, insulin resistanc…

  • Structures grammaticales dans le français mathématique: 2 (Suite Et Fin)

    Aarne RantaARTICLEMathématiques et sciences humaines1997

    A system of grammatical rules is presented to analyse a fragment of French that permits the expression of mathematical theorems and proofs. To this end, a version of Montague grammar is developed, with syntactic categories relativized to a context and to domains of individuals. This system can be interpreted in the constructive type theory of Martin-Löf. It is first applied to French without mathematical symbols, paying special attention to selec…

  • Structures grammaticales dans le français mathématique: 1

    Aarne RantaARTICLEMathématiques et sciences humaines1997

    A system of grammatical rules is presented to analyse a fragment of French that permits the expression of mathematical theorems and proofs. To this end, a version of Montague grammar is developed, with syntactic categories relativized to a context and to domains of individuals. This system can be interpreted in the constructive type theory of Martin-Löf. It is first applied to French without mathematical symbols, paying special attention to selec…

  • Constructing possible worlds

    Open AccessAarne RantaARTICLETheoria1991

  • Propositions as games as types

    Open AccessAarne RantaARTICLESynthese1988References: 7