Lógica deôntica básica e filtros
A lógica deôntica é um ramo da lógica simbólica interessada em noções como obrigatório, permitido, proibido e outras similares. Uma apresentação da Lógica Deôntica Padrão, conhecida como a lógica modal KD, tem uma aparência que lembra a estrutura matemática dos filtros. Mostramos que, de fato, a cl...
| Main Authors: | , , |
|---|---|
| Formato: | Artigo |
| Idioma: | Portuguese |
| Publicado: |
Universidade Federal do Ceará
2019-11-01
|
| Series: | Argumentos |
| Subjects: | |
| Acceso en liña: | http://periodicos.ufc.br/argumentos/article/view/41740 |
| _version_ | 1827310541813579776 |
|---|---|
| author | Cristiane A. Lázaro Hércules Feitosa Marcelo R. Soares |
| author_facet | Cristiane A. Lázaro Hércules Feitosa Marcelo R. Soares |
| author_sort | Cristiane A. Lázaro |
| collection | DOAJ |
| description |
A lógica deôntica é um ramo da lógica simbólica interessada em noções como obrigatório, permitido, proibido e outras similares. Uma apresentação da Lógica Deôntica Padrão, conhecida como a lógica modal KD, tem uma aparência que lembra a estrutura matemática dos filtros. Mostramos que, de fato, a classe de filtros próprios em álgebras booleanas é um modelo adequado para KD.
|
| first_indexed | 2024-04-24T20:01:40Z |
| format | Article |
| id | doaj.art-b2a53da2015d4272b671fe9d97e71c77 |
| institution | Directory Open Access Journal |
| issn | 1984-4247 1984-4255 |
| language | Portuguese |
| last_indexed | 2024-04-24T20:01:40Z |
| publishDate | 2019-11-01 |
| publisher | Universidade Federal do Ceará |
| record_format | Article |
| series | Argumentos |
| spelling | doaj.art-b2a53da2015d4272b671fe9d97e71c772024-03-24T10:13:12ZporUniversidade Federal do CearáArgumentos1984-42471984-42552019-11-012210.36517/Argumentos.22.1Lógica deôntica básica e filtrosCristiane A. Lázaro0https://orcid.org/0000-0002-0260-6976Hércules Feitosa1https://orcid.org/0000-0003-0023-4192Marcelo R. Soares2https://orcid.org/0000-0002-1996-5350UNESPUNESPUNESP A lógica deôntica é um ramo da lógica simbólica interessada em noções como obrigatório, permitido, proibido e outras similares. Uma apresentação da Lógica Deôntica Padrão, conhecida como a lógica modal KD, tem uma aparência que lembra a estrutura matemática dos filtros. Mostramos que, de fato, a classe de filtros próprios em álgebras booleanas é um modelo adequado para KD. http://periodicos.ufc.br/argumentos/article/view/41740Lógica deôntica. Filtros. Lógicas Modais. Modelos para lógicas modais. |
| spellingShingle | Cristiane A. Lázaro Hércules Feitosa Marcelo R. Soares Lógica deôntica básica e filtros Argumentos Lógica deôntica. Filtros. Lógicas Modais. Modelos para lógicas modais. |
| title | Lógica deôntica básica e filtros |
| title_full | Lógica deôntica básica e filtros |
| title_fullStr | Lógica deôntica básica e filtros |
| title_full_unstemmed | Lógica deôntica básica e filtros |
| title_short | Lógica deôntica básica e filtros |
| title_sort | logica deontica basica e filtros |
| topic | Lógica deôntica. Filtros. Lógicas Modais. Modelos para lógicas modais. |
| url | http://periodicos.ufc.br/argumentos/article/view/41740 |
| work_keys_str_mv | AT cristianealazaro logicadeonticabasicaefiltros AT herculesfeitosa logicadeonticabasicaefiltros AT marcelorsoares logicadeonticabasicaefiltros |