Publicación:
Lógica de las tautologías.

Vista sencilla de ítem
dc.citation.journalTitleIngeniería Y Ciencia
dc.contributor.authorManuel Sierra Aristizabal
dc.contributor.departmentUniversidad EAFIT. Departamento de Cienciasspa
dc.contributor.researchgroupLógica y Computaciónspa
dc.date.accessioned2021-03-26T21:32:05Z
dc.date.available2021-03-26T21:32:05Z
dc.date.issued2012-01-01
dc.description.abstractSe presenta como extensión del cálculo proposicional clásico, el sistema deductivo LT: lógica de las tautologías.spa
dc.identifierhttps://eafit.fundanetsuite.com/Publicaciones/ProdCientif/PublicacionFrw.aspx?id=5135
dc.identifier.issn17949165
dc.identifier.urihttps://hdl.handle.net/10784/27344
dc.language.isospa
dc.publisherFondo Editorial Universidad EAFIT
dc.relation.urihttp://www.redalyc.org/pdf/835/83524069005.pdf
dc.rightshttps://v2.sherpa.ac.uk/id/publication/issn/1794-9165
dc.sourceIngeniería Y Ciencia
dc.subjectTautologíaspa
dc.subjectcontradicciónspa
dc.subjectcontingenciaspa
dc.subjectlógica modalspa
dc.subjectmundos posiblesspa
dc.titleLógica de las tautologías.
dc.typeinfo:eu-repo/semantics/article
dc.type.coarversionhttp://purl.org/coar/resource_type/c_6501
dc.type.localArtículospa
dc.type.redcolhttp://purl.org/redcol/resource_type/ARTREF
dc.type.versioninfo:eu-repo/semantics/publishedVersion
dspace.entity.typePublication

Archivos

Bloque original
Mostrando 1 - 1 de 1
No hay miniatura disponible
Nombre:
83524069005.pdf
Tamaño:
241.68 KB
Formato:
Adobe Portable Document Format
Descripción:
Descargar

Colecciones

Artículos