Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912089362> ?p ?o ?g. }
Showing items 1 to 49 of
49
with 100 items per page.
- W2912089362 endingPage "114" @default.
- W2912089362 startingPage "105" @default.
- W2912089362 abstract "O objetivo da presente trabalho é mostrar como é possível fazer semântica para linguagens proposicionais em ambientes categoriais que não sejam topos. Proponho a definição de dois tipos de categorias denominadas categorias com morfismos verdade (CTM) e proto-topos. Em categorias com morfismos verdade, pode-se definir as “funções de verdade” que correspondem aos conectivos lógicos de negação, conjunção, implicação e disjunção. Em proto-topos, pode-se mostrar que as “funções de verdade” assim definidas satisfazem certas propriedades desejáveis com respeito aos valores de verdade verdadeiro e falso." @default.
- W2912089362 created "2019-02-21" @default.
- W2912089362 creator A5032121561 @default.
- W2912089362 date "2018-12-28" @default.
- W2912089362 modified "2023-09-24" @default.
- W2912089362 title "Sobre a Noção Categorial de Proto-topos" @default.
- W2912089362 doi "https://doi.org/10.26512/rfmc.v6i2.22103" @default.
- W2912089362 hasPublicationYear "2018" @default.
- W2912089362 type Work @default.
- W2912089362 sameAs 2912089362 @default.
- W2912089362 citedByCount "0" @default.
- W2912089362 crossrefType "journal-article" @default.
- W2912089362 hasAuthorship W2912089362A5032121561 @default.
- W2912089362 hasBestOaLocation W29120893621 @default.
- W2912089362 hasConcept C111472728 @default.
- W2912089362 hasConcept C124952713 @default.
- W2912089362 hasConcept C138885662 @default.
- W2912089362 hasConcept C142362112 @default.
- W2912089362 hasConcept C15708023 @default.
- W2912089362 hasConcept C182141236 @default.
- W2912089362 hasConcept C33923547 @default.
- W2912089362 hasConceptScore W2912089362C111472728 @default.
- W2912089362 hasConceptScore W2912089362C124952713 @default.
- W2912089362 hasConceptScore W2912089362C138885662 @default.
- W2912089362 hasConceptScore W2912089362C142362112 @default.
- W2912089362 hasConceptScore W2912089362C15708023 @default.
- W2912089362 hasConceptScore W2912089362C182141236 @default.
- W2912089362 hasConceptScore W2912089362C33923547 @default.
- W2912089362 hasIssue "2" @default.
- W2912089362 hasLocation W29120893621 @default.
- W2912089362 hasOpenAccess W2912089362 @default.
- W2912089362 hasPrimaryLocation W29120893621 @default.
- W2912089362 hasRelatedWork W2165986557 @default.
- W2912089362 hasRelatedWork W2473335724 @default.
- W2912089362 hasRelatedWork W2609344916 @default.
- W2912089362 hasRelatedWork W2780307509 @default.
- W2912089362 hasRelatedWork W4210390885 @default.
- W2912089362 hasRelatedWork W59019880 @default.
- W2912089362 hasRelatedWork W766819059 @default.
- W2912089362 hasRelatedWork W2308060692 @default.
- W2912089362 hasRelatedWork W2460312481 @default.
- W2912089362 hasRelatedWork W2478882070 @default.
- W2912089362 hasVolume "6" @default.
- W2912089362 isParatext "false" @default.
- W2912089362 isRetracted "false" @default.
- W2912089362 magId "2912089362" @default.
- W2912089362 workType "article" @default.