Sobre o conceito semântico de satisfação

Sobre o conceito semântico de satisfação

Made available in DSpace on 2016-04-27T17:27:13Z (GMT). No. of bitstreams: 1 Carlos Roberto Teixeira Alves.pdf: 1331347 bytes, checksum: cebe03a83120937101a3595710844df2 (MD5) Previous issue date: 2015-12-14 === Coordenação de Aperfeiçoamento de Pessoal de Nível Superior === This work aims to show...

Full description

Bibliographic Details
Main Author: Alves, Carlos Roberto Teixeira
Other Authors: Ibri, Ivo Assad
Format: Others
Language:Portuguese
Published: Pontifícia Universidade Católica de São Paulo 2016
Subjects:
Satisfatibilidade
Tarski
Lógica de primeira ordem
Sequências finitas
Estruturas relacionais
Critérios de satisfação
Satisfiability
First-order logic
Finite sequences
Relational structures
Criteria s satisfaction
CNPQ::CIENCIAS HUMANAS::FILOSOFIA
Online Access:https://tede2.pucsp.br/handle/handle/11703

Internet

https://tede2.pucsp.br/handle/handle/11703

Similar Items