×

Found 13 Documents (Results 1–13)

100
MathJax

On Galois connexions. (English) Zbl 0875.06003

Orman, Gabriel V. (ed.), Proceedings of the 3rd colloquium of logic, language, mathematics linguistics, Braşov, Romania, May 23-25, 1991. Braşov: Transilvania Univ. of Braşov, Fac. of Science, Dept. of Math. 95-110 (1991).
MSC:  06A15 68Q45
PDF BibTeX XML Cite

Gaggle theory: An abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators. (English) Zbl 0814.03044

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 31-51 (1991).
PDF BibTeX XML Cite

Filter Results by …

Document Type

all top 3

Classification