Marcelo Esteban Coniglio
Marcelo Esteban Coniglio
Professor of Logic, University of Campinas
Verifierad e-postadress på unicamp.br - Startsida
Titel
Citeras av
Citeras av
År
Logics of formal inconsistency
W Carnielli, ME Coniglio, J Marcos
Handbook of philosophical logic, 1-93, 2007
4312007
Paraconsistent logic: Consistency, contradiction and negation
W Carnielli, ME Coniglio
Springer International Publishing, 2016
1312016
Analysis and Synthesis of Logics: how to cut and paste reasoning systems
W Carnielli, M Coniglio, DM Gabbay, P Gouveia, C Sernadas
Springer Science & Business Media, 2008
1112008
Two's company:“The humbug of many logical values”
C Caleiro, W Carnielli, M Coniglio, J Marcos
Logica universalis, 169-189, 2005
732005
Paraconsistency: The logical way to the inconsistent
WA Carnielli, M Coniglio, IML D'ottaviano
CRC Press, 2002
732002
Combining logics
W Carnielli, ME Coniglio
The Stanford Encyclopedia of Philosophy 2007, 2007
612007
Fibring non-truth-functional logics: Completeness preservation
C Caleiro, WA Carnielli, ME Coniglio, A Sernadas, C Sernadas
Journal of Logic, Language and Information 12 (2), 183-211, 2003
612003
Finite algebraizability via possible-translations semantics
J Bueno, M Coniglio, W Carnielli
Proceedings of CombLog, 79-86, 2004
58*2004
New dimensions on translations between logics
WA Carnielli, ME Coniglio, IML D’ottaviano
Logica Universalis 3 (1), 1-18, 2009
432009
An alternative approach for Quasi-Truth
ME Coniglio, LH da Cruz Silvestrini
Logic Journal of the IGPL (to appear), 0
41*
Combining valuations with society semantics
VL Fernández, ME Coniglio
Journal of Applied Non-Classical Logics 13 (1), 21-46, 2003
372003
Sequent Calculi for the classical fragment of Bochvar and Halldén's Nonsense Logics
ME Coniglio, MI Corbalán
Electronic Proceedings in Theoretical Computer Science 113, 125-136, 2013
352013
Splitting Logics
W Carnielli, ME Coniglio
We Will Show Them! Essays in Honour of Dov Gabbay 1, 389-414, 2005
352005
Fibring logics with topos semantics
ME Coniglio, AC Sernadas, CS Sernadas
Journal of Logic and Computation 13 (4), 595-624, 2003
352003
Transfers between logics and their applications
ME Coniglio, WA Carnielli
Studia Logica 72 (3), 367-400, 2002
342002
A categorial approach to the combination of logics
WA Carnielli, ME Coniglio
321999
Fibring algebraizable consequence systems
VL Fernández, ME Coniglio
Proceedings of CombLog, 93-98, 2004
252004
Logics of deontic inconsistency
ME Coniglio
CLE e-Prints 7 (4), 2007
242007
A graph-theoretic account of logics
A Sernadas, C Sernadas, J Rasga, M Coniglio
Journal of Logic and Computation 19 (6), 1281-1320, 2009
222009
Recovering a logic from its fragments by meta-fibring
ME Coniglio
Logica Universalis 1 (2), 377-416, 2007
212007
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20