Labelled Non-Classical Logics

En savoir plus sur le livre

Luca Vigano's book on Labelled Non-Classical Logics explores the methodology of labelled deductive systems, emphasizing their significance in logic. It highlights the diverse applications of labelling across various logical domains, particularly in modal logic, where labels can enhance proof techniques and reveal underlying logical patterns.