Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Luiz Carlos Pereira
@inproceedings{DBLP:conf/calco/PimentelP23,
author = {Elaine Pimentel and
Luiz Carlos Pereira},
editor = {Paolo Baldan and
Valeria de Paiva},
title = {A Tour on Ecumenical Systems (Invited Talk)},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
series = {LIPIcs},
volume = {270},
pages = {3:1--3:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2023.3},
doi = {10.4230/LIPICS.CALCO.2023.3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/PimentelP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-03656,
author = {Victor Nascimento and
Luiz Carlos Pereira and
Elaine Pimentel},
title = {An ecumenical view of proof-theoretic semantics},
journal = {CoRR},
volume = {abs/2306.03656},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.03656},
doi = {10.48550/ARXIV.2306.03656},
eprinttype = {arXiv},
eprint = {2306.03656},
timestamp = {Tue, 13 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-03656.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-02076,
author = {Sonia Marin and
Luiz Carlos Pereira and
Elaine Pimentel and
Emerson Sales},
title = {Separability and harmony in ecumenical systems},
journal = {CoRR},
volume = {abs/2204.02076},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.02076},
doi = {10.48550/ARXIV.2204.02076},
eprinttype = {arXiv},
eprint = {2204.02076},
timestamp = {Wed, 06 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-02076.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-02199,
author = {Luiz Carlos Pereira and
Elaine Pimentel},
title = {On an ecumenical natural deduction with stoup - Part {I:} The propositional
case},
journal = {CoRR},
volume = {abs/2204.02199},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.02199},
doi = {10.48550/ARXIV.2204.02199},
eprinttype = {arXiv},
eprint = {2204.02199},
timestamp = {Wed, 06 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-02199.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/PimentelPP21,
author = {Elaine Pimentel and
Luiz Carlos Pereira and
Valeria de Paiva},
title = {An ecumenical notion of entailment},
journal = {Synth.},
volume = {198},
number = {22-S},
pages = {5391--5413},
year = {2021},
url = {https://doi.org/10.1007/s11229-019-02226-5},
doi = {10.1007/S11229-019-02226-5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/synthese/PimentelPP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/MarinPPS21,
author = {Sonia Marin and
Luiz Carlos Pereira and
Elaine Pimentel and
Emerson Sales},
editor = {Alexandra Silva and
Renata Wassermann and
Ruy J. G. B. de Queiroz},
title = {A Pure View of Ecumenical Modalities},
booktitle = {Logic, Language, Information, and Computation - 27th International
Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13038},
pages = {388--407},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88853-4\_24},
doi = {10.1007/978-3-030-88853-4\_24},
timestamp = {Wed, 07 Dec 2022 23:14:05 +0100},
biburl = {https://dblp.org/rec/conf/wollic/MarinPPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dali/MarinPPS20,
author = {Sonia Marin and
Luiz Carlos Pereira and
Elaine Pimentel and
Emerson Sales},
editor = {Manuel A. Martins and
Igor Sedl{\'{a}}r},
title = {Ecumenical Modal Logic},
booktitle = {Dynamic Logic. New Trends and Applications - Third International Workshop,
DaL{\'{\i}} 2020, Prague, Czech Republic, October 9-10, 2020,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12569},
pages = {187--204},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65840-3\_12},
doi = {10.1007/978-3-030-65840-3\_12},
timestamp = {Wed, 21 Apr 2021 08:53:38 +0200},
biburl = {https://dblp.org/rec/conf/dali/MarinPPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-14325,
author = {Sonia Marin and
Luiz Carlos Pereira and
Elaine Pimentel and
Emerson Sales},
title = {Ecumenical modal logic},
journal = {CoRR},
volume = {abs/2005.14325},
year = {2020},
url = {https://arxiv.org/abs/2005.14325},
eprinttype = {arXiv},
eprint = {2005.14325},
timestamp = {Wed, 03 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-14325.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tlsdkcs/FernandesHP17,
author = {Ricardo Queiroz de Araujo Fernandes and
Edward Hermann Haeusler and
Luiz Carlos Pereira},
title = {A Proximity-Based Understanding of Conditionals},
journal = {Trans. Large Scale Data Knowl. Centered Syst.},
volume = {34},
pages = {123--152},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-55947-5\_6},
doi = {10.1007/978-3-662-55947-5\_6},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tlsdkcs/FernandesHP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/FernandesHP16,
author = {Ricardo Queiroz de Araujo Fernandes and
Edward Hermann Haeusler and
Luiz Carlos Pereira},
title = {PUC-Logic},
booktitle = {27th International Workshop on Database and Expert Systems Applications,
{DEXA} 2016 Workshops, Porto, Portugal, September 5-8, 2016},
pages = {102--105},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/DEXA.2016.034},
doi = {10.1109/DEXA.2016.034},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dexaw/FernandesHP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/EnglanderHP14,
author = {C{\'{e}}cilia Englander and
Edward Hermann Haeusler and
Luiz Carlos Pereira},
title = {Finitely many-valued logics and natural deduction},
journal = {Log. J. {IGPL}},
volume = {22},
number = {2},
pages = {333--354},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt032},
doi = {10.1093/JIGPAL/JZT032},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/EnglanderHP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FernandesHP14,
author = {Ricardo Queiroz de Araujo Fernandes and
Edward Hermann Haeusler and
Luiz Carlos Pereira},
title = {PUC-Logic},
journal = {CoRR},
volume = {abs/1402.1535},
year = {2014},
url = {http://arxiv.org/abs/1402.1535},
eprinttype = {arXiv},
eprint = {1402.1535},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FernandesHP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FernandesHP14a,
author = {Ricardo Queiroz de Araujo Fernandes and
Edward Hermann Haeusler and
Luiz Carlos Pereira},
title = {Intuitionistic PUC-Logic for Constructive Counterfactuals},
journal = {CoRR},
volume = {abs/1405.5279},
year = {2014},
url = {http://arxiv.org/abs/1405.5279},
eprinttype = {arXiv},
eprint = {1405.5279},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FernandesHP14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FernandesHP14b,
author = {Ricardo Queiroz de Araujo Fernandes and
Edward Hermann Haeusler and
Luiz Carlos Pereira},
title = {PUC-Logic embedding of Lewis' Deontic Logics},
journal = {CoRR},
volume = {abs/1405.7285},
year = {2014},
url = {http://arxiv.org/abs/1405.7285},
eprinttype = {arXiv},
eprint = {1405.7285},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FernandesHP14b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GordeevHP11,
author = {Lew Gordeev and
Edward Hermann Haeusler and
Luiz Carlos Pereira},
title = {Propositional proof compressions and {DNF} logic},
journal = {Log. J. {IGPL}},
volume = {19},
number = {1},
pages = {62--86},
year = {2011},
url = {https://doi.org/10.1093/jigpal/jzq003},
doi = {10.1093/JIGPAL/JZQ003},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/GordeevHP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/PereiraHCS10,
author = {Luiz Carlos Pereira and
Edward Hermann Haeusler and
Vaston G. Costa and
Wagner Sanz},
title = {A New Normalization Strategy for the Implicational Fragment of Classical
Propositional Logic},
journal = {Stud Logica},
volume = {96},
number = {1},
pages = {95--108},
year = {2010},
url = {https://doi.org/10.1007/s11225-010-9275-1},
doi = {10.1007/S11225-010-9275-1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/PereiraHCS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CostaSHP09,
author = {Vaston G. Costa and
Wagner Sanz and
Edward Hermann Haeusler and
Luiz Carlos Pereira},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Fairouz Kamareddine},
title = {Peirce's Rule in a Full Natural Deduction System},
booktitle = {Proceedings of the Fourth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2009, Bras{\'{\i}}lia, Brazil, August
28, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {256},
pages = {5--18},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.002},
doi = {10.1016/J.ENTCS.2009.11.002},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CostaSHP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/QueirozPH02,
author = {Ruy J. G. B. de Queiroz and
Luiz Carlos Pereira and
Edward Hermann Haeusler},
title = {9th Workshop on Logic, Language, Information and Computation},
journal = {Log. J. {IGPL}},
volume = {10},
number = {6},
pages = {679--688},
year = {2002},
url = {https://doi.org/10.1093/jigpal/10.6.679},
doi = {10.1093/JIGPAL/10.6.679},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/QueirozPH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/QueirozPH02,
author = {Ruy J. G. B. de Queiroz and
Luiz Carlos Pereira and
Edward Hermann Haeusler},
editor = {Ruy J. G. B. de Queiroz and
Luiz Carlos Pereira and
Edward Hermann Haeusler},
title = {Preface: WoLLIC 2002},
booktitle = {9th Workhop on Logic, Language, Information and Computation, WoLLIC
2002, Rio de Janeiro, Brazil, July 30 - August 2, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {67},
pages = {313--314},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80556-0},
doi = {10.1016/S1571-0661(05)80556-0},
timestamp = {Mon, 05 Dec 2022 16:07:41 +0100},
biburl = {https://dblp.org/rec/journals/entcs/QueirozPH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wollic/2002,
editor = {Ruy J. G. B. de Queiroz and
Luiz Carlos Pereira and
Edward Hermann Haeusler},
title = {9th Workhop on Logic, Language, Information and Computation, WoLLIC
2002, Rio de Janeiro, Brazil, July 30 - August 2, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {67},
publisher = {Elsevier},
year = {2002},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/67/suppl/C},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rml/PoubelP94,
author = {Hayd{\'{e}}e Werneck Poubel and
Luiz Carlos Pereira},
title = {A Categorical Approach to Higher-level Introduction and Elimination
Rules},
journal = {Reports Math. Log.},
volume = {28},
pages = {3--19},
year = {1994},
url = {https://rml.tcs.uj.edu.pl/rml-28/a-pou-28.htm},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rml/PoubelP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/PereiraH93,
author = {Luiz Carlos Pereira and
Edward Hermann Haeusler},
title = {A Formalization of Sambin's Normalization for {GL}},
journal = {Math. Log. Q.},
volume = {39},
pages = {133--142},
year = {1993},
url = {https://doi.org/10.1002/malq.19930390116},
doi = {10.1002/MALQ.19930390116},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/PereiraH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-04-21 17:18 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:
