2021-03-262012-01-0117949165https://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.spahttps://v2.sherpa.ac.uk/id/publication/issn/1794-9165Tautologíacontradiccióncontingencialógica modalmundos posiblesinfo:eu-repo/semantics/article2021-03-26Manuel Sierra Aristizabal