| Publication | Date of Publication | Type |
|---|
| An alternative axiomatic presentation of Nelson algebras | 2025-09-05 | Paper |
| Construction of Nelson algebras | 2024-09-06 | Paper |
| A categorical representation of games | 2023-09-27 | Paper |
A note on chain‐based semi‐Heyting algebras
Mathematical Logic Quarterly | 2023-09-12 | Paper |
| Basic constructions in the categories of sets, sets with a binary relation on them, preorders, and posets | 2023-02-20 | Paper |
A categorial equivalence for semi-Nelson algebras
Soft Computing | 2022-11-22 | Paper |
Superrational types
Logic Journal of the IGPL | 2022-06-09 | Paper |
Superrational types
Logic Journal of the IGPL | 2022-06-09 | Paper |
| An alternative axiomatic presentation of Nelson algebras | 2021-06-14 | Paper |
Semi-intuitionistic logic with strong negation
Studia Logica | 2018-04-16 | Paper |
Semi-Nelson algebras
Order | 2018-04-10 | Paper |
| Structural Relations of Symmetry among Players in Strategic Games | 2017-12-12 | Paper |
| Hasse diagrams of posets with up to 7 elements, and the number of posets with 10 elements, without the use of computer programs | 2017-10-27 | Paper |
| A recursive formula for the number of semi-Heyting algebras definable on a finite chain | 2017-10-06 | Paper |
| Proofs of some Propositions of the semi-Intuitionistic Logic with Strong Negation | 2017-08-30 | Paper |
An approach to characterize graded entailment of arguments through a label-based framework
International Journal of Approximate Reasoning | 2017-02-22 | Paper |
A labeled argumentation framework
Journal of Applied Logic | 2015-12-23 | Paper |
On some semi-intuitionistic logics
Studia Logica | 2015-07-02 | Paper |
Free monadic Tarski and \(\mathrm{MMI}_3\)-algebras
Demonstratio Mathematica | 2014-09-17 | Paper |
| Harsanyi type spaces and final coalgebras constructed from satisfied theories | 2013-09-11 | Paper |
The foundations of DeLP: Defeating relations, games and truth values
Annals of Mathematics and Artificial Intelligence | 2010-08-13 | Paper |
An Alternative Foundation for DeLP: Defeating Relations and Truth Values
Lecture Notes in Computer Science | 2008-03-04 | Paper |
Algebra and Coalgebra in Computer Science
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Final coalgebras for functors on measurable spaces
Information and Computation | 2006-06-30 | Paper |
| scientific article; zbMATH DE number 1319618 (Why is no real title available?) | 1999-08-02 | Paper |
Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
(available as arXiv preprint) | N/A | Paper |
