default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Walter Alexandre Carnielli
@article{DBLP:journals/jphil/AntunesRCC22,
author = {Henrique Antunes and
Abilio Rodrigues and
Walter Carnielli and
Marcelo E. Coniglio},
title = {Valuation Semantics for First-Order Logics of Evidence and Truth},
journal = {J. Philos. Log.},
volume = {51},
number = {5},
pages = {1141--1173},
year = {2022},
url = {https://doi.org/10.1007/s10992-022-09662-8},
doi = {10.1007/S10992-022-09662-8},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/AntunesRCC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/CarnielliCF22,
author = {Walter Carnielli and
Marcelo E. Coniglio and
David Fuenmayor},
title = {Logics of Formal Inconsistency Enriched with Replacement: an Algebraic
and Modal Account},
journal = {Rev. Symb. Log.},
volume = {15},
number = {3},
pages = {771--806},
year = {2022},
url = {https://doi.org/10.1017/S1755020321000277},
doi = {10.1017/S1755020321000277},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/CarnielliCF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/RasgaSC21,
author = {Jo{\~{a}}o Rasga and
Cristina Sernadas and
Walter Carnielli},
title = {Reduction Techniques for Proving Decidability in Logics and their
Meet-Combination},
journal = {Bull. Symb. Log.},
volume = {27},
number = {1},
pages = {39--66},
year = {2021},
url = {https://doi.org/10.1017/bsl.2021.17},
doi = {10.1017/BSL.2021.17},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/RasgaSC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CarnielliR21,
author = {Walter Carnielli and
Abilio Rodrigues},
title = {On epistemic and ontological interpretations of intuitionistic and
paraconsistent paradigms},
journal = {Log. J. {IGPL}},
volume = {29},
number = {4},
pages = {569--584},
year = {2021},
url = {https://doi.org/10.1093/jigpal/jzz041},
doi = {10.1093/JIGPAL/JZZ041},
timestamp = {Wed, 29 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/CarnielliR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/RodriguesBC21,
author = {Abilio Rodrigues and
Juliana Bueno{-}Soler and
Walter Carnielli},
title = {Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn
logic},
journal = {Synth.},
volume = {198},
number = {22-S},
pages = {5451--5480},
year = {2021},
url = {https://doi.org/10.1007/s11229-020-02571-w},
doi = {10.1007/S11229-020-02571-W},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/synthese/RodriguesBC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/axioms/AntunesCKR20,
author = {Henrique Antunes and
Walter Carnielli and
Andreas Kapsner and
Abilio Rodrigues},
title = {Kripke-Style Models for Logics of Evidence and Truth},
journal = {Axioms},
volume = {9},
number = {3},
pages = {100},
year = {2020},
url = {https://doi.org/10.3390/axioms9030100},
doi = {10.3390/AXIOMS9030100},
timestamp = {Tue, 20 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/axioms/AntunesCKR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BarrioC20,
author = {Eduardo Alejandro Barrio and
Walter Carnielli},
title = {Volume {I:} Recovery operators in logics of formal inconsistency},
journal = {Log. J. {IGPL}},
volume = {28},
number = {5},
pages = {615--623},
year = {2020},
url = {https://doi.org/10.1093/jigpal/jzy053},
doi = {10.1093/JIGPAL/JZY053},
timestamp = {Mon, 19 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/BarrioC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CarnielliCR20,
author = {Walter Carnielli and
Marcelo E. Coniglio and
Abilio Rodrigues},
title = {Recovery operators, paraconsistency and duality},
journal = {Log. J. {IGPL}},
volume = {28},
number = {5},
pages = {624--656},
year = {2020},
url = {https://doi.org/10.1093/jigpal/jzy054},
doi = {10.1093/JIGPAL/JZY054},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/CarnielliCR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BarrioC20a,
author = {Eduardo Alejandro Barrio and
Walter Carnielli},
title = {Volume {II:} New advances in Logics of Formal Inconsistency},
journal = {Log. J. {IGPL}},
volume = {28},
number = {5},
pages = {845--850},
year = {2020},
url = {https://doi.org/10.1093/jigpal/jzy063},
doi = {10.1093/JIGPAL/JZY063},
timestamp = {Mon, 19 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/BarrioC20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MendoncaC20,
author = {Bruno Ramos Mendon{\c{c}}a and
Walter Alexandre Carnielli},
title = {Fra{\"{\i}}ss{\'{e}}'s theorem for logics of formal inconsistency},
journal = {Log. J. {IGPL}},
volume = {28},
number = {5},
pages = {1060--1072},
year = {2020},
url = {https://doi.org/10.1093/jigpal/jzy073},
doi = {10.1093/JIGPAL/JZY073},
timestamp = {Tue, 23 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/MendoncaC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/CarnielliR19,
author = {Walter Carnielli and
Abilio Rodrigues},
title = {An epistemic approach to paraconsistency: a logic of evidence and
truth},
journal = {Synth.},
volume = {196},
number = {9},
pages = {3789--3813},
year = {2019},
url = {https://doi.org/10.1007/s11229-017-1621-7},
doi = {10.1007/S11229-017-1621-7},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/CarnielliR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CarnielliP17,
author = {Walter Alexandre Carnielli and
Gabriele Pulcini},
title = {Cut-elimination and deductive polarization in complementary classical
logic},
journal = {Log. J. {IGPL}},
volume = {25},
number = {3},
pages = {273--282},
year = {2017},
url = {https://doi.org/10.1093/jigpal/jzx006},
doi = {10.1093/JIGPAL/JZX006},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CarnielliP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CarnielliHV17,
author = {Walter Carnielli and
Edward Hermann Haeusler and
Petrucio Viana},
title = {Foreword},
journal = {Log. J. {IGPL}},
volume = {25},
number = {4},
pages = {381--386},
year = {2017},
url = {https://doi.org/10.1093/jigpal/jzx012},
doi = {10.1093/JIGPAL/JZX012},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CarnielliHV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/CarnielliL17,
author = {Walter Carnielli and
Mamede Lima{-}Marques},
title = {Society semantics and the logic way to collective intelligence},
journal = {J. Appl. Non Class. Logics},
volume = {27},
number = {3-4},
pages = {255--268},
year = {2017},
url = {https://doi.org/10.1080/11663081.2017.1420591},
doi = {10.1080/11663081.2017.1420591},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/CarnielliL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AgudeloC17,
author = {Juan Carlos Agudelo Agudelo and
Walter Carnielli},
title = {Polynomial ring calculus for modalities},
journal = {J. Log. Comput.},
volume = {27},
number = {6},
pages = {1853--1870},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv069},
doi = {10.1093/LOGCOM/EXV069},
timestamp = {Mon, 18 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/AgudeloC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entropy/Bueno-SolerC16,
author = {Juliana Bueno{-}Soler and
Walter Carnielli},
title = {Paraconsistent Probabilities: Consistency, Contradictions and Bayes'
Theorem},
journal = {Entropy},
volume = {18},
number = {9},
pages = {325},
year = {2016},
url = {https://doi.org/10.3390/e18090325},
doi = {10.3390/E18090325},
timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entropy/Bueno-SolerC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CarnielliC16,
author = {Walter Alexandre Carnielli and
Marcelo E. Coniglio},
title = {Paraconsistent set theory by predicating on consistency},
journal = {J. Log. Comput.},
volume = {26},
number = {1},
pages = {97--116},
year = {2016},
url = {https://doi.org/10.1093/logcom/ext020},
doi = {10.1093/LOGCOM/EXT020},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CarnielliC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CarnielliM15,
author = {Walter Carnielli and
Mariana Matulovic},
title = {The method of polynomial ring calculus and its potentialities},
journal = {Theor. Comput. Sci.},
volume = {606},
pages = {42--56},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.05.015},
doi = {10.1016/J.TCS.2015.05.015},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CarnielliM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CarnielliV14,
author = {Walter Alexandre Carnielli and
Renata P. de Freitas and
Petrucio Viana},
title = {The Proceedings of the {XVI} {EBL} - 16th Brazilian Logic Conference,
2011: {A} Preface},
journal = {Log. J. {IGPL}},
volume = {22},
number = {2},
pages = {181--185},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt031},
doi = {10.1093/JIGPAL/JZT031},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CarnielliV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/CarnielliCPR14,
author = {Walter Alexandre Carnielli and
Marcelo E. Coniglio and
Rodrigo Podiacki and
Tarc{\'{\i}}sio Rodrigues},
title = {On the Way to a wider Model Theory: Completeness theorems for First-order
Logics of Formal Inconsistency},
journal = {Rev. Symb. Log.},
volume = {7},
number = {3},
pages = {548--578},
year = {2014},
url = {https://doi.org/10.1017/S1755020314000148},
doi = {10.1017/S1755020314000148},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/CarnielliCPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eScience/Bueno-SolerC14,
author = {Juliana Bueno{-}Soler and
Walter Carnielli},
title = {e-Reasoning: Between Digital Humanities and e-science},
booktitle = {10th {IEEE} International Conference on e-Science, eScience Workshops
2014, Sao Paulo, Brazil, October 20-24, 2014},
pages = {33--35},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/eScience.2014.79},
doi = {10.1109/ESCIENCE.2014.79},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eScience/Bueno-SolerC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/CarnielliP13,
author = {Walter Alexandre Carnielli and
Claudio E. A. Pizzi},
title = {Special Issue on Multimodal Logics: {A} Preface},
journal = {Logica Universalis},
volume = {7},
number = {1},
pages = {1--5},
year = {2013},
url = {https://doi.org/10.1007/s11787-012-0077-2},
doi = {10.1007/S11787-012-0077-2},
timestamp = {Mon, 26 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lu/CarnielliP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Carnielli13,
author = {Walter Alexandre Carnielli},
title = {Ewa Orlowska and Joanna Golinska-Pilarek, Dual Tableaux: Foundations,
Methodology, Case Studies, Springer, Series: Trends in Logic, Vol
33, 2011, pp. xvi+523, 113 illus. {ISBN:} 978-94-007-0004-8 (hardcover)
{EURO} 181, 85, 978-94-007-0005-5 (eBook) {EURO} 159, 99},
journal = {Stud Logica},
volume = {101},
number = {1},
pages = {229--232},
year = {2013},
url = {https://doi.org/10.1007/s11225-013-9467-6},
doi = {10.1007/S11225-013-9467-6},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Carnielli13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CarnielliM14,
author = {Walter Carnielli and
Mariana Matulovic},
editor = {Maribel Fern{\'{a}}ndez and
Marcelo Finger},
title = {Non-deterministic Semantics in Polynomial Format},
booktitle = {Proceedings of the 8th Workshop on Logical and Semantic Frameworks,
{LSFA} 2013, S{\~{a}}o Paulo, Brazil, September 2-3, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {305},
pages = {19--34},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.06.003},
doi = {10.1016/J.ENTCS.2014.06.003},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/CarnielliM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/leus/CarnielliC13,
author = {Walter Alexandre Carnielli and
Marcelo E. Coniglio},
editor = {Koji Tanaka and
Francesco Berto and
Edwin D. Mares and
Francesco Paoli},
title = {On Discourses Addressed by Infidel Logicians},
booktitle = {Paraconsistency: Logic and Applications},
series = {Logic, Epistemology, and the Unity of Science},
volume = {26},
pages = {27--41},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-94-007-4438-7\_3},
doi = {10.1007/978-94-007-4438-7\_3},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/leus/CarnielliC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MagnaniCP12,
author = {Lorenzo Magnani and
Walter Alexandre Carnielli and
Claudio E. A. Pizzi},
title = {Special Issue: Formal Representations in Model-based Reasoning and
Abduction},
journal = {Log. J. {IGPL}},
volume = {20},
number = {2},
pages = {367--369},
year = {2012},
url = {https://doi.org/10.1093/jigpal/jzq055},
doi = {10.1093/JIGPAL/JZQ055},
timestamp = {Mon, 26 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/MagnaniCP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/AraujoC12,
author = {Anderson de Ara{\'{u}}jo and
Walter Alexandre Carnielli},
title = {Non-standard numbers: a semantic obstacle for modelling arithmetical
reasoning},
journal = {Log. J. {IGPL}},
volume = {20},
number = {2},
pages = {477--485},
year = {2012},
url = {https://doi.org/10.1093/jigpal/jzq051},
doi = {10.1093/JIGPAL/JZQ051},
timestamp = {Sun, 11 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/AraujoC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CaminadaCD12,
author = {Martin W. A. Caminada and
Walter Alexandre Carnielli and
Paul E. Dunne},
title = {Semi-stable semantics},
journal = {J. Log. Comput.},
volume = {22},
number = {5},
pages = {1207--1254},
year = {2012},
url = {https://doi.org/10.1093/logcom/exr033},
doi = {10.1093/LOGCOM/EXR033},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/CaminadaCD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cdm/CarnielliC11,
author = {Walter Alexandre Carnielli and
Pietro K. Carolino},
title = {Adjusting a conjecture of Erd{\H{o}}s},
journal = {Contributions Discret. Math.},
volume = {6},
number = {1},
year = {2011},
url = {http://cdm.ucalgary.ca/cdm/index.php/cdm/article/view/230},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cdm/CarnielliC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/AgudeloC11,
author = {Juan Carlos Agudelo Agudelo and
Walter Alexandre Carnielli},
title = {Polynomial Ring Calculus for Modal Logics: a New Semantics and Proof
method for Modalities},
journal = {Rev. Symb. Log.},
volume = {4},
number = {1},
pages = {150--170},
year = {2011},
url = {https://doi.org/10.1017/S1755020310000213},
doi = {10.1017/S1755020310000213},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/AgudeloC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Carnielli11,
author = {Walter Alexandre Carnielli},
title = {The Single-minded Pursuit of Consistency and its Weakness},
journal = {Stud Logica},
volume = {97},
number = {1},
pages = {81--100},
year = {2011},
url = {https://doi.org/10.1007/s11225-010-9298-7},
doi = {10.1007/S11225-010-9298-7},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Carnielli11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AgudeloC10,
author = {Juan Carlos Agudelo Agudelo and
Walter Alexandre Carnielli},
title = {Paraconsistent Machines and their Relation to Quantum Computing},
journal = {J. Log. Comput.},
volume = {20},
number = {2},
pages = {573--595},
year = {2010},
url = {https://doi.org/10.1093/logcom/exp072},
doi = {10.1093/LOGCOM/EXP072},
timestamp = {Mon, 18 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/AgudeloC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/OliveiraC09,
author = {Igor Carboni Oliveira and
Walter Alexandre Carnielli},
title = {Erratum to "The Ricean Objection: An Analogue of Rice's Theorem
for First-Order Theories" . \emph{Logic Journal of the IGPL,
16(6): 585-590(2008)}},
journal = {Log. J. {IGPL}},
volume = {17},
number = {6},
pages = {803--804},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzp030},
doi = {10.1093/JIGPAL/JZP030},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/OliveiraC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CarnielliW09,
author = {Walter Alexandre Carnielli and
Heinrich Wansing},
title = {Editorial and call for papers: The Non-classical Logics Corner of
the \emph{Journal of Logic and Computation}},
journal = {J. Log. Comput.},
volume = {19},
number = {6},
pages = {987},
year = {2009},
url = {https://doi.org/10.1093/logcom/exp026},
doi = {10.1093/LOGCOM/EXP026},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CarnielliW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/CarnielliCD09,
author = {Walter Alexandre Carnielli and
Marcelo E. Coniglio and
Itala M. Loffredo D'Ottaviano},
title = {New Dimensions on Translations Between Logics},
journal = {Logica Universalis},
volume = {3},
number = {1},
pages = {1--18},
year = {2009},
url = {https://doi.org/10.1007/s11787-009-0002-5},
doi = {10.1007/S11787-009-0002-5},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lu/CarnielliCD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/RasgaCS09,
author = {Jo{\~{a}}o Rasga and
Walter Alexandre Carnielli and
Cristina Sernadas},
title = {Interpolation via translations},
journal = {Math. Log. Q.},
volume = {55},
number = {5},
pages = {515--534},
year = {2009},
url = {https://doi.org/10.1002/malq.200810013},
doi = {10.1002/MALQ.200810013},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/RasgaCS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/leus/CarnielliP08,
author = {Walter Alexandre Carnielli and
Claudio E. A. Pizzi},
title = {Modalities and Multimodalities - With the assistance and collaboration
of Juliana Bueno-Soler},
series = {Logic, Epistemology, and the Unity of Science},
volume = {12},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-1-4020-8590-1},
doi = {10.1007/978-1-4020-8590-1},
isbn = {978-1-4020-8589-5},
timestamp = {Mon, 26 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/leus/CarnielliP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/OliveiraC08,
author = {Igor Carboni Oliveira and
Walter Alexandre Carnielli},
title = {The Ricean Objection: An Analogue of Rice's Theorem for First-order
Theories},
journal = {Log. J. {IGPL}},
volume = {16},
number = {6},
pages = {585--590},
year = {2008},
url = {https://doi.org/10.1093/jigpal/jzn023},
doi = {10.1093/JIGPAL/JZN023},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/OliveiraC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CarnielliRS08,
author = {Walter Alexandre Carnielli and
Jo{\~{a}}o Rasga and
Cristina Sernadas},
title = {Preservation of Interpolation Features by Fibring},
journal = {J. Log. Comput.},
volume = {18},
number = {1},
pages = {123--151},
year = {2008},
url = {https://doi.org/10.1093/logcom/exm061},
doi = {10.1093/LOGCOM/EXM061},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CarnielliRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/AgudeloC07,
author = {Juan Carlos Agudelo Agudelo and
Walter Alexandre Carnielli},
editor = {Selim G. Akl and
Cristian S. Calude and
Michael J. Dinneen and
Grzegorz Rozenberg and
Todd Wareham},
title = {Unconventional Models of Computation Through Non-standard Logic Circuits},
booktitle = {Unconventional Computation, 6th International Conference, {UC} 2007,
Kingston, Canada, August 13-17, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4618},
pages = {29--40},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73554-0\_5},
doi = {10.1007/978-3-540-73554-0\_5},
timestamp = {Sun, 02 Jun 2019 21:16:17 +0200},
biburl = {https://dblp.org/rec/conf/uc/AgudeloC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/Carnielli07,
author = {Walter Alexandre Carnielli},
editor = {Lorenzo Magnani and
Ping Li},
title = {Polynomizing: Logic Inference in Polynomial Format and the Legacy
of Boole},
booktitle = {Model-Based Reasoning in Science, Technology, and Medicine},
series = {Studies in Computational Intelligence},
volume = {64},
pages = {349--364},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71986-1\_20},
doi = {10.1007/978-3-540-71986-1\_20},
timestamp = {Thu, 13 Jul 2017 11:49:41 +0200},
biburl = {https://dblp.org/rec/series/sci/Carnielli07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Carnielli06,
author = {Walter Alexandre Carnielli},
title = {Surviving Abduction},
journal = {Log. J. {IGPL}},
volume = {14},
number = {2},
pages = {237--256},
year = {2006},
url = {https://doi.org/10.1093/jigpal/jzk016},
doi = {10.1093/JIGPAL/JZK016},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Carnielli06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CarnielliCD05,
author = {Walter Alexandre Carnielli and
Marcelo E. Coniglio and
Itala M. Loffredo D'Ottaviano},
title = {An Event on Brazilian Logic: Proceedings of the {XIII} Brazilian Logic
Conference},
journal = {Log. J. {IGPL}},
volume = {13},
number = {1},
pages = {1--3},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi001},
doi = {10.1093/JIGPAL/JZI001},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CarnielliCD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CarnielliM05,
author = {Walter Alexandre Carnielli and
Paulo Mateus},
title = {Editorial},
journal = {Log. J. {IGPL}},
volume = {13},
number = {6},
pages = {611--614},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi046},
doi = {10.1093/JIGPAL/JZI046},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CarnielliM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/MarcosBC05,
author = {Jo{\~{a}}o Marcos and
Diderik Batens and
Walter Alexandre Carnielli},
title = {A Paraconsistent Decagon},
journal = {J. Appl. Log.},
volume = {3},
number = {1},
pages = {1--5},
year = {2005},
url = {https://doi.org/10.1016/j.jal.2004.07.008},
doi = {10.1016/J.JAL.2004.07.008},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/MarcosBC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BrunnerC05,
author = {Andreas Bernhard Michael Brunner and
Walter Alexandre Carnielli},
title = {Anti-intuitionism and paraconsistency},
journal = {J. Appl. Log.},
volume = {3},
number = {1},
pages = {161--184},
year = {2005},
url = {https://doi.org/10.1016/j.jal.2004.07.016},
doi = {10.1016/J.JAL.2004.07.016},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/BrunnerC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CarnielliC05,
author = {Walter Alexandre Carnielli and
Marcelo E. Coniglio},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Splitting Logics},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {389--414},
publisher = {College Publications},
year = {2005},
timestamp = {Thu, 09 Jul 2020 09:13:39 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CarnielliC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iicai/AgudeloC05,
author = {Juan Carlos Agudelo Agudelo and
Walter Alexandre Carnielli},
editor = {Bhanu Prasad},
title = {Quantum Algorithms, Paraconsistent Computation and Deutsch's Problem},
booktitle = {Proceedings of the 2nd Indian International Conference on Artificial
Intelligence, Pune, India, December 20-22, 2005},
pages = {1609--1628},
publisher = {{IICAI}},
year = {2005},
timestamp = {Fri, 15 Dec 2023 18:26:01 +0100},
biburl = {https://dblp.org/rec/conf/iicai/AgudeloC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Carnielli05,
author = {Walter Alexandre Carnielli},
title = {Polynomial Ring Calculus for Many-Valued Logics},
booktitle = {35th {IEEE} International Symposium on Multiple-Valued Logic {(ISMVL}
2005), 18-21 May 2005, Calgary, Canada},
pages = {20--25},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ISMVL.2005.38},
doi = {10.1109/ISMVL.2005.38},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/Carnielli05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CarnielliCD04,
author = {Walter Alexandre Carnielli and
Marcelo E. Coniglio and
Itala M. Loffredo D'Ottaviano},
title = {Editorial},
journal = {Log. J. {IGPL}},
volume = {12},
number = {6},
pages = {431--437},
year = {2004},
url = {https://doi.org/10.1093/jigpal/12.6.431},
doi = {10.1093/JIGPAL/12.6.431},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CarnielliCD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Carnielli04,
author = {Walter Alexandre Carnielli},
title = {Book Review: Yves Nievergelt, Foundations of Logic and Mathematics:
Applications to Computer Science and Cryptography, Birk{\"{a}}user
Verlag, 2002, pp 480, {ISBN} 0-8176-4249-8},
journal = {Stud Logica},
volume = {78},
number = {3},
pages = {479--481},
year = {2004},
url = {https://doi.org/10.1007/s11225-004-6046-x},
doi = {10.1007/S11225-004-6046-X},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Carnielli04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/leus/VelosoC04,
author = {Paulo A. S. Veloso and
Walter Alexandre Carnielli},
editor = {Shahid Rahman and
John Symons and
Dov M. Gabbay and
Jean Paul Van Bendegem},
title = {Logics For Qualitative Reasoning},
booktitle = {Logic, Epistemology, and the Unity of Science},
series = {Logic, Epistemology, and the Unity of Science},
volume = {1},
pages = {487--526},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-1-4020-2808-3\_23},
doi = {10.1007/978-1-4020-2808-3\_23},
timestamp = {Tue, 16 May 2017 14:24:24 +0200},
biburl = {https://dblp.org/rec/series/leus/VelosoC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jei/GuliatoRCZD03,
author = {Denise Guliato and
Rangaraj M. Rangayyan and
Walter Alexandre Carnielli and
Jo{\~{a}}o Antonio Zuffo and
J. E. Leo Desautels},
title = {Segmentation of breast tumors in mammograms using fuzzy sets},
journal = {J. Electronic Imaging},
volume = {12},
number = {3},
pages = {369--378},
year = {2003},
url = {https://doi.org/10.1117/1.1579017},
doi = {10.1117/1.1579017},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jei/GuliatoRCZD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jei/GuliatoRCZD03a,
author = {Denise Guliato and
Rangaraj M. Rangayyan and
Walter Alexandre Carnielli and
Jo{\~{a}}o Antonio Zuffo and
J. E. Leo Desautels},
title = {Fuzzy fusion operators to combine results of complementary medical
image segmentation techniques},
journal = {J. Electronic Imaging},
volume = {12},
number = {3},
pages = {379--389},
year = {2003},
url = {https://doi.org/10.1117/1.1578639},
doi = {10.1117/1.1578639},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jei/GuliatoRCZD03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/CaleiroCCSS03,
author = {Carlos Caleiro and
Walter Alexandre Carnielli and
Marcelo E. Coniglio and
Am{\'{\i}}lcar Sernadas and
Cristina Sernadas},
title = {Fibring Non-Truth-Functional Logics: Completeness Preservation},
journal = {J. Log. Lang. Inf.},
volume = {12},
number = {2},
pages = {183--211},
year = {2003},
url = {https://doi.org/10.1023/A:1022301711366},
doi = {10.1023/A:1022301711366},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/CaleiroCCSS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/SernadasRC02,
author = {Cristina Sernadas and
Jo{\~{a}}o Rasga and
Walter Alexandre Carnielli},
title = {Modulated Fibring and The Collapsing Problem},
journal = {J. Symb. Log.},
volume = {67},
number = {4},
pages = {1541--1569},
year = {2002},
url = {https://doi.org/10.2178/jsl/1190150298},
doi = {10.2178/JSL/1190150298},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/SernadasRC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/ConiglioC02,
author = {Marcelo E. Coniglio and
Walter Alexandre Carnielli},
title = {Transfers between Logics and their Applications},
journal = {Stud Logica},
volume = {72},
number = {3},
pages = {367--400},
year = {2002},
url = {https://doi.org/10.1023/A:1021845424153},
doi = {10.1023/A:1021845424153},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/ConiglioC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/AmoCM02,
author = {Sandra de Amo and
Walter Alexandre Carnielli and
Jo{\~{a}}o Marcos},
editor = {Thomas Eiter and
Klaus{-}Dieter Schewe},
title = {A Logical Framework for Integrating Inconsistent Information in Multiple
Databases},
booktitle = {Foundations of Information and Knowledge Systems, Second International
Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2284},
pages = {67--84},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45758-5\_5},
doi = {10.1007/3-540-45758-5\_5},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/foiks/AmoCM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/CarnielliC00,
author = {Walter Alexandre Carnielli and
Emerson L. Monte Carmelo},
title = {\emph{K}\({}_{\mbox{2, 2}}\)-\emph{K}\({}_{\mbox{1, n}}\) and \emph{K}\({}_{\mbox{2,
n}}\)-\emph{K}\({}_{\mbox{2, n}}\) bipartite Ramsey numbers},
journal = {Discret. Math.},
volume = {223},
number = {1-3},
pages = {83--92},
year = {2000},
url = {https://doi.org/10.1016/S0012-365X(00)00041-8},
doi = {10.1016/S0012-365X(00)00041-8},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/CarnielliC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/RahmanC00,
author = {Sahid Rahman and
Walter Alexandre Carnielli},
title = {The Dialogical Approach to Paraconsistency},
journal = {Synth.},
volume = {125},
number = {1-2},
pages = {201--232},
year = {2000},
url = {https://doi.org/10.1023/A:1005294523930},
doi = {10.1023/A:1005294523930},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/RahmanC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/CarnielliM99,
author = {Walter Alexandre Carnielli and
Jo{\~{a}}o Marcos},
title = {Limits for Paraconsistent Calculi},
journal = {Notre Dame J. Formal Log.},
volume = {40},
number = {3},
pages = {375--390},
year = {1999},
url = {https://doi.org/10.1305/ndjfl/1022615617},
doi = {10.1305/NDJFL/1022615617},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/CarnielliM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miip/GuliatoRCZD99,
author = {Denise Guliato and
Rangaraj M. Rangayyan and
Walter Alexandre Carnielli and
Jo{\~{a}}o Antonio Zuffo and
J. E. Leo Desautels},
editor = {Kenneth M. Hanson},
title = {Fuzzy fusion of results of medical image segmentation},
booktitle = {Medical Imaging 1999: Image Processing, San Diego, CA, United States,
20-26 February 1999},
series = {{SPIE} Proceedings},
volume = {3661},
publisher = {{SPIE}},
year = {1999},
url = {https://doi.org/10.1117/12.348502},
doi = {10.1117/12.348502},
timestamp = {Tue, 29 May 2018 07:51:44 +0200},
biburl = {https://dblp.org/rec/conf/miip/GuliatoRCZD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/DOttavianoCSW97,
author = {Itala M. Loffredo D'Ottaviano and
Walter Alexandre Carnielli and
Antonio Mario Sette and
Michael B. Wrigley},
title = {{XI} Brazilian Conference on Mathematical Logic},
journal = {Log. J. {IGPL}},
volume = {5},
number = {3},
pages = {1--38},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.3.1-f},
doi = {10.1093/JIGPAL/5.3.1-F},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/DOttavianoCSW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/CarnielliV97,
author = {Walter Alexandre Carnielli and
Paulo A. S. Veloso},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Ultrafilter Logic and Generic Reasoning},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {34--53},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_31},
doi = {10.1007/3-540-63385-5\_31},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/kgc/CarnielliV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/SetteC95,
author = {Antonio Mario Sette and
Walter Alexandre Carnielli},
title = {Maximal weakly-intuitionistic logics},
journal = {Stud Logica},
volume = {55},
number = {1},
pages = {181--203},
year = {1995},
url = {https://doi.org/10.1007/BF01053037},
doi = {10.1007/BF01053037},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/SetteC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/PriscoC93,
author = {Carlos A. Di Prisco and
Walter Alexandre Carnielli},
title = {Some Results an Polarized Relations of Higher Dimension},
journal = {Math. Log. Q.},
volume = {39},
pages = {461--474},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390150},
doi = {10.1002/MALQ.19930390150},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/PriscoC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/CarnielliM92,
author = {Walter Alexandre Carnielli and
Mamede Lima{-}Marques},
title = {Reasoning under Inconsistent Knowledge},
journal = {J. Appl. Non Class. Logics},
volume = {2},
number = {1},
year = {1992},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/CarnielliM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CarnielliCM91,
author = {Walter Alexandre Carnielli and
Luis Fari{\~{n}}as del Cerro and
Mamede Lima{-}Marques},
editor = {John Mylopoulos and
Raymond Reiter},
title = {Contextual Negations and Reasoning with Contradictions},
booktitle = {Proceedings of the 12th International Joint Conference on Artificial
Intelligence. Sydney, Australia, August 24-30, 1991},
pages = {532--537},
publisher = {Morgan Kaufmann},
year = {1991},
url = {http://ijcai.org/Proceedings/91-1/Papers/082.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:13 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CarnielliCM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Carnielli90,
author = {Walter Alexandre Carnielli},
title = {Many-Valued Logics and Plausible Reasoning},
booktitle = {Proceedings of the 20th International Symposium on Multiple-Valued
Logic, {ISMVL} 1990, Charlotte, NC, USA, May 23-25, 1990},
pages = {328--335},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/ISMVL.1990.122642},
doi = {10.1109/ISMVL.1990.122642},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/Carnielli90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Carnielli87,
author = {Walter Alexandre Carnielli},
title = {Systematization of Finite Many-Valued Logics Through the Method of
Tableaux},
journal = {J. Symb. Log.},
volume = {52},
number = {2},
pages = {473--493},
year = {1987},
url = {https://doi.org/10.2307/2274395},
doi = {10.2307/2274395},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Carnielli87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Carnielli87,
author = {Walter Alexandre Carnielli},
title = {The problem Of Quantificational Completeness and the Characterization
of All Perfect Quantifiers in 3-Valued Logics},
journal = {Math. Log. Q.},
volume = {33},
number = {1},
pages = {19--29},
year = {1987},
url = {https://doi.org/10.1002/malq.19870330104},
doi = {10.1002/MALQ.19870330104},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Carnielli87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Carnielli86,
author = {Walter Alexandre Carnielli},
title = {Meeting of the Association for Symbolic Logic: Campinas, Brazil, 1985},
journal = {J. Symb. Log.},
volume = {51},
number = {4},
pages = {1093--1103},
year = {1986},
url = {https://doi.org/10.2307/2273931},
doi = {10.2307/2273931},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Carnielli86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/Carnielli85,
author = {Walter Alexandre Carnielli},
title = {On covering and coloring problems for rook domains},
journal = {Discret. Math.},
volume = {57},
number = {1-2},
pages = {9--16},
year = {1985},
url = {https://doi.org/10.1016/0012-365X(85)90152-9},
doi = {10.1016/0012-365X(85)90152-9},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/Carnielli85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/AlcantaraC81,
author = {Luiz Paulo de Alcantara and
Walter Alexandre Carnielli},
title = {Transfinite Induction on Ordinal Configurations},
journal = {Math. Log. Q.},
volume = {27},
number = {31-35},
pages = {531--538},
year = {1981},
url = {https://doi.org/10.1002/malq.19810273105},
doi = {10.1002/MALQ.19810273105},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/AlcantaraC81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-08-27 22:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
