Separability and harmony in ecumenical systems.

Luiz Carlos Pereira

Sonia Marin Luiz Carlos Pereira Elaine Pimentel Emerson Sales Separability and harmony in ecumenical systems. 2025 35 J. Log. Comput. 6 https://doi.org/10.1093/logcom/exae058 db/journals/logcom/logcom35.html#MarinPPS25 streams/journals/logcom

Luiz Carlos Pereira Elaine Pimentel Valeria de Paiva Translations and Prawitz's Ecumenical System. 523-538 2025 April 113 Stud Logica 2 https://doi.org/10.1007/s11225-024-10105-5 db/journals/sLogica/sLogica113.html#PereiraPP25 streams/journals/sLogica

Luiz Carlos Pereira Elaine Pimentel On an Ecumenical Natural Deduction with Stoup. Part I: The Propositional Case. 139-169 2024 Perspectives on Deduction https://doi.org/10.1007/978-3-031-51406-7_7 books/sp/24/2024A db/books/collections/A2024.html#PereiraP24 Elaine Pimentel Luiz Carlos Pereira A Tour on Ecumenical Systems (Invited Talk). 3:1-3:15 2023 CALCO https://doi.org/10.4230/LIPIcs.CALCO.2023.3 conf/calco/2023 db/conf/calco/calco2023.html#PimentelP23

Victor Nascimento Luiz Carlos Pereira Elaine Pimentel An ecumenical view of proof-theoretic semantics. 2023 abs/2306.03656 CoRR https://doi.org/10.48550/arXiv.2306.03656 db/journals/corr/corr2306.html#abs-2306-03656

Sonia Marin Luiz Carlos Pereira Elaine Pimentel Emerson Sales Separability and harmony in ecumenical systems. 2022 abs/2204.02076 CoRR https://doi.org/10.48550/arXiv.2204.02076 db/journals/corr/corr2204.html#abs-2204-02076

Luiz Carlos Pereira Elaine Pimentel On an ecumenical natural deduction with stoup - Part I: The propositional case. 2022 abs/2204.02199 CoRR https://doi.org/10.48550/arXiv.2204.02199 db/journals/corr/corr2204.html#abs-2204-02199

Elaine Pimentel Luiz Carlos Pereira Valeria de Paiva An ecumenical notion of entailment. 5391-5413 2021 198 Synth. 22-S https://doi.org/10.1007/s11229-019-02226-5 db/journals/synthese/synthese198.html#PimentelPP21

Sonia Marin Luiz Carlos Pereira Elaine Pimentel Emerson Sales A Pure View of Ecumenical Modalities. 388-407 2021 WoLLIC https://doi.org/10.1007/978-3-030-88853-4_24 conf/wollic/2021 db/conf/wollic/wollic2021.html#MarinPPS21 Sonia Marin Luiz Carlos Pereira Elaine Pimentel Emerson Sales Ecumenical Modal Logic. 187-204 2020 DaLí https://doi.org/10.1007/978-3-030-65840-3_12 conf/dali/2020 db/conf/dali/dali2020.html#MarinPPS20

Sonia Marin Luiz Carlos Pereira Elaine Pimentel Emerson Sales Ecumenical modal logic. 2020 abs/2005.14325 CoRR https://arxiv.org/abs/2005.14325 db/journals/corr/corr2005.html#abs-2005-14325

Ricardo Queiroz de Araujo Fernandes Edward Hermann Haeusler Luiz Carlos Pereira A Proximity-Based Understanding of Conditionals. 123-152 2017 34 Trans. Large Scale Data Knowl. Centered Syst. https://doi.org/10.1007/978-3-662-55947-5_6 journals/tlsdkcs/2017-34 db/journals/tlsdkcs/tlsdkcs34.html#FernandesHP17

Ricardo Queiroz de Araujo Fernandes Edward Hermann Haeusler Luiz Carlos Pereira PUC-Logic. 102-105 2016 DEXA Workshops https://doi.org/10.1109/DEXA.2016.034 https://doi.ieeecomputersociety.org/10.1109/DEXA.2016.034 conf/dexaw/2016 db/conf/dexaw/dexaw2016.html#FernandesHP16

Cécilia Englander Edward Hermann Haeusler Luiz Carlos Pereira Finitely many-valued logics and natural deduction. 333-354 2014 22 Log. J. IGPL 2 https://doi.org/10.1093/jigpal/jzt032 db/journals/igpl/igpl22.html#EnglanderHP14

Ricardo Queiroz de Araujo Fernandes Edward Hermann Haeusler Luiz Carlos Pereira PUC-Logic. 2014 abs/1402.1535 CoRR http://arxiv.org/abs/1402.1535 db/journals/corr/corr1402.html#FernandesHP14

Ricardo Queiroz de Araujo Fernandes Edward Hermann Haeusler Luiz Carlos Pereira Intuitionistic PUC-Logic for Constructive Counterfactuals. 2014 abs/1405.5279 CoRR http://arxiv.org/abs/1405.5279 db/journals/corr/corr1405.html#FernandesHP14a

Ricardo Queiroz de Araujo Fernandes Edward Hermann Haeusler Luiz Carlos Pereira PUC-Logic embedding of Lewis' Deontic Logics. 2014 abs/1405.7285 CoRR http://arxiv.org/abs/1405.7285 db/journals/corr/corr1405.html#FernandesHP14b

Lew Gordeev Edward Hermann Haeusler Luiz Carlos Pereira Propositional proof compressions and DNF logic. 62-86 2011 19 Log. J. IGPL 1 https://doi.org/10.1093/jigpal/jzq003 db/journals/igpl/igpl19.html#GordeevHP11

Luiz Carlos Pereira Edward Hermann Haeusler Vaston G. Costa Wagner Sanz A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic. 95-108 2010 96 Stud Logica 1 https://doi.org/10.1007/s11225-010-9275-1 db/journals/sLogica/sLogica96.html#PereiraHCS10

Vaston G. Costa Wagner Sanz Edward Hermann Haeusler Luiz Carlos Pereira Peirce's Rule in a Full Natural Deduction System. 5-18 2009 conf/lsfa/2009 LSFA https://doi.org/10.1016/j.entcs.2009.11.002 db/journals/entcs/entcs256.html#CostaSHP09

Ruy J. G. B. de Queiroz Luiz Carlos Pereira Edward Hermann Haeusler 9th Workshop on Logic, Language, Information and Computation. 679-688 2002 10 Log. J. IGPL 6 https://doi.org/10.1093/jigpal/10.6.679 db/journals/igpl/igpl10.html#QueirozPH02

Ruy J. G. B. de Queiroz Luiz Carlos Pereira Edward Hermann Haeusler Preface: WoLLIC 2002 2002 conf/wollic/2002 WoLLIC https://doi.org/10.1016/S1571-0661(05)80556-0 https://www.wikidata.org/entity/Q56675588 db/journals/entcs/entcs67.html#QueirozPH02 313-314 Ruy J. G. B. de Queiroz Luiz Carlos Pereira Edward Hermann Haeusler 9th Workhop on Logic, Language, Information and Computation, WoLLIC 2002, Rio de Janeiro, Brazil, July 30 - August 2, 2002 WoLLIC Electronic Notes in Theoretical Computer Science 67 Elsevier 2002 https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/67/suppl/C db/journals/entcs/entcs67.html

Haydée Werneck Poubel Luiz Carlos Pereira A Categorical Approach to Higher-level Introduction and Elimination Rules. 3-19 1994 28 Reports Math. Log. https://rml.tcs.uj.edu.pl/rml-28/a-pou-28.htm db/journals/rml/rml28.html#PoubelP94

Luiz Carlos Pereira Edward Hermann Haeusler A Formalization of Sambin's Normalization for GL. 133-142 1993 39 Math. Log. Q. db/journals/mlq/mlq39.html#PereiraH93 https://doi.org/10.1002/malq.19930390116 https://www.wikidata.org/entity/Q126258839

Vaston G. Costa Cécilia Englander Ricardo Queiroz de Araujo Fernandes Lew Gordeev Edward Hermann Haeusler Sonia Marin Victor Nascimento Valeria de Paiva Elaine Pimentel Haydée Werneck Poubel Ruy J. G. B. de Queiroz Emerson Sales Wagner Sanz