关注
Marcelo Esteban Coniglio
Marcelo Esteban Coniglio
Professor of Logic, University of Campinas
在 unicamp.br 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Logics of formal inconsistency
W Carnielli, ME Coniglio, J Marcos
Handbook of philosophical logic, 1-93, 2007
5602007
Paraconsistent logic: Consistency, contradiction and negation
WA Carnielli, ME Coniglio
Springer, 2016
2502016
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
1312008
Two's company:“The humbug of many logical values”
C Caleiro, W Carnielli, M Coniglio, J Marcos
Logica universalis: Towards a general theory of logic, 169-189, 2005
962005
Combining logics
W Carnielli, ME Coniglio
The Stanford Encyclopedia of Philosophy 2007, 2007
842007
Paraconsistency: The logical way to the inconsistent
WA Carnielli, M Coniglio, IML D'ottaviano
CRC Press, 2002
822002
Fibring non-truth-functional logics: Completeness preservation
C Caleiro, WA Carnielli, ME Coniglio, A Sernadas, C Sernadas
Journal of Logic, Language and Information 12, 183-211, 2003
642003
Finite algebraizability via possible-translations semantics
J Bueno, M Coniglio, W Carnielli
Proceedings of CombLog, 79-86, 2004
61*2004
An alternative approach for Quasi-Truth
ME Coniglio, LH da Cruz Silvestrini
Logic Journal of the IGPL (to appear), 0
54*
Combining valuations with society semantics
VL Fernández, ME Coniglio
Journal of Applied Non-Classical Logics 13 (1), 21-46, 2003
482003
New dimensions on translations between logics
WA Carnielli, ME Coniglio, IML D’Ottaviano
Logica Universalis 3, 1-18, 2009
472009
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
462013
Lógicas moduladas e raciocínio sob incerteza
MCC Gracio
[sn], 1999
421999
Finite non-deterministic semantics for some modal systems
ME Coniglio, LF del Cerro, NM Peron
Journal of Applied Non-Classical Logics 25 (1), 20-45, 2015
402015
Splitting Logics
W Carnielli, ME Coniglio
We Will Show Them! Essays in Honour of Dov Gabbay 1, 389-414, 2005
362005
Fibring logics with topos semantics
ME Coniglio, AC Sernadas, CS Sernadas
Journal of Logic and Computation 13 (4), 595-624, 2003
362003
Transfers between logics and their applications
ME Coniglio, WA Carnielli
Studia Logica 72, 367-400, 2002
362002
A categorial approach to the combination of logics
WA Carnielli, ME Coniglio
331999
Recovery operators, paraconsistency and duality
W Carnielli, ME Coniglio, A Rodrigues
Logic Journal of the IGPL 28 (5), 624-656, 2020
312020
Non-deterministic algebraization of logics by swap structures
ME Coniglio, A Figallo-Orellano, AC Golzio
Logic Journal of the IGPL 28 (5), 1021-1059, 2020
272020
系统目前无法执行此操作，请稍后再试。
文章 1–20