scientific article; zbMATH DE number 1765668

zbMATH Open0988.68164MaRDI QIDQ4539604FDOQ4539604

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

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

first-order theorem provingmap algebraet reasoning

Mathematics Subject Classification ID

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

Cited In (8)

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

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)