Logic of the tautologies

The deductive system LT: logic of tautologies is presented as an extension of the classical propositional calculus. In the LT system, the meta-logical notions of tautology, contradiction, satisfactory, refutable and contingency are formalized. The LT system is characterized with a Kripke-style seman...

Full description

Autores:
Sierra A.
Manuel
Tipo de recurso:
Fecha de publicación:
2012
Institución:
Universidad EAFIT
Repositorio:
Repositorio EAFIT
Idioma:
eng
OAI Identifier:
oai:repository.eafit.edu.co:10784/14440
Acceso en línea:
http://hdl.handle.net/10784/14440
Palabra clave:
Tautology
Contradiction
Contingency
Modal Logic
Possible Worlds
Tautología
Contradicción
Contingencia
Lógica Modal
Mundos Posibles
Rights
License
Copyright (c) 2012 Manuel Sierra A.
id REPOEAFIT2_872dd898efaf153d7e980ad6c7f1749f
oai_identifier_str oai:repository.eafit.edu.co:10784/14440
network_acronym_str REPOEAFIT2
network_name_str Repositorio EAFIT
repository_id_str
spelling Medellín de: Lat: 06 15 00 N degrees minutes Lat: 6.2500 decimal degrees Long: 075 36 00 W degrees minutes Long: -75.6000 decimal degrees2012-06-152019-11-22T18:48:58Z2012-06-152019-11-22T18:48:58Z2256-43141794-9165http://hdl.handle.net/10784/1444010.17230/ingciencia.8.15.5The deductive system LT: logic of tautologies is presented as an extension of the classical propositional calculus. In the LT system, the meta-logical notions of tautology, contradiction, satisfactory, refutable and contingency are formalized. The LT system is characterized with a Kripke-style semantics, and can be seen as an extension of the S5 modal logic system.Se presenta como extensión del cálculo proposicional clásico, el sistema deductivo LT: lógica de las tautologías. En el sistema LT, se formalizan las nociones meta-lógicas de tautología, contradicción, satisfacible, refutable y contingencia. El sistema LT, es caracterizado con una semántica al estilo Kripke, y puede ser visto como una extensión del sistema de lógica modal S5.application/pdfengUniversidad EAFIThttp://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/936http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/936Copyright (c) 2012 Manuel Sierra A.Acceso abiertohttp://purl.org/coar/access_right/c_abf2instname:Universidad EAFITreponame:Repositorio Institucional Universidad EAFITIngeniería y Ciencia; Vol 8, No 15 (2012)Logic of the tautologiesLógica de las tautologíasarticleinfo:eu-repo/semantics/articlepublishedVersioninfo:eu-repo/semantics/publishedVersionArtículohttp://purl.org/coar/version/c_970fb48d4fbd8a85http://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1TautologyContradictionContingencyModal LogicPossible WorldsTautologíaContradicciónContingenciaLógica ModalMundos PosiblesSierra A.ManuelUniversidad EAFITIngeniería y Ciencia81596119ing.cienc.ORIGINAL5.pdf5.pdfTexto completo PDFapplication/pdf220914https://repository.eafit.edu.co/bitstreams/d18c76ca-b169-48e6-9cf4-1272eb432e21/download1b28412bbec8fa8d40aaf3c277067294MD51articulo.htmlarticulo.htmlTexto completo HTMLtext/html373https://repository.eafit.edu.co/bitstreams/bfc9dc6e-d277-4181-a0a8-6f68d180d67c/downloade3fcd8522bb522840d9c8a4d0ce2a8d4MD53THUMBNAILminaitura-ig_Mesa de trabajo 1.jpgminaitura-ig_Mesa de trabajo 1.jpgimage/jpeg265796https://repository.eafit.edu.co/bitstreams/eebf9ebf-4383-421b-b6d5-6ab26083db71/downloadda9b21a5c7e00c7f1127cef8e97035e0MD5210784/14440oai:repository.eafit.edu.co:10784/144402020-03-02 22:01:19.904open.accesshttps://repository.eafit.edu.coRepositorio Institucional Universidad EAFITrepositorio@eafit.edu.co
dc.title.eng.fl_str_mv Logic of the tautologies
dc.title.spa.fl_str_mv Lógica de las tautologías
title Logic of the tautologies
spellingShingle Logic of the tautologies
Tautology
Contradiction
Contingency
Modal Logic
Possible Worlds
Tautología
Contradicción
Contingencia
Lógica Modal
Mundos Posibles
title_short Logic of the tautologies
title_full Logic of the tautologies
title_fullStr Logic of the tautologies
title_full_unstemmed Logic of the tautologies
title_sort Logic of the tautologies
dc.creator.fl_str_mv Sierra A.
Manuel
dc.contributor.author.spa.fl_str_mv Sierra A.
Manuel
dc.contributor.affiliation.spa.fl_str_mv Universidad EAFIT
dc.subject.keyword.eng.fl_str_mv Tautology
Contradiction
Contingency
Modal Logic
Possible Worlds
topic Tautology
Contradiction
Contingency
Modal Logic
Possible Worlds
Tautología
Contradicción
Contingencia
Lógica Modal
Mundos Posibles
dc.subject.keyword.spa.fl_str_mv Tautología
Contradicción
Contingencia
Lógica Modal
Mundos Posibles
description The deductive system LT: logic of tautologies is presented as an extension of the classical propositional calculus. In the LT system, the meta-logical notions of tautology, contradiction, satisfactory, refutable and contingency are formalized. The LT system is characterized with a Kripke-style semantics, and can be seen as an extension of the S5 modal logic system.
publishDate 2012
dc.date.issued.none.fl_str_mv 2012-06-15
dc.date.available.none.fl_str_mv 2019-11-22T18:48:58Z
dc.date.accessioned.none.fl_str_mv 2019-11-22T18:48:58Z
dc.date.none.fl_str_mv 2012-06-15
dc.type.eng.fl_str_mv article
info:eu-repo/semantics/article
publishedVersion
info:eu-repo/semantics/publishedVersion
dc.type.coarversion.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_6501
http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.local.spa.fl_str_mv Artículo
status_str publishedVersion
dc.identifier.issn.none.fl_str_mv 2256-4314
1794-9165
dc.identifier.uri.none.fl_str_mv http://hdl.handle.net/10784/14440
dc.identifier.doi.none.fl_str_mv 10.17230/ingciencia.8.15.5
identifier_str_mv 2256-4314
1794-9165
10.17230/ingciencia.8.15.5
url http://hdl.handle.net/10784/14440
dc.language.iso.eng.fl_str_mv eng
language eng
dc.relation.isversionof.none.fl_str_mv http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/936
dc.relation.uri.none.fl_str_mv http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/936
dc.rights.eng.fl_str_mv Copyright (c) 2012 Manuel Sierra A.
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.local.spa.fl_str_mv Acceso abierto
rights_invalid_str_mv Copyright (c) 2012 Manuel Sierra A.
Acceso abierto
http://purl.org/coar/access_right/c_abf2
dc.format.none.fl_str_mv application/pdf
dc.coverage.spatial.eng.fl_str_mv Medellín de: Lat: 06 15 00 N degrees minutes Lat: 6.2500 decimal degrees Long: 075 36 00 W degrees minutes Long: -75.6000 decimal degrees
dc.publisher.spa.fl_str_mv Universidad EAFIT
dc.source.none.fl_str_mv instname:Universidad EAFIT
reponame:Repositorio Institucional Universidad EAFIT
dc.source.spa.fl_str_mv Ingeniería y Ciencia; Vol 8, No 15 (2012)
instname_str Universidad EAFIT
institution Universidad EAFIT
reponame_str Repositorio Institucional Universidad EAFIT
collection Repositorio Institucional Universidad EAFIT
bitstream.url.fl_str_mv https://repository.eafit.edu.co/bitstreams/d18c76ca-b169-48e6-9cf4-1272eb432e21/download
https://repository.eafit.edu.co/bitstreams/bfc9dc6e-d277-4181-a0a8-6f68d180d67c/download
https://repository.eafit.edu.co/bitstreams/eebf9ebf-4383-421b-b6d5-6ab26083db71/download
bitstream.checksum.fl_str_mv 1b28412bbec8fa8d40aaf3c277067294
e3fcd8522bb522840d9c8a4d0ce2a8d4
da9b21a5c7e00c7f1127cef8e97035e0
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositorio Institucional Universidad EAFIT
repository.mail.fl_str_mv repositorio@eafit.edu.co
_version_ 1814110606656012288

Publicaciones similares