Abstract | ||
---|---|---|
We provide a finite axiomatization of the consequence ?????, i.e. of the set of common sequential rules for ? and ?. Moreover, we show that ????? has no proper non-trivial strengthenings other than ?? and ??. A similar result is true for ?????, but not, e.g., for ????+. |
Year | DOI | Venue |
---|---|---|
1989 | 10.1007/BF00370205 | Studia Logica |
Keywords | DocType | Volume |
Mathematical Logic,Computational Linguistic,Common Rule,Sequential Rule,Finite Axiomatization | Journal | 48 |
Issue | ISSN | Citations |
4 | 1572-8730 | 4 |
PageRank | References | Authors |
0.56 | 0 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Wolfgang Rautenberg | 1 | 90 | 17.27 |