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.