posters

POSTERS SESSION - December 17th, 2021 9-10 hrs BOG (11-12 hrs BRA)

• de ANDRADE, Mayk - The simplicial model of univalent mathematics.
  Abstract.
  Poster.

• APONTE, Javier - Large cardinals principles and applications to Category Theory.
  Abstract.
  Poster.

• MELEIRO, Juan - Towards a critical logic.
  Abstract.
  Poster.

• MORA, Rafael - Logical analysis of the Protagoras paradox.
  Abstract.
  Poster.

• PACHECO, Leonardo - On the μ-calculus between S4 and S5.
  Abstract.
  Poster.

• REYES, David - Co-Quantale valued logics.
  Abstract.
  Poster.

• RIAÑO, Luis Felipe - About the set theory ZF_{LPT0}.
  Abstract.
  Poster.

• Uribe, Andrés Felipe - The Separable Case of the Normal Moore Space Conjecture.
  Abstract.
  Poster.