Learn More
In the proof-theoretic semantics approach to meaning, harmony, requiring a balance between introduction-rules (I-rules) and elimination rules (E-rules) within a meaning conferring natural-deduction(More)