Lógica de las tautologías.

dc.citation.journalTitle	Ingeniería Y Ciencia
dc.contributor.author	Manuel Sierra Aristizabal
dc.contributor.department	Universidad EAFIT. Departamento de Ciencias	spa
dc.contributor.researchgroup	Lógica y Computación	spa
dc.creator	Manuel Sierra Aristizabal
dc.date.accessioned	2021-03-26T21:32:05Z
dc.date.available	2021-03-26T21:32:05Z
dc.date.issued	2012-01-01
dc.description.abstract	Se presenta como extensión del cálculo proposicional clásico, el sistema deductivo LT: lógica de las tautologías.	spa
dc.identifier	https://eafit.fundanetsuite.com/Publicaciones/ProdCientif/PublicacionFrw.aspx?id=5135
dc.identifier.issn	17949165
dc.identifier.uri	http://hdl.handle.net/10784/27344
dc.language	spa
dc.publisher	Fondo Editorial Universidad EAFIT
dc.relation.uri	http://www.redalyc.org/pdf/835/83524069005.pdf
dc.rights	https://v2.sherpa.ac.uk/id/publication/issn/1794-9165
dc.source	Ingeniería Y Ciencia
dc.subject	Tautología	spa
dc.subject	contradicción	spa
dc.subject	contingencia	spa
dc.subject	lógica modal	spa
dc.subject	mundos posibles	spa
dc.title	Lógica de las tautologías.	spa
dc.type	article	eng
dc.type	info:eu-repo/semantics/article	eng
dc.type	info:eu-repo/semantics/publishedVersion	eng
dc.type	publishedVersion	eng
dc.type.local	Artículo	spa

Archivos

Mostrando 1 - 1 de 1