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!
|