Bilateral Rules as Complex Rules
Proof-theoretic semantics is an inferentialist theory of meaning originally developed in a unilateral framework. Its extension to bilateral systems opens both opportunities and problems. The problems are caused especially by Coordination Principles (a kind of rule that is not present in unilateral s...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Lodz University Press
2023-07-01
|
| Series: | Bulletin of the Section of Logic |
| Subjects: | |
| Online Access: | https://czasopisma.uni.lodz.pl/bulletin/article/view/14198 |