Brodsky’s coding method for propositional logic
Brodsky’s coding method for propositional logic is considered in the paper. Based on the sequent calculus, the method allows us to determine whether an arbitrary sequent is derivable in the calculus without constructing proof-search trees. The coding method, presented in the paper, can be used as a...
Na minha lista:
| Autor principal: | |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
Vilnius University Press
2017-12-01
|
| coleção: | Lietuvos Matematikos Rinkinys |
| Assuntos: | |
| Acesso em linha: | https://www.journals.vu.lt/LMR/article/view/14967 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|