MarcieX is a model / theory / theorem database explorer. MarcieX displays not only informations about models and theories, but also the relationships between them, like the set of theories satisfied by a model, the set of models containing in a model, the set of models contained in a model, the set of models satisfied by a theory, the set of theories containing a theory or the set of theories contained in a theory. In addition, it also allows generating new theorems for a theory from other theorems.

Professor João Araújo, Universidade Nova de Lisboa jj.araujo@fct.unl.pt

João Ramires, Universidade Aberta

*This project has been partially supported by the Fundação para a Ciência e a Tecnologia through the project CEMAT-CIÊNCIAS UID/Multi/04621/2013, and through project “Hilbert’s 24th problem” PTDC/MHC-FIL/2583/2014.*

Updated: 2022/10/02