Publication:4249037
From MaRDI portal
zbMath0924.03013MaRDI QIDQ4249037
Antonio M. A. Sette, Jairo José da Silva, Itala M. Loffredo D'Ottaviano
Publication date: 16 June 1999
topological spaces; translation between logics; continuous functions; consequence relations; bicomplete category
Related Items
Many-Valued Logics and Translations, Conservative translations, A coalgebraic perspective on logical interpretations, Representations of structural closure operators, Synonymous logics, Paraconsistent logics and translations, New dimensions on translations between logics, The middle ground-ancestral logic, Notational variance and its variants, Metasequents and tetravaluations