| Publication | Date of Publication | Type |
|---|
| A multi-modal logic for Galois connections | 2023-03-24 | Paper |
| Simplifying inductive schemes in temporal logic | 2023-02-03 | Paper |
Completeness of a functional system for surjective functions
Mathematical Logic Quarterly | 2020-04-29 | Paper |
Temporal reasoning over linear discrete time
Logics in Artificial Intelligence | 2019-10-08 | Paper |
| Restricted ideals and the groupability property. Tools for temporal reasoning. | 2012-04-23 | Paper |
| Restricted ideals and the groupability property. Tools for temporal reasoning. | 2012-04-23 | Paper |
| Ideals in multisemilattices and multilattices | 2011-02-10 | Paper |
Analyzing completeness of axiomatic functional systems for temporal \(\times \) modal logics
MLQ | 2010-02-16 | Paper |
Functional systems in the context of temporal×modal logics with indexed flows
International Journal of Computer Mathematics | 2009-11-10 | Paper |
Generalization of some properties of relations in the context of functional temporal×modal logic
International Journal of Computer Mathematics | 2008-04-29 | Paper |
Advances in Artificial Intelligence – SBIA 2004
Lecture Notes in Computer Science | 2005-08-22 | Paper |
Generalizations of lattices via non-deterministic operators
Discrete Mathematics | 2005-06-23 | Paper |
A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics
Annals of Mathematics and Artificial Intelligence | 2005-01-17 | Paper |
| scientific article; zbMATH DE number 2086604 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2050901 (Why is no real title available?) | 2004-03-07 | Paper |
A temporal negative normal form which preserves implicants and implicates
Journal of Applied Non-Classical Logics | 2004-01-11 | Paper |
| scientific article; zbMATH DE number 1974020 (Why is no real title available?) | 2003-09-03 | Paper |
| scientific article; zbMATH DE number 1974022 (Why is no real title available?) | 2003-09-03 | Paper |
A functional approach for temporal \(\times\) modal logics
Acta Informatica | 2003-09-01 | Paper |
| scientific article; zbMATH DE number 1916516 (Why is no real title available?) | 2003-07-14 | Paper |
| scientific article; zbMATH DE number 1943845 (Why is no real title available?) | 2003-07-01 | Paper |
Satisfiability testing for Boolean formulas using \(\Delta\)-trees
Studia Logica | 2003-03-12 | Paper |
| scientific article; zbMATH DE number 1759377 (Why is no real title available?) | 2002-11-25 | Paper |
| scientific article; zbMATH DE number 1761418 (Why is no real title available?) | 2002-06-30 | Paper |
Reductions for non-clausal theorem proving
Theoretical Computer Science | 2002-03-03 | Paper |
| scientific article; zbMATH DE number 1696829 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1612562 (Why is no real title available?) | 2001-07-01 | Paper |
Implicates and reduction techniques for temporal logics
Annals of Mathematics and Artificial Intelligence | 2000-06-07 | Paper |
| scientific article; zbMATH DE number 1301761 (Why is no real title available?) | 1999-10-05 | Paper |
| scientific article; zbMATH DE number 1076963 (Why is no real title available?) | 1997-11-25 | Paper |
| scientific article; zbMATH DE number 834564 (Why is no real title available?) | 1996-02-13 | Paper |
Increasing the efficiency of automated theorem proving
Journal of Applied Non-Classical Logics | 1995-12-13 | Paper |
A formal identification between tuples and lists with an application to list-arithmetic categories
Acta Informatica | 1995-03-22 | Paper |
A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time
Journal of Applied Non-Classical Logics | 1994-02-01 | Paper |
Structure theorems for alternative H*-algebras
Mathematical Proceedings of the Cambridge Philosophical Society | 1983-01-01 | Paper |
Annihilator alternative algebras
Pacific Journal of Mathematics | 1983-01-01 | Paper |
