About И-quantifiers
Gabbay and Pitts observed that the Fraenkel–Mostowski model of set-theory supports useful notions of “name-abstraction” and “fresh-name”. In order to understand their work in a more general setting we introduce the notions of И-units and И-relations in a regular category D. A И-relation is given by...
Guardado en:
Autor principal: | Menni, Matías |
---|---|
Formato: | Articulo |
Lenguaje: | Inglés |
Publicado: |
2003
|
Materias: | |
Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/138799 |
Aporte de: |
Ejemplares similares
-
An alternative notion of quantifiers on three-valued Łukasiewicz algebras
por: Petrovich, Alejandro Gustavo
Publicado: (2017) -
An alternative notion of quantifiers on three-valued Łukasiewicz algebras
por: Petrovich, A., et al. -
An Alternative Definition of Quantifiers on Four-Valued Łukasiewicz Algebras
Publicado: (2017) -
An Alternative Definition of Quantifiers on Four-Valued Łukasiewicz Algebras
por: González, L.J., et al. -
On Some Categories of Involutive Centered Residuated Lattices
por: Castiglioni, José Luis, et al.
Publicado: (2008)