History: All you need is Everything

Source of version: 3 (current)

The idea that the primitives of logicosemantic structure can be reduced to predicate-argument structure, with an openended class of predicates, plus a universal quantifier. This being an answer to the question: What is the least that logicosemantic structure can be reduced to, without losing expressive power? [[--((And))]