Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity.
| Autor: | Mateus, Paulo1 pmat@math.ist.utl.pt, Sernadas, Amílcar1 as@math.ist.utl.pt, Sernadas, Cristina1 css@math.ist.utl.pt, Viganò, Luca2 vigano@inf.ethz.ch |
|---|---|
| Zdroj: | Logic Journal of the IGPL. May2004, Vol. 12 Issue 3, p227-274. 48p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|