Template:Formal semantics: Difference between revisions
Content deleted Content added
adding downward entailing |
adding Strawson entailment |
||
| Line 127: | Line 127: | ||
* [[Semantic parsing]] |
* [[Semantic parsing]] |
||
* [[Squiggle operator]] |
* [[Squiggle operator]] |
||
* [[Strawson entailment]] |
|||
* [[Strict conditional]] |
* [[Strict conditional]] |
||
* [[Type shifter]] |
* [[Type shifter]] |
||