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

first-order theorem provingmap algebraet reasoning

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
• Publication:4503910
• An Automation-Friendly Set Theory for the B Method

Cited in

(8)

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

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)