| Publication | Date of Publication | Type |
|---|
Fuzzy Positive Primitive Formulas
Modeling Decisions for Artificial Intelligence | 2023-07-28 | Paper |
Truth-Preservation under Fuzzy pp-Formulas
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems | 2023-01-31 | Paper |
| Probabilistic argumentation: an approach based on conditional probability. A preliminary report | 2021-12-01 | Paper |
| A characterization of belief merging operators in the regular Horn fragment of signed logic | 2021-03-01 | Paper |
Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic
Soft Computing | 2019-08-12 | Paper |
Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
Logic Journal of the IGPL | 2019-01-08 | Paper |
Back-and-forth systems for fuzzy first-order models
Fuzzy Sets and Systems | 2018-10-16 | Paper |
| scientific article; zbMATH DE number 6930334 (Why is no real title available?) | 2018-09-03 | Paper |
On similarity in fuzzy description logics
Fuzzy Sets and Systems | 2018-02-19 | Paper |
On the existence of free models in fuzzy universal Horn classes
Journal of Applied Logic | 2017-10-18 | Paper |
On the existence of free models in fuzzy universal Horn classes
Journal of Applied Logic | 2017-10-18 | Paper |
| Term Models of Horn Clauses over Rational Pavelka Predicate Logic | 2017-05-26 | Paper |
Applications of ultraproducts: from compactness to fuzzy elementary classes
Logic Journal of the IGPL | 2015-02-12 | Paper |
A defeasible reasoning model of inductive concept learning from examples and communication
Artificial Intelligence | 2013-08-23 | Paper |
On elementary equivalence in fuzzy predicate logics
Archive for Mathematical Logic | 2013-02-15 | Paper |
Preserving mappings in fuzzy predicate logics
Journal Of Logic And Computation | 2013-01-14 | Paper |
Towards a Fuzzy Extension of the López de Mántaras Distance
Communications in Computer and Information Science | 2012-11-27 | Paper |
Extending possibilistic logic over Gödel logic
International Journal of Approximate Reasoning | 2011-01-31 | Paper |
Deductive coherence and norm adoption
Logic Journal of the IGPL | 2010-04-08 | Paper |
Exploring Extensions of Possibilistic Logic over Gödel Logic
Lecture Notes in Computer Science | 2009-07-02 | Paper |
Introducing Grades in Deontic Logics
Lecture Notes in Computer Science | 2008-08-28 | Paper |
The theory of modules of separably closed fields. II.
Annals of Pure and Applied Logic | 2004-11-22 | Paper |
| scientific article; zbMATH DE number 2068675 (Why is no real title available?) | 2004-05-27 | Paper |
The theory of modules of separably closed fields 1
Journal of Symbolic Logic | 2002-11-27 | Paper |
A preservation theorem for equality-free Horn sentences
Theoria. Segunda Epoca | 2001-08-16 | Paper |
On definability of the equality in classes of algebras with an equivalence relation
Studia Logica | 2001-03-07 | Paper |
Equality-free logic: the method of diagrams and preservation theorems
Logic Journal of the IGPL | 2000-08-23 | Paper |
| scientific article; zbMATH DE number 1004875 (Why is no real title available?) | 1997-09-29 | Paper |
On elementary equivalence for equality-free logic
Notre Dame Journal of Formal Logic | 1997-05-19 | Paper |
Some characterization theorems for infinitary universal Horn logic without equality
Journal of Symbolic Logic | 1997-04-16 | Paper |
| scientific article; zbMATH DE number 859792 (Why is no real title available?) | 1996-03-26 | Paper |
