scientific article
From MaRDI portal
Publication:3894959
zbMath0448.68021MaRDI QIDQ3894959
Alfredo Ferro, Eugenio Giovanni Omodeo
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
programming languagesefficient algorithmsdecision proceduremulti-level syllogisticsAristotelian two-level syllogisticformulae of quantifier-free theoriesvalidity test for formulae in extensional two-level syllogistic
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
The automation of syllogistic. I: Syllogistic normal forms ⋮ A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case ⋮ The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations
This page was built for publication:
