scientific article

zbMath1244.03051MaRDI QIDQ3002400

Domenico Cantone, Massimo Felici, Marianna Nicolosi-Asmundo

Publication date: 20 May 2011

Full work available at URL: http://rendiconti.dmi.units.it/volumi/42/100.pdf

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

tableau calculusdecision procedureshyperset theorycomputable set theorymulti-level syllogistic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Nonclassical and second-order set theories (03E70)