| 1 | -- | 4 | Itala M. Loffredo D'Ottaviano, Ricardo Sousa Silvestre, Leandro Suguitani, Petrucio Viana. The Proceedings of the XIX EBL ? 19th Brazilian Logic Conference, 2019. A preface |
| 5 | -- | 40 | José Goudet Alvin, Arthur Francisco Schwerz Cahali, Hugo Luiz Mariano. Induced morphisms between Heyting-valued models |
| 41 | -- | 92 | Luís Soares Barbosa. Coalgebra for the working software engineer |
| 93 | -- | 134 | Jean Cerqueira Berni, Rodrigo Figueiredo, Hugo Luiz Mariano. ∞-rings and applications |
| 135 | -- | 160 | Vaston Conçalves da Costa, Edward Hermann Haeusler. Strong normalization for Np-systems via Mimp-graphs |
| 161 | -- | 174 | Samuel G. Da Silva. The generalized continuum hypothesis and two parametrized families of hit-and-miss games |
| 175 | -- | 198 | Marcelo Esteban Coniglio, Aldo Figallo Orellano, Alejandro Hernández-Tello, Miguel Pérez-Gaspar. 3 as the logic of modal 3-valued Heyting algebras |
| 199 | -- | 254 | Erick Simas Grilo, Daniel Toledo, Bruno Lopes 0001. A logical framework to reason about Reo circuits |
| 255 | -- | 286 | Eberhard Guhe. Defeasible reasoning in Navya-Nyaya |
| 287 | -- | 326 | Edward Hermann Haeusler. ⊃ |
| 327 | -- | 346 | Gregory A. Kyriazis. Extensive measurement with unrestricted concatenation and no maximal elements |
| 347 | -- | 404 | Dimi Rocha Rangel, Hugo Luiz Mariano. An algebraic (set) theory of surreal numbers, I |
| 405 | -- | 418 | Hugo Rafael de Oliveira Ribeiro, Hugo Luiz Mariano. Horn-geometric axioms for faithfully quadratic rings |
| 419 | -- | 444 | Kaique Matias de Andrade Roberto, Hugo Luiz Mariano. On superrings of polynomials and algebraically closed multifields |
| 445 | -- | 494 | Gabriel Bittencourt Rios, Daniel de Almeida Souza, Darllan Coneição Pinto, Hugo Luiz Mariano. Connecting abstract logics and adjunctions in the theory of (π-) institutions: Some theoretical remarks and applications |
| 495 | -- | 522 | Cezar A. Mortari. Some classical modal logics with a necessity/impossibility operator |
| 523 | -- | 540 | Pedro Noguez. Logicism in the eyes of the author of Tractatus Logico-Philosophicus (and of Philosophical Remarks) |
| 541 | -- | 572 | Wagner Sanz. Proof-search, analytic tableaux, models and counter-models, in Hypo constructive semantics for Minimal and Intuitionistic Propositional Logic |
| 573 | -- | 582 | Garibaldi Sarmento. A note on Tarski's remarks about the non-admissibility of a general theory of semantics |
| 583 | -- | 606 | Robert Demolombe. Causality and Responsibility in the Context of Multiple Agents |
| 607 | -- | 635 | Fei Xie, Hongxing Liu. States and Internal States on Ehoops |
| 635 | -- | 650 | Phillip L. Wilson. Quantum Immortality and Non-classical Logic |