Admissible equivalence systems
Whenever a logic is the set of theorems of some deductive system, where the latter has an equivalence system, the behavioral theorems of the logic can be determined by means of that equivalence system. In general, this original equivalence system may be too restrictive, because it su ces to check be...
| Autor principal: | |
|---|---|
| Outros Autores: | |
| Formato: | article |
| Idioma: | eng |
| Publicado em: |
2012
|
| Assuntos: | |
| Texto completo: | http://hdl.handle.net/10773/6934 |
| País: | Portugal |
| Oai: | oai:ria.ua.pt:10773/6934 |