A Relational Extension of Galois Connections

A Tabulation Proof Procedure for First-order Residuated Logic Programs: Soundness, Completeness and Optimizations

A View of f-indexes of Inclusion Under Different Axiomatic Definitions of Fuzzy Inclusion

A flexible logic-based approach to closeness using order of magnitude qualitative reasoning ⬇️

scholarly article

A measure of consistency for fuzzy logic theories

scientific article published on 10 May 2021

A multimodal logic for closeness

scholarly article published on 2 October 2017

A neural implementation of multi-adjoint logic programs via sf-homogenization ⬇️

scholarly article

A reduction-based theorem prover for 3-valued logic ⬇️

scholarly article

An Unfolding-Based Preprocess for Reinforcing Thresholds in Fuzzy Tabulation

Classifying Adjoint Pairs and Adjoint Triples in an Atanassov $L$-Fuzzy Framework

scientific article published in March 2022

Efficient Thresholded Tabulation for Fuzzy Query Answering

Encoding Non-global Time Representations into the Lattice of Divisibility

Extending formal concept analysis using intuitionistic l-fuzzy sets

Formal Concept Analysis and Structures Underlying Quantum Logics

Formal Independence Analysis

Formal concept analysis with negative attributes for forgery detection

scientific article published on 30 September 2020

Functional degrees of inclusion and similarity between L-fuzzy sets

scholarly article

Fuzzy Mathematical Models for Computer Science and Decision Making

scientific article published in December 2017

Galois Connections Between a Fuzzy Preordered Structure and a General Fuzzy Structure

scientific article published in June 2018

Galois connections in computational intelligence: A short survey

L-fuzzy relational mathematical morphology based on adjoint triples

scholarly article

Logics for Order-of-Magnitude Qualitative Reasoning: Formalizing Negligibility

Measures of inclusion and entropy based on the φ-index of inclusion

scientific article published in October 2021

Modelling fuzzy partitions with fuzzy answer sets

Multi-adjoint Logic Programming with Continous Semantics

Multi-adjoint lattices from adjoint triples with involutive negation ⬇️

scholarly article

On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs

On reductants in the framework of multi-adjoint logic programming

scientific article published in June 2017

On the Definition of Fuzzy Relational Galois Connections Between Fuzzy Transitive Digraphs

On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence

article published in 2011

On the construction of adjunctions between a fuzzy preposet and an unstructured set

On the n-ary Generalization of Dual Bonds

Relational Galois connections between transitive digraphs: Characterization and construction ⬇️

scholarly article

Relational Galois connections between transitive fuzzy digraphs

scientific article published on 25 February 2020

Termination of logic programs with imperfect information: applications and query procedure

Thresholded Tabulation in a Fuzzy Logic Setting

Towards a Fuzzy Answer Set Semantics for Residuated Logic Programs

scientific article published on 14 January 2009