morphisms-of-computational-structures icon indicating copy to clipboard operation
morphisms-of-computational-structures copied to clipboard

Published 20 hours ago • verified publisher icon prathyvsh

Deductive Systems

Open prathyvsh opened this issue 3 years ago • 0 comments

Non-associative structures which have composition, and identity are apparently called deductive systems. They are documented nicely here: http://elib.mi.sanu.ac.rs/files/journals/publ/84/n078p021.pdf

prathyvsh avatar May 15 '21 20:05 prathyvsh