Skip to content

Universal Algebra And Substructural Logic

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Universal Algebra And Substructural Logic.

  • BCK algebra — An algebra with a binary implication-like operation and a distinguished zero satisfying the BCI identities plus an axiom that enforces the BCK weakening condition.