Fibring in the Leibniz Hierarchy

DOI10.1093/jigpal/jzm036zbMath1135.03033OpenAlexW2078222970WikidataQ123155491 ScholiaQ123155491MaRDI QIDQ5436988

Marcelo E. Coniglio, Víctor L. Fernández

Publication date: 18 January 2008

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzm036

zbMATH Keywords

abstract algebraic logicfibring of logicscategorical combination of logics

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

Related Items (2)

Categorical abstract algebraic logic: meet-combination of logical systems ⋮ Homotopical Categories of Logics

This page was built for publication: Fibring in the Leibniz Hierarchy