Topological representation for monadic implication algebras
| Autor: | Manuel Abad, Cecilia Rossana Cimadamore, José Patricio Díaz Varela |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2009 |
| Předmět: |
Matemáticas
DUAL CATEGORICAL EQUIVALENCE General Mathematics Monadic Boolean algebra Software_PROGRAMMINGTECHNIQUES Topology Monadic predicate calculus Matemática Pura purl.org/becyt/ford/1 [https] dual categorical equivalence Computer Science::Logic in Computer Science Mathematics::Category Theory QA1-939 Equivalence (formal languages) Mathematics purl.org/becyt/ford/1.1 [https] MONADIC BOOLEAN ALGEBRA implication algebra IMPLICATION ALGEBRA Algebra TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Interior algebra Number theory monadic boolean algebra 03g25 TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS IMPLICATION SPACES 06e15 implication spaces 06f99 CIENCIAS NATURALES Y EXACTAS Computer Science::Formal Languages and Automata Theory |
| Zdroj: | CONICET Digital (CONICET) Consejo Nacional de Investigaciones Científicas y Técnicas instacron:CONICET Open Mathematics, Vol 7, Iss 2, Pp 299-309 (2009) |
| Popis: | In this paper, every monadic implication algebra is represented as a union of a unique family of monadic filters of a suitable monadic Boolean algebra. Inspired by this representation, we introduce the notion of a monadic implication space, we give a topological representation for monadic implication algebras and we prove a dual equivalence between the category of monadic implication algebras and the category of monadic implication spaces. Fil: Abad, Manuel. Universidad Nacional del Sur. Departamento de Matemática; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina Fil: Cimadamore, Cecilia Rossana. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Matemática Bahía Blanca. Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática Bahía Blanca; Argentina Fil: Díaz Varela, José Patricio. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Matemática Bahía Blanca. Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática Bahía Blanca; Argentina |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|