Results 11 to 20 of about 340,216 (285)
The derivation of diminutives from abstract noun bases in Bulgarian [PDF]
Južnoslovenski Filolog, 2013 The paper reviews the formal and semantic characteristics of the formation of diminutives in Bulgarian, where the process affects nouns, adjectives, numerals, adverbs, verbs and pronouns.
Nicolova Ruselina L.
doaj +1 more source
Formal and semantic derivation of the Proto-Slavic verbal root *dvig- in the Macedonian language [PDF]
Južnoslovenski Filolog, 2020 The subject of analysis in this paper is the verbal root *dvig-, whose formal and semantic development can be followed ever since the Proto-Slavic period.
Markoviḱ Marjan D.
doaj +1 more source
Partial Derivative Automata Formalized in Coq [PDF]
, 2011 In this paper we present a computer assisted proof of the correctness of a partial derivative automata construction from a regular expression within the Coq proof assistant. This proof is part of a formalization of Kleene algebra and regular languages in Coq towards their usage in program certification.
Almeida, José Bacelar +3 more
openaire +3 more sources
From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 This paper presents the derivation of an executable Krivine abstract machine from a small step interpreter for the simply typed lambda calculus in the dependently typed programming language Agda.
Wouter Swierstra
doaj +1 more source
Modernity and morality in Habermas's discourse ethics [PDF]
, 2000 Discourse ethics is originally conceived as a programme of philosophical justification of morality. This depends on the formal derivation of the moral principle (U) from non-moral principles. The moral theory is supposed to fall out of a pragmatic theory
Finlayson, James Gordon
core +1 more source
Cadernos de Estudos Lingüísticos, 2011 The possibility of a minimalist derivation being equated with on-line computation is caused into question. Formal solutions are explored, in the context of an Integrated Model of Linguistic Competence, for solving the problems that such an equation ...
Letícia Maria Sicuro Corrêa +1 more
doaj +1 more source
‘Transforma zdaniowa’ – próba interpretacji
LingVaria, 2018 ‘Sentential Transform’ / ‘Transformed (Reduced) Sentence’ – an Attempt at Interpretation The author analyses a series of Polish sentences, including those utterances which grammatically do not belong to the basic structures of their respective sentences.
Zuzanna Topolińska
doaj +1 more source
Derivation of the Schrödinger equation I: the characteristic function [PDF]
Revista Brasileira de Ensino de FísicaIn this paper, we present a mathematical derivation of the Schrödinger equation departing from only two axioms. We also show that, using this formal derivation process, it is possible to directly derive the Schrödinger equation in generalized curvilinear
Olavo Leopoldino Silva Filho +1 more
doaj +1 more source
Semantic maps and temperature: Capturing the lexicon-grammar interface across languages
Zeitschrift für Sprachwissenschaft, 2022 Traditionally, lexical typology has to a large extent been interested in lexical categorization of various cognitive domains (e. g., colour, perception, body), i.
Koptjevskaja-Tamm Maria
doaj +1 more source
Formalna analiza albańskich derywatów przymiotnikowych
Slavia Meridionalis, 2015 Formal Analysis of Albanian Adjectival Derivatives The paper presents a formal analysis of Albanian adjectival derivatives, carried out in accordance with the proposal of a formal description of word formation (part of methodology presented in ...
Artur Karasiński
doaj +1 more source