Tonk, Syntax, Semantics, Pragmatics
In 1960, A. N. Prior proposed a binary sentential functor defined by inferential rule (introduction) A ⊢ A tonk B, and (elimination) A tonk B ⊢ A. Later, this idea was discussed by several authors, including in the context of the question of whether the ab ove rule defines this functor in a sufficie...
| 主要作者: | |
|---|---|
| 格式: | 文件 |
| 语言: | English |
| 出版: |
Sciendo
2024-12-01
|
| 丛编: | Studies in Logic, Grammar and Rhetoric |
| 主题: | |
| 在线阅读: | https://doi.org/10.2478/slgr-2024-0018 |