scientific article

From MaRDI portal

Publication:2782494

Jump to:navigation, search

zbMath0992.03085MaRDI QIDQ2782494

Till Mossakowski, Cristina Sernadas, Amílcar Sernadas, Carlos Caleiro

Publication date: 5 August 2002

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

zbMATH Keywords

coproduct category of signatures Hilbert calculi co-Cartesian lifting constrained fibring free unconstrained fibring interpretation systems logics with variables, terms and binding operators

Mathematics Subject Classification ID

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

This page was built for publication:

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