A constructive sequence algebra for the calculus of indications

DOI10.1007/s00500-020-05121-1zbMath1491.03084MaRDI QIDQ2156896

Rocco Gangle, Gianluca Caterina, Fernando A. Tohmé

Publication date: 21 July 2022

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-020-05121-1

Mathematics Subject Classification ID

03G25: Other algebras related to logic

18B99: Special categories

18A15: Foundations, relations to logic and deductive systems