Fibring Logics with Topos Semantics

Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas. Fibring Logics with Topos Semantics. Journal of Logic and Computation, 13(4):595-624, 2003. [doi]

Abstract

Abstract is missing.