scientific article

From MaRDI portal

Revision as of 14:24, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

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

Publication:2753262

Jump to:navigation, search

zbMath0982.03006MaRDI QIDQ2753262

Itala M. Loffredo D'Ottaviano, Walter Alexandre Carnielli

Publication date: 26 February 2002

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

zbMATH Keywords

consequence relations bicomplete category semantics for nonclassical logics translation between logical systems

Mathematics Subject Classification ID

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

Related Items (8)

New Algebras and Logic from a Category of Rough Sets ⋮ What is a logic translation? ⋮ Intuitionistic logic is a connexive logic ⋮ A note on closure spaces determined by intersections ⋮ Conservative translations ⋮ Limits for paraconsistent calculi ⋮ Many-Valued Logics and Translations ⋮ Paraconsistent logics and translations

This page was built for publication:

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