An attractive strategy for writing human-readable modelbased software specifications is to hide complexity, normally including quantifiers, inside mathematical definitions. A mathematical function or predicate may be defined in one of two ways: explicitly, i.e., as direct shorthand for another expression; or implicitly, i.e., via properties (perhaps including inductive ones) that uniquely chara...

The goal of this paper is to extend classical logic with a generalized notion of inductive definition supporting positive and negative induction, to investigate the properties of this logic, its relationships to other logics in the area of non-monotonic reasoning, logic programming and deductive databases, and to show its application for knowledge representation by giving a typology of definiti...

This paper presents some aspects of the first Portuguese frequency lexicon extracted from a corpus of large dimensions. The Multifunctional Computational Lexicon of Contemporary Portuguese (henceforth MCL) rised from the necessity of filling a gap existent in the studies of the contemporary Portuguese. Until recently, the frequency lexicons of Portuguese were of very small dimensions, such as P...