Topological syllogistic with continuous and closed functions

DOI10.1002/cpa.3160420809zbMath0691.68086OpenAlexW2035157197MaRDI QIDQ3033355

Domenico Cantone, Eugenio Giovanni Omodeo

Publication date: 1989

Published in: Communications on Pure and Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/cpa.3160420809

zbMATH Keywords

satisfiability problemdecision procedurelanguage \({\mathcal L}^{2,\infty }\)two-level syllogistic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Topological spaces and generalizations (closure spaces, etc.) (54A05) Mechanization of proofs and logical operations (03B35)

Cites Work

• Unnamed Item