scientific article

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 relationsbicomplete categorysemantics for nonclassical logicstranslation between logical systems

Mathematics Subject Classification ID

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

Related Items

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