scientific article; zbMATH DE number 1765668

MaRDI QIDQ4539604zbMATH OpenFDO

Authors Andrea Formisano, Marco Temperini, Eugenio Omodeo

Publication date 10 July 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2083/20830152

zbMATH Keywords

et reasoningfirst-order theorem provingmap algebra

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Set theory (03E99)

Recommendations

• scientific article; zbMATH DE number 1745890
• Layered map reasoning: an experimental approach put to trial on sets
• An automated prover for Zermelo-Fraenkel set theory in Theorema
• scientific article; zbMATH DE number 1507190
• An Automation-Friendly Set Theory for the B Method

Cited in

(8)

• Compiling dyadic first-order specifications into map algebra
• Three-variable statements of set-pairing
• A graphical representation of relational formulae with complementation
• An efficient relational deductive system for propositional non-classical logics
• scientific article; zbMATH DE number 1507190 (Why is no real title available?)
• Layered map reasoning: an experimental approach put to trial on sets
• An Automation-Friendly Set Theory for the B Method
• Reasoning on relations, modalities, and sets

Describes a project that uses

Uses Software

• OTTER

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4539604)