If Sedela expresses a new form of semantics, perhaps that new form is called 'Propositional Semantics'.

bryanedds / Sedela

The official repo for Sedela, the Semantic Design Lenguage.

MIT License

2 stars 1 forks source link

If Sedela expresses a new form of semantics, perhaps that new form is called 'Propositional Semantics'. #4

Open bryanedds opened 4 years ago

bryanedds commented 4 years ago

Only a portion of Sedela's semantics will have a denotational semantics. The remaining portion are propositions - user-defined equivalences between a type and a natural language sentence. 'Propositional Semantics' would thus be a superset of denotational semantics.

If this all follows, then document should be updated to utilize this new term along with an explanation thereof.