Categorias com morfismos verdade e prototopos: uma semântica para linguagens proposicionais (original) (raw)
2019, Seminário Lógica no Avião
O objetivo do presente trabalhoé desenvolver algumas propriedades de categorias que são mais gerais que categorias que são topos. Apresentamos, assim, os conceitos de categorias com morfismos verdade (CTM) e prototopos, mostrando como se podem definir os morfismos verdade nessas categorias de modo a prover uma semântica para linguagens proposicionais usuais. Mostramos, também, que em categorias com morfismos verdade vale um teorema análogo ao teorema fundamental da teoria de topos.
Sign up for access to the world's latest research.
checkGet notified about relevant papers
checkSave papers to use in your research
checkJoin the discussion with peers
checkTrack your impact