The unification type of Lukasiewicz logic with a bounded number of variables

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Abbadini, Marco, Spada, Luca
Format:	Preprint
Published:	2025
Subjects:	Logic Primary: 06D35. Secondary: 03C05, 52B20, 57M10
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2504.19011