2007 |
13 | EE | Víctor L. Fernández,
Marcelo E. Coniglio:
Fibring in the Leibniz Hierarchy.
Logic Journal of the IGPL 15(5-6): 475-501 (2007) |
2006 |
12 | EE | Luís A. Sbardellini,
Marcelo E. Coniglio:
Some Results on Ordered Structures in Toposes.
Reports on Mathematical Logic 40: 181-198 (2006) |
2005 |
11 | | Marcelo E. Coniglio,
Víctor L. Fernández:
Plain Fibring and Direct Union of Logics with Matrix Semantics.
IICAI 2005: 1590-1608 |
10 | | Jean-Yves Béziau,
Marcelo E. Coniglio:
Combining Conjunction with Disjunction.
IICAI 2005: 1648-1658 |
9 | | Walter Alexandre Carnielli,
Marcelo E. Coniglio:
Splitting Logics.
We Will Show Them! (1) 2005: 389-414 |
8 | EE | Walter Alexandre Carnielli,
Marcelo E. Coniglio,
Itala M. Loffredo D'Ottaviano:
An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference.
Logic Journal of the IGPL 13(1): 1-3 (2005) |
2004 |
7 | EE | Walter Alexandre Carnielli,
Marcelo E. Coniglio,
Itala M. Loffredo D'Ottaviano:
Editorial.
Logic Journal of the IGPL 12(6): 431-437 (2004) |
2003 |
6 | EE | Marcelo E. Coniglio,
Amílcar Sernadas,
Cristina Sernadas:
Fibring Logics with Topos Semantics.
J. Log. Comput. 13(4): 595-624 (2003) |
5 | | Víctor L. Fernández,
Marcelo E. Coniglio:
Combining Valuations with Society Semantics.
Journal of Applied Non-Classical Logics 13(1): 21-46 (2003) |
4 | | Carlos Caleiro,
Walter Alexandre Carnielli,
Marcelo E. Coniglio,
Amílcar Sernadas,
Cristina Sernadas:
Fibring Non-Truth-Functional Logics: Completeness Preservation.
Journal of Logic, Language and Information 12(2): 183-211 (2003) |
2002 |
3 | | Marcelo E. Coniglio,
Walter Alexandre Carnielli:
Transfers between Logics and their Applications.
Studia Logica 72(3): 367-400 (2002) |
2001 |
2 | | Marcelo E. Coniglio,
Francisco Miraglia:
Modules in the category of sheaves over quantales.
Ann. Pure Appl. Logic 108(1-3): 103-136 (2001) |
2000 |
1 | | Marcelo E. Coniglio,
Francisco Miraglia:
Non-Commutative Topology and Quantales.
Studia Logica 65(2): 223-236 (2000) |