Pages that link to "Item:Q5259724"
From MaRDI portal
The following pages link to ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS (Q5259724):
Displayed 4 items.
- On harmony and permuting conversions (Q518743) (← links)
- A proof-theoretic semantics for adjectival modification (Q683680) (← links)
- Subatomic natural deduction for a naturalistic first-order language with non-primitive identity (Q2011824) (← links)
- On a distinction of two facets of meaning and its role in proof-theoretic semantics (Q2342803) (← links)