scientific article; zbMATH DE number 1507190

zbMath0955.03016MaRDI QIDQ4503910

Andrea Formisano, Eugenio Giovanni Omodeo

Publication date: 27 February 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Tarski-Givant map calculusrelation algebrasset theoryaxiomatizationfragmentsfirst-order theorem-proving

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Cylindric and polyadic algebras; relation algebras (03G15) Set theory (03E99)

Related Items (5)

A graphical representation of relational formulae with complementation ⋮ Three-variable statements of set-pairing ⋮ Complexity of equational theory of relational algebras with standard projection elements ⋮ Layered map reasoning ⋮ Compiling dyadic first-order specifications into map algebra

Uses Software

• Isabelle/ZF

This page was built for publication: