Publication:3002400
From MaRDI portal
zbMath1244.03051MaRDI QIDQ3002400
Domenico Cantone, Marianna Nicolosi-Asmundo, Massimo Felici
Publication date: 20 May 2011
Full work available at URL: http://rendiconti.dmi.units.it/volumi/42/100.pdf
tableau calculus; decision procedures; hyperset theory; computable set theory; multi-level syllogistic
DB lookup for MSC labels failed