Semantic forcing trees for semantics of open societies
The semantics of open biassertive societies for the paraconsistent logic system P1, is characterized by a visual inference tool called semantic forcing trees for open societies. Given a formula, with this tool the nodes of the corresponding tree are marked, and it is determined whether the formula i...
| Autor Principal: | |
|---|---|
| Formato: | Artículo (Article) |
| Lenguaje: | Español (Spanish) |
| Publicado: |
Universidad Militar Nueva Granada
2019
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/10654/37604 |