(Pronounced [suː˦˨kɻoː˨])
Suhkro is a logical language that focuses on making the underlying logic of sentences explicit. It is a platform for me to break the Nash equilibrium of reality and explore alternative approaches to communication. Suhkro utilizes features found inside and outside natural languages to make translation into logic notation more direct and less ambiguous, while keeping everything relatively simple.
Suhkro is currently heavily under construction, so everything might be subject to changes. However, currently planned features include:
There are at least four ways a variable can be bound in Suhkro (there may be more in the future):
Universal and Existential quantification works as usual. Both will be referred to as “Logical Quantification”.
Lambda quantification marks something as an argument to a lambda clause.
Bound quantification marks something as referring to the same variable as the previous occurrence of the same “noun” (any quantification). If no such variable is found, bounds exophorically.
Quantifier order can be marked by genitive constructions (Genitives in Suhkro appear before the modified “noun”). There are two places to do this:
“X GEN Y” where X and Y are both variables. Marks Y as a function of X.
Genitives can also modify absolute (non-relative) clauses. In this case, it means that X is a variable “captured” from outside the clause. However, lambda variables are bound to the outermost clause that captures them.
The quantifier order is fixed as lambda-existential-universal. However, those functional genitives can be used to paraphrase other quantifier orders through Skolemization.
OK that's a lot, and perhaps a lot of things are still unclear.
