×

Found 41 Documents (Results 1–41)

A closure for symmetric Heyting algebras. (English) Zbl 0820.06004

Proceedings of the IX Latin American symposium on mathematical logic, Bahía Blanca, Argentina, August 3-8, 1992. Part 2. Bahía Blanca: Universidad Nacional del Sur, Notas Logica Mat. 39, 167-175 (1994).
MSC:  06D20
PDFBibTeX XMLCite

Free algebras of nonclassical logics. (Svobodnye algebry neklassicheskikh logik). Ed. by L. L. Ehsakiya. (Svobodnye algebry neklassicheskikh logik.) (Russian) Zbl 0727.03038

Institut Kibernetiki AN GSSR, Tbilisi (USSR). Tbilisi: Metsniereba. 112 p. R. 1.10 (1987).
Reviewer: V.Meskhi (Tbilisi)
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software