• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
 
  Bookmark and Share
 
 
Mémoire de Maîtrise
DOI
https://doi.org/10.11606/D.45.2010.tde-20230727-113653
Document
Auteur
Nom complet
Mauricio Simões Camilo Hernandes
Unité de l'USP
Domain de Connaissance
Date de Soutenance
Editeur
São Paulo, 2010
Directeur
Titre en portugais
Multiplicadores algébricos de validade lógica
Mots-clés en portugais
Álgebras De Boole
Invariantes
Linguística Computacional
Lógica Algébrica
Lógica De Primeira Ordem
Semântica
Resumé en portugais
Por uma lógica S entendemos um par (L, 1-s) onde L é um conjunto de conectivos e 1-s é o símbolo para a relação de consequência de S. Por matriz semântica M entendemos um par (A, D), onde A é uma estrutura algébrica e D é um conjunto de valores designados. Neste trabalho caracterizamos a relação de consequência semântica em M (F M) como um polinômio na álgebra A.
Titre en anglais
not available
Resumé en anglais
By a logic S we understand a pair (L, 1-s) where L is a set of connectives and 1-s is a symbol for the consequence relation of S. By semantic matrix M we understand a pair (A, D), where A is a algebraic structure and D is a set of designated values. ln this work we caracterize the consequence relation on M (1= M) as a polynomial over the algebra A.
 
AVERTISSEMENT - Regarde ce document est soumise à votre acceptation des conditions d'utilisation suivantes:
Ce document est uniquement à des fins privées pour la recherche et l'enseignement. Reproduction à des fins commerciales est interdite. Cette droits couvrent l'ensemble des données sur ce document ainsi que son contenu. Toute utilisation ou de copie de ce document, en totalité ou en partie, doit inclure le nom de l'auteur.
Date de Publication
2023-07-27
 
AVERTISSEMENT: Apprenez ce que sont des œvres dérivées cliquant ici.
Tous droits de la thèse/dissertation appartiennent aux auteurs
CeTI-SC/STI
Bibliothèque Numérique de Thèses et Mémoires de l'USP. Copyright © 2001-2024. Tous droits réservés.