Analytic calculi for product logics

G Metcalfe, N Olivetti, D Gabbay

Research output: Contribution to journalArticlepeer-review

18 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Analytic calculi for product logics'. Together they form a unique fingerprint.

Computer Science