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...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Sciendo
2024-12-01
|
| Series: | Studies in Logic, Grammar and Rhetoric |
| Subjects: | |
| Online Access: | https://doi.org/10.2478/slgr-2024-0018 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|