scientific article; zbMATH DE number 1302507

From MaRDI portal

Revision as of 16:16, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4249037

Jump to:navigation, search

zbMath0924.03013MaRDI QIDQ4249037

Antonio M. A. Sette, Jairo José da Silva, Itala M. Loffredo D'Ottaviano

Publication date: 16 June 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

topological spaces translation between logics continuous functions consequence relations bicomplete category

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Abstract deductive systems (03B22)

Related Items (10)

A coalgebraic perspective on logical interpretations ⋮ New dimensions on translations between logics ⋮ Metasequents and tetravaluations ⋮ Representations of structural closure operators ⋮ Synonymous logics ⋮ Conservative translations ⋮ Notational variance and its variants ⋮ Many-Valued Logics and Translations ⋮ The middle ground-ancestral logic ⋮ Paraconsistent logics and translations

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4249037&oldid=18137324"