all you need is Everything

From Lojban
Jump to navigation Jump to search
  • And:
    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?