program

PROGRAM

PLEASE NOTICE THAT THE TIME OF THE TALKS ARE GIVEN IN UTC-5 BOGOTÁ TIME.

Book of abstracts.

TUESDAY DECEMBER 14th, 2021

  • 12:30-13:00 Bogotá UTC-5 (14:30-15:00 UTC-3 Brasilia) Opening.

  • 13:00-13:45 TUTORIAL - Tutorial on model theory of pseudofinite structures PART I - Darío García (Universidad de los Andes, Bogotá).

  • 13:45-14:00 BREAK.

  • 14:00-14:45 PLENARY TALK - Xavier Caicedo (Universidad de los Andes, Bogotá) - On extensions of Lukasiewicz predicate logic.

  • 14:45-15:15 BREAK

  • 15:15-16:00 INVITED SPEAKER - Rodrigo Freire (Universidade de Brasília) - An axiomatic approach to forcing in a general setting (joint work with Peter Holy).

  • 16:00-16:15 BREAK

CONTRIBUTED TALKS SESSIONS

SET THEORY (chair: Samuel G. da Silva).

  • 16:15-16:40 Miguel Cardona (TU Wien) - Forcing with norms.

  • 16:40-17:05 Franqui Cárdenas (Universidad Nacional de Colombia, Bogotá) - A weak compactness principle and reflecting cardinals.

  • 17:05-17:30 Julián Cano (Universidad Nacional de Colombia at Bogotá and Universidad de los Andes) - Game theoretic characterization of the Baire property for topological Ramsey spaces.

GENERAL LOGIC (chair: Rodrigo Freire).

  • 16:15-16:40 Jean-Yves Beziau (Universidade Federal de Rio de Janeiro) - Is logic exceptional?

  • 16:40-17:05 Alfredo Roque Freire (University of Aveiro) - Translations of theories and the collapsing of pre-orders.

  • 17:05-17:30 Oscar Javier Pérez-Lora(Universidad Nacional de Colombia, Bogotá) - El problema filosófico entre esencia y existencia en los orígenes de la teoría de modelos.

PROOF THEORY (chair: Marcelo Coniglio).

  • 16:40-17:05 Daniel O.Martínez-Rivillas (UFPE CIn) - Theory of a higher λ-model (joint work with Ruy J.G.B de Queiroz)

  • 17:05-17:30 Martin Figallo (Universidad Nacional del Sur, Bahía Blanca, Argentina) - Proof-theoretical aspects of a logic associated to involutive Stone algebras.


WEDNESDAY DECEMBER 15th, 2021.

  • 13:00-13:45 Bogotá UTC-5 (15:00-15:45 UTC-3 Brasilia) TUTORIAL - Tutorial on model theory of pseudofinite structures PART II - Darío García (Universidad de los Andes, Bogotá).

  • 13:45-14:00 BREAK.

  • 14:00-14:45 PLENARY TALK - Itala D'Ottaviano (CLE-Universidade Estadual de Campinas). On the Ex Falso Sequitur Quodlibet and a history of paraconsistency in the Western thought.

  • 14:45-15:15 BREAK

  • 15:15-16:00 INVITED SPEAKER - João Marcos (UFRN, Natal) - On logical theories containing assertions and denials.

  • 16:00-16:15 BREAK

CONTRIBUTED TALKS SESSIONS

MODEL THEORY (chair: Pedro H. Zambrano).

  • 16:15-16:40 Mariana Vicaría (University of California at Berkeley) - Towards an Imaginary Ax-Kochem-Ershov Principle.

  • 16:40-17:05 Juan Felipe Carmona (Universidad Nacional de Colombia at Bogotá) - Definably amenable groups in continuous logic (joint work with Alf Onshuus).

  • 17:05-17:30 Nicolás Caro Montoya (Universidade Federal de Pernambuco) - Undecidability of indecomposable polynomial rings (joint work with Marco Barone, Eudes Naziazeno).

NON-CLASSICAL LOGICS (chair: Ciro Russo).

  • 16:15-16:40 Diogo H. B. Dias (Universidade de São Paulo) - Paraconsistentization of Logics and Logical Pluralism.

  • 16:40-17:05 Cézar Mortari (Universidade Federal de Santa Catarina) - Valuation semantics for Lemmon's systems of modal logic.

  • 17:05-17:30 Kento Takagi (Tokyo Institute of Technology) - Effect of the Choice of Connectives on the Relation between Intuitionistic Predicate Logic and the Logic of Constant Domains (joint work with Naosuke Matsuda).

ALGEBRAIC AND CATEGORICAL LOGIC (chair: Hugo Luiz Mariano).

  • 16:15-16:40 Jean Cerqueira Berni (Universidade de São Paulo) - Classification of Boolean Algebras through Von Neumann Regular C∞-Rings (joint work with Hugo Luiz Mariano).

  • 16:40-17:05 Ana Luiza Tenório (Universidade de São Paulo) - Sheaf Categories on semicartesian monoidal categories: logical and cohomological aspects (joint work with Juan F. Meleiro, James Miller S. T. da Silva).

  • 17:05-17:30 Caio de Andrade Mendes (Universidade de São Paulo) - The category of Q-sets and its internal logic (joint work with José G. Alvim).


THURSDAY DECEMBER 16th, 2021.

CONTRIBUTED TALKS SESSIONS

PROOF THEORY (chair: Marcelo Coniglio)

  • 9:15-9:40 Luiz Carlos Pereira (PUC-Rio/UERJ) - Ex falso and Disjunctive Syllogism (joint work with Edward Hermann Haeusler, Victor Nascimento).
    (THIS TALK WAS RESCHEDULED DUE TO THE TECHNICAL ISSUES THAT WE EXPERIENCED ON TUESDAY).

NON-CLASSICAL LOGICS (chair: Marcelo Coniglio)

  • 9:40-10:05 Kherian Gracher (Federal University of Santa Catarina) - A logic with three negations.


  • 13:00-13:45 Bogotá UTC-5 (15:00-15:45 UTC-3 Brasilia) TUTORIAL - Elaine Pimentel (UFRN, Natal) - A tour on ecumenical systems Part I.

  • 13:45-14:00 BREAK.

  • 14:00-14:45 PLENARY TALK - Carlos Uzcátegui (Universidad Industrial de Santander, Bucaramanga). - Selectors, colorings and reconstructions.

  • 14:45-15:15 BREAK

  • 15:15-16:00 PLENARY TALK - Carlos Di Prisco (Universidad de los Andes, Bogotá). TBA.

  • 16:00-16:15 BREAK

CONTRIBUTED TALKS SESSIONS

MODEL THEORY (chair: Andrés Villaveces)

  • 16:15-16:40 Nicolás Najar (Fundación Universidad de América - Universidad Nacional de Colombia, Bogotá) - Superestability in Q-Abstract Elementary Classes.

  • 16:40-17:05 Hugo Ribeiro (Universidade de São Paulo) - Preservation of elementary equivalence by real reduced multiring hull (joint work with Hugo Mariano).

  • 17:05-17:30 João F. Schwarz (Universidade de São Paulo) - First order characterization of noncommutative birational equivalence (joint work with Hugo Luiz Mariano).

NON-CLASSICAL LOGICS (chair: Marcelo Coniglio)

  • 16:15-16:40 Guilherme V. de Toledo (Universidade Estadual de Campinas) - RNmatrices for da Costa's hierarchy (joint work with Marcelo E. Coniglio).

  • 16:40-17:05 Arnold Oostra (Universidad del Tolima) - Existential graphs for a family of intuitionistic sublogics.

  • 17:05-17:30 Juan C. Agudelo (Universidad de Antioquia) - Wansing's Dual Intuitionistic Logic and Nelson's Logic: Semantics and relationships.

ALGEBRAIC AND CATEGORICAL LOGIC (chair: Hugo Luiz Mariano)

  • 16:15-16:40 José Siqueira (University of Cambridge) - Tripos models of Internal Set Theory.

  • 16:40-17:05 Leandro Suguitani (IM/UFBA) - A Relation Algebraic Analysis of the Equivalence between Induction and Well Ordering (joint work with Petrucio Viana, Márcia R. Cerioi).

  • 17:05-17:30 Darllan Conceição Pinto (Universidade Federal de Bahia) - Congruence Filter Pairs, Adjoints and Leibniz Hierarchy (joint work with Peter Arndt, Hugo Luiz Mariano).


FRIDAY DECEMBER 17th, 2021.

POSTER SESSIONS (check the abstracts and posters here).

  • 9:00-10:00 Bogotá UTC-5 (11:00-12:00 UTC-3 Brasilia)


  • 13:00-13:45 Bogotá UTC-5 (15:00-15:45 UTC-3 Brasilia) TUTORIAL - Elaine Pimentel (UFRN, Natal) - A tour on ecumenical systems Part II.

  • 13:45-14:00 BREAK.

  • 14:00-14:45 PLENARY TALK - Francisco Miraglia (Universidade de São Paulo) - Special Groups and Quadratic Forms over Rings with non zero-divisor Coefficients.

  • 14:45-15:15 BREAK

  • 15:15-16:00 INVITED TALK - Diana Montoya (Universität Wien) - Singular cardinals and cardinal characteristics.

  • 16:00-16:15 BREAK

CONTRIBUTED TALKS SESSIONS

MODEL THEORY (chair: Pedro H. Zambrano)

  • 16:15-16:40 Kaique M. de A. Roberto (Universidade de São Paulo) - Introducing algebraically closed multifields: algebraic and logical aspects (joint work with Hugo Luiz Mariano).

NON-CLASSICAL LOGICS (chair: Ciro Russo)

  • 16:15-16:40 Paula Menchón (Univ. Nacional del Centro de la Provincia de Buenos Aires. Tandil, Argentina) - Twist-structures isomorphic to modal nilpotent minimum algebras (joint work with Ricardo O. Rodríguez).

PROOF THEORY (chair: Samuel G. da Silva)

  • 16:15-16:40 Valeria de Paiva (Topos Institute) - Negation in Prawitz Ecumenical System (joint work with Elaine Pimentel, Luiz Carlos Pereira).


  • 16:45-17:30 INVITED TALK - Diego Mejía (Shizouka University) - Variations of the negation of Riis’ axiom (joint work with Sakaé Fuchino).