Ticket Entailment plus the mingle axiom has the variable-sharing property
[EN] The logic TM is the result of adding the mingle axiom, M to Ticket Entailment logic, T. In the present study, it is proved that TM has the variable-sharing property (vsp). Ternary relational semantics for TM is provided. Finally, an interesting extension of TM with the vsp is briefly discussed.
| Autores: | , , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión aceptada para publicación |
| Fecha de publicación: | 2012 |
| País: | España |
| Institución: | Universidad de León |
| Repositorio: | BULERIA. Repositorio Institucional de la Universidad de León |
| OAI Identifier: | oai:buleria.unileon.es:10612/25813 |
| Acceso en línea: | https://academic.oup.com/jigpal/article-abstract/20/1/355/828715 https://hdl.handle.net/10612/25813 |
| Access Level: | acceso abierto |
| Palabra clave: | Lógica Ticket Entailment logic Mingle axiom Variable-sharing property Ternary relational semantics 11 Lógica |
| Sumario: | [EN] The logic TM is the result of adding the mingle axiom, M to Ticket Entailment logic, T. In the present study, it is proved that TM has the variable-sharing property (vsp). Ternary relational semantics for TM is provided. Finally, an interesting extension of TM with the vsp is briefly discussed. |
|---|