Sobre quantificadores: uma formalização do quantificador 'quase sempre'

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Quantificadores no contexto lógico: 'muitos' e 'poucos'

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Avaliação e a Qualidade das Práticas de Inclusão para Alunos com PEA: Escala LAQI (Louisiana Autism Quality Indicators)

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Educação Especial, domínio Cognição e Multideficiência

Prova automática de satisfatibilidade módulo teoria aplicada ao método B

Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B

Um modelo algébrico para a lógica do muito

Pós-graduação em Filosofia - FFC

Aspectos lógicos e algébricos dos conjuntos fuzzy

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Uma lógica do poucos

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

A lógica do muito em um sistema de tablôs

Pós-graduação em Filosofia - FFC

Língua wauja (arawak): uma descrição fonológica e morfossintática

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Um modelo algébrico do quantificador da ubiquidade

Pós-graduação em Filosofia - FFC

Falamos português : festas e tradições

Recursos Educativos - Humanidades

On the semantics of 'pouco' (little/few) and 'um pouco' (a little/few)

this paper discusses the interpretation of expressions ‘pouco’ (‘few’) and ‘um pouco’ (‘a few/little’) from a referential approach of meaning (CHIERCHIA, 2003; among others). First, we aim to describe their syntactic and semantic behavior. After that, we search for the appropriate semantics to be attributed to ‘pouco’, which operates both on the domain of individuals and on the degree domain. In spite of this, there is a general operation that this modifier does (GUIMARÃES, 2007). We propose a semantics for ‘pouco’ which incorporates two aspects already seen in the literature: the value judgment, and the intuition that it means something like ‘less than a contextual standard’. To ‘um pouco’ we advocate a compositional approach.