Topos-Theoretic Semantics of Fibring
(Marcelo E. Coniglio, A. Sernadas, C. Sernadas)

The final version of this paper is published as:
M.E. Coniglio; A. Sernadas; C. Sernadas, "Fibring Logics with Topos Semantics"Journal of Logic and Computation 13(4):595-624, 2003.

Published: 2017-08-10