Geodesic
An equational metalogic for monadic equational systems
Theory and applications of categories, CT2011, Tome 27 (2012), pp. 464-492

Voir la notice de l'article provenant de la source Theory and Applications of Categories website

The paper presents algebraic and logical developments. From the algebraic viewpoint, we introduce Monadic Equational Systems as an abstract enriched notion of equational presentation. From the logical viewpoint, we provide Equational Metalogic as a general formal deductive system for the derivability of equational consequences. Relating the two, a canonical model theory for Monadic Equational Systems is given and for it the soundness of Equational Metalogic is established. This development involves a study of clone and double-dualization structures. We also show that in the presence of free algebras %constructions the model theory of Monadic Equational Systems satisfies an internal strong-completeness property.

Publié le :
Classification : 18A15, 18C10, 18C15, 18C20, 18C50, 18D20, 18D25, 68Q55, 03B22
Keywords: Monoidal action, strong monad, clones, double dualization, equational presentation, free algebra, equational logic, soundness, (strong) completeness 
@article{TAC_2012_27_a17,
     author = {Marcelo Fiore},
     title = {An equational metalogic for monadic equational systems},
     journal = {Theory and applications of categories},
     pages = {464--492},
     publisher = {mathdoc},
     volume = {27},
     year = {2012},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2012_27_a17/}
}
TY  - JOUR
AU  - Marcelo Fiore
TI  - An equational metalogic for monadic equational systems
JO  - Theory and applications of categories
PY  - 2012
SP  - 464
EP  - 492
VL  - 27
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2012_27_a17/
LA  - en
ID  - TAC_2012_27_a17
ER  - 
%0 Journal Article
%A Marcelo Fiore
%T An equational metalogic for monadic equational systems
%J Theory and applications of categories
%D 2012
%P 464-492
%V 27
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2012_27_a17/
%G en
%F TAC_2012_27_a17
Marcelo Fiore. An equational metalogic for monadic equational systems. Theory and applications of categories, CT2011, Tome 27 (2012), pp. 464-492. http://geodesic.mathdoc.fr/item/TAC_2012_27_a17/