2021-03-262012-01-0117949165http://hdl.handle.net/10784/27344Se presenta como extensión del cálculo proposicional clásico, el sistema deductivo LT: lógica de las tautologías.https://v2.sherpa.ac.uk/id/publication/issn/1794-9165Tautologíacontradiccióncontingencialógica modalmundos posiblesarticle2021-03-26Manuel Sierra Aristizabal