Regivan H. N. Santiago

According to our database, Regivan H. N. Santiago authored at least 99 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

The alpha-ordering for a wide class of fuzzy sets of the real line: the particular case of fuzzy numbers.

Fernando Neres, Regivan H. N. Santiago, Antonio-Francisco Roldán-López-de-Hierro, Anderson Paiva Cruz, Zdenko Takác, Javier Fernández, Humberto Bustince

Comput. Appl. Math., February, 2024

On retractions and extension of quasi-overlap and quasi-grouping functions defined on bounded lattices.

Ana Shirley Monteiro, Regivan H. N. Santiago, Benjamín R. C. Bedregal, Eduardo Silva Palmeira, Juscelino Araújo

J. Intell. Fuzzy Syst., January, 2024

Admissible OWA operators for fuzzy numbers.

Diego García-Zamora, Anderson Paiva Cruz, Fernando Neres, Regivan H. N. Santiago, Antonio-Francisco Roldán-López-de-Hierro, Rui Paiva, Graçaliz Pereira Dimuro, Luis Martínez, Benjamín R. C. Bedregal, Humberto Bustince

Fuzzy Sets Syst., 2024

2023

Developing Constrained Interval Operators for Fuzzy Logic with Interval Values.

Jocivania Pinheiro, Regivan H. N. Santiago, Benjamín R. C. Bedregal, Flaulles Boone Bergamaschi

Axioms, December, 2023

On a new contrapositivisation technique for fuzzy implications constructed from quasi-overlap and quasi-grouping functions.

Fernando Neres, Benjamín R. C. Bedregal, Regivan H. N. Santiago

Int. J. Approx. Reason., November, 2023

Bi-aggregated contrapositivisation: A new contrapositivisation technique for fuzzy implications.

Fernando Neres, Benjamín R. C. Bedregal, Regivan H. N. Santiago

Fuzzy Sets Syst., August, 2023

Aggregation-based operations for reversal fuzzy switch graphs.

Suene Campos, Regivan H. N. Santiago, Manuel A. Martins, Daniel Figueiredo

Fuzzy Sets Syst., August, 2023

On Typical Hesitant Fuzzy Languages and Automata.

Valdigleis S. Costa, Benjamín R. C. Bedregal, Regivan H. N. Santiago

Int. J. Uncertain. Fuzziness Knowl. Based Syst., June, 2023

Type-$(2,k)$ Overlap Indices.

Antonio-Francisco Roldán-López-de-Hierro, Concepción Roldán, Miguel Ángel Tíscar, Zdenko Takác, Regivan H. N. Santiago, Graçaliz Pereira Dimuro, Javier Fernández, Humberto Bustince

IEEE Trans. Fuzzy Syst., March, 2023

On Fuzzy Implications Derived from General Overlap Functions and Their Relation to Other Classes.

Jocivania Pinheiro, Hélida S. Santos, Graçaliz Pereira Dimuro, Benjamín R. C. Bedregal, Regivan H. N. Santiago, Javier Fernández, Humberto Bustince

Axioms, January, 2023

2022

On Generalized Mixture Functions.

Antonio Diego Silva Farias, Valdigleis da Silva Costa, Luiz Ranyer A. Lopes, Regivan Hugo Nunes Santiago, Benjamín R. C. Bedregal

TFSS, 2022

Abstract Homogeneous Functions and Consistently Influenced/Disturbed Multi-Expert Decision Making.

Regivan H. N. Santiago, Benjamín R. C. Bedregal, Graçaliz Pereira Dimuro, Javier Fernández, Humberto Bustince, Habib M. Fardoun

IEEE Trans. Fuzzy Syst., 2022

Extension of Restricted Equivalence Functions and Similarity Measures for Type-2 Fuzzy Sets.

Laura De Miguel, Regivan H. N. Santiago, Christian Wagner, Jonathan M. Garibaldi, Zdenko Takác, Antonio-Francisco Roldán-López-de-Hierro, Humberto Bustince

IEEE Trans. Fuzzy Syst., 2022

Aggregation of Individual Rankings Through Fusion Functions: Criticism and Optimality Analysis.

Humberto Bustince, Benjamín R. C. Bedregal, María Jesús Campión, Ivanosca A. da Silva, Javier Fernández, Esteban Induráin, Armajac Raventós-Pujol, Regivan H. N. Santiago

IEEE Trans. Fuzzy Syst., 2022

Introduction to reversal fuzzy switch graph.

Suene Campos, Regivan H. N. Santiago, Manuel A. Martins, Daniel Figueiredo

Sci. Comput. Program., 2022

Replacing pooling functions in Convolutional Neural Networks by linear combinations of increasing functions.

Iosu Rodríguez-Martínez, Julio Lafuente, Regivan H. N. Santiago, Graçaliz Pereira Dimuro, Francisco Herrera, Humberto Bustince

Neural Networks, 2022

ℱ-homogeneous functions and a generalization of directional monotonicity.

Regivan H. N. Santiago, Mikel Sesma-Sara, Javier Fernández, Zdenko Takác, Radko Mesiar, Humberto Bustince

Int. J. Intell. Syst., 2022

Extension of Quasi-Overlap and Quasi-Grouping Functions Defined on Bounded Lattices Via Retractions.

Ana Shirley Monteiro, Regivan H. N. Santiago, Benjamín R. C. Bedregal, Juscelino Araújo, Eduardo Silva Palmeira

CoRR, 2022

On abstract homogeneous interval-valued functions.

Ana Shirley Monteiro, Regivan H. N. Santiago, Radko Mesiar, Marisol Gómez, Martin Papco, Mikel Ferrero-Jaurrieta, Humberto Bustince

CoRR, 2022

On Monotonicities of Interval Valued Functions.

Ana Shirley Monteiro, Regivan H. N. Santiago, Martin Papco, Radko Mesiar, Humberto Bustince

CoRR, 2022

On a New Contrapositivisation Technique for Fuzzy Implications Constructed from Grouping Functions.

Fernando Neres, Regivan H. N. Santiago, Benjamín R. C. Bedregal

Proceedings of the Applications of Fuzzy Techniques, 2022

On a New Contrapositivisation Technique for Fuzzy Implications Constructed from Triangular Conorms.

Fernando Neres, Benjamín R. C. Bedregal, Regivan H. N. Santiago

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2022

Fuzzy-Valued Distance Between Fuzzy Numbers Based on a Generalized Extension Principle.

Juscelino Araújo, Benjamín R. C. Bedregal, Regivan H. N. Santiago

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2022

Relating Kleene Algebras with Pseudo Uninorms.

Benjamín R. C. Bedregal, Regivan H. N. Santiago, Alexandre Madeira, Manuel A. Martins

Proceedings of the Dynamic Logic. New Trends and Applications - 4th International Workshop, 2022

2021

Introducing fuzzy reactive graphs: a simple application on biology.

Regivan H. N. Santiago, Manuel A. Martins, Daniel Figueiredo

Soft Comput., 2021

Lattice-valued overlap and quasi-overlap functions.

Rui Paiva, Regivan H. N. Santiago, Benjamín R. C. Bedregal, Eduardo Silva Palmeira

Inf. Sci., 2021

Residuated implications derived from quasi-overlap functions on lattices.

Rui Eduardo Brasileiro Paiva, Benjamín R. C. Bedregal, Regivan H. N. Santiago, Thiago V. V. Batista

Int. J. Approx. Reason., 2021

Inflationary BL-algebras obtained from 2-dimensional general overlap functions.

Rui Paiva, Regivan H. N. Santiago, Benjamín R. C. Bedregal, Umberto Rivieccio

Fuzzy Sets Syst., 2021

On closure properties of L-valued linear languages.

Valdigleis S. Costa, Benjamín R. C. Bedregal, Regivan H. N. Santiago

Fuzzy Sets Syst., 2021

(S, N, T)-Implications.

Fernando Neres, Benjamín R. C. Bedregal, Regivan H. N. Santiago

CoRR, 2021

Fuzzy sets complement-based Gated Recurrent Unit.

Mikel Ferrero-Jaurrieta, Graçaliz Pereira Dimuro, Zdenko Takác, Regivan H. N. Santiago, Javier Fernández, Humberto Bustince

Proceedings of WILF 2021, 2021

A Study on Constrained Interval Arithmetic.

Flaulles Boone Bergamaschi, Regivan Hugo Nunes Santiago

Proceedings of the Explainable AI and Other Applications of Fuzzy Techniques, 2021

2020

Residuated implications derived from quasi-overlap functions on lattices.

Rui Paiva, Benjamín R. C. Bedregal, Regivan H. N. Santiago

CoRR, 2020

Reversal Fuzzy Switch Graphs.

Suene Campos, Regivan H. N. Santiago, Manuel A. Martins, Daniel Figueiredo

Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

Agnesi Quasi-fuzzy Numbers.

Flaulles Boone Bergamaschi, Natan Jesus, Regivan H. N. Santiago, Alesxandra Oliveira

Proceedings of the Fuzzy Information Processing 2020, 2020

Fuzzy Mathematical Morphology and Applications in Image Processing.

Alexsandra Oliveira Andrade, Flaulles Boone Bergamaschi, Roque Mendes Prado Trindade, Regivan Hugo Nunes Santiago

Proceedings of the Fuzzy Information Processing 2020, 2020

Fuzzy Primeness in Quantales.

Flaulles Boone Bergamaschi, Regivan H. N. Santiago

Proceedings of the Decision Making under Constraints, 2020

2019

On interval dynamic logic: Introducing quasi-action lattices.

Regivan H. N. Santiago, Benjamín R. C. Bedregal, Alexandre Madeira, Manuel A. Martins

Sci. Comput. Program., 2019

Semi-BCI Algebras.

Regivan H. N. Santiago, Benjamín R. C. Bedregal, João Marcos, Carlos Caleiro, Jocivania Pinheiro

J. Multiple Valued Log. Soft Comput., 2019

Fuzzy Bi-implications Generated by t-norms and Fuzzy Negations.

Antonio Diego Silva Farias, Claudio Callejas, João Marcos, Benjamín R. C. Bedregal, Regivan H. N. Santiago

Proceedings of the Fuzzy Techniques: Theory and Applications, 2019

2018

Gradual Complex Numbers and Their Application for Performance Evaluation Classifiers.

Emmanuelly L. Souza, Regivan H. N. Santiago, Anne M. P. Canuto, Rômulo de O. Nunes

IEEE Trans. Fuzzy Syst., 2018

Combining multiple algorithms in classifier ensembles using generalized mixture functions.

Valdigleis S. Costa, Antonio Diego Silva Farias, Benjamín R. C. Bedregal, Regivan H. N. Santiago, Anne Magály de Paula Canuto

Neurocomputing, 2018

A study of (T, N)-implications and its use to construct a new class of fuzzy subsethood measure.

Jocivania Pinheiro, Benjamín R. C. Bedregal, Regivan H. N. Santiago, Hélida Salles Santos

Int. J. Approx. Reason., 2018

On the characterizations of fuzzy implications satisfying <i>I</i>(<i>x</i>, <i>I</i>(<i>y</i>, <i>z</i>))=<i>I</i>(<i>I</i>(<i>x</i>, <i>y</i>), <i>I</i>(<i>x</i>, <i>z</i>)).

Anderson Paiva Cruz, Benjamín R. C. Bedregal, Regivan H. N. Santiago

Int. J. Approx. Reason., 2018

Investigating the impact of selection criteria in dynamic ensemble selection methods.

Jose Augusto S. Lustosa Filho, Anne M. P. Canuto, Regivan Hugo Nunes Santiago

Expert Syst. Appl., 2018

Dynamic Ordered Weighted Averaging Functions for Complete Lattices.

Antonio Diego Silva Farias, Regivan H. N. Santiago, Benjamín R. C. Bedregal

CoRR, 2018

The Category of Semi-BCI Algebras.

Jocivania Pinheiro, Rui Paiva, Regivan H. N. Santiago

Proceedings of the Fuzzy Information Processing, 2018

(T, N)-Implications and Some Functional Equations.

Jocivania Pinheiro, Benjamín R. C. Bedregal, Regivan H. N. Santiago, Hélida Salles Santos, Graçaliz Pereira Dimuro

Proceedings of the Fuzzy Information Processing, 2018

Crisp Fuzzy Implications.

Jocivania Pinheiro, Benjamín R. C. Bedregal, Regivan H. N. Santiago, Hélida Salles Santos

Proceedings of the Fuzzy Information Processing, 2018

(N′, T, N)-Implications.

Jocivania Pinheiro, Benjamín R. C. Bedregal, Regivan H. N. Santiago, Hélida Salles Santos

Proceedings of the 2018 IEEE International Conference on Fuzzy Systems, 2018

naBL-algebras based on overlaps and their conjugates.

Rui Paiva, Regivan H. N. Santiago, Benjamín R. C. Bedregal, Umberto Rivieccio

Proceedings of the 2018 IEEE International Conference on Fuzzy Systems, 2018

Directional and Ordered Directional Monotonicity of Generalized and Bounded Generalized Mixture Functions.

Antonio Diego Silva Farias, Claudio Callejas, Regivan H. N. Santiago, Benjamín R. C. Bedregal

Proceedings of the 2018 IEEE International Conference on Fuzzy Systems, 2018

2017

(T, N)-implications.

Jocivania Pinheiro, Benjamín R. C. Bedregal, Regivan H. N. Santiago, Hélida S. Santos

Proceedings of the 2017 IEEE International Conference on Fuzzy Systems, 2017

2016

Closure properties for fuzzy recursively enumerable languages and fuzzy recursive languages.

Antonio Diego Silva Farias, Luiz Ranyer de Araújo Lopes, Benjamín René Callejas Bedregal, Regivan H. N. Santiago

J. Intell. Fuzzy Syst., 2016

Generalized quasi-metric on strings.

Fágner L. Santana, Regivan H. N. Santiago, Benjamín R. C. Bedregal, Daniel Paternain, Humberto Bustince

Inf. Sci., 2016

A generalized distance based on a generalized triangle inequality.

Fágner L. Santana, Regivan H. N. Santiago

Inf. Sci., 2016

A Method for Image Reduction Based on a Generalization of Ordered Weighted Averaging Functions.

Antonio Diego Silva Farias, Valdigleis S. Costa, Luiz Ranyer de Araújo Lopes, Benjamín R. C. Bedregal, Regivan H. N. Santiago

CoRR, 2016

On Interval Dynamic Logic.

Regivan H. N. Santiago, Benjamín R. C. Bedregal, Alexandre Madeira, Manuel A. Martins

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

A residuated function in a class of Mealy type L-Valued finite automaton.

Antonio Diego Silva Farias, Valdigleis S. Costa, Regivan H. N. Santiago, Benjamín R. C. Bedregal

Proceedings of the 2016 Annual Conference of the North American Fuzzy Information Processing Society, 2016

The image reduction process based on Generalized Mixture functions.

Antonio Diego Silva Farias, Valdigleis S. Costa, Regivan H. N. Santiago, Benjamín R. C. Bedregal

Proceedings of the 2016 Annual Conference of the North American Fuzzy Information Processing Society, 2016

Some properties of Generalized Mixture functions.

Antonio Diego Silva Farias, Regivan H. N. Santiago, Benjamín R. C. Bedregal

Proceedings of the 2016 IEEE International Conference on Fuzzy Systems, 2016

2015

An Interval-Based Framework for Fuzzy Clustering Applications.

Liliane R. da Silva, Ronildo P. A. Moura, Anne M. P. Canuto, Regivan H. N. Santiago, Benjamín R. C. Bedregal

IEEE Trans. Fuzzy Syst., 2015

Types of fuzzy ideals in fuzzy lattices.

Ivan Mezzomo, Benjamín René Callejas Bedregal, Regivan Hugo Nunes Santiago

J. Intell. Fuzzy Syst., 2015

On properties of Uniformly Strongly Prime fuzzy ideals.

Flaulles Boone Bergamaschi, Regivan H. N. Santiago

Proceedings of the 2015 Annual Conference of the North American Fuzzy Information Processing Society (NAFIPS) held jointly with 2015 5th World Conference on Soft Computing (WConSC), 2015

The counting of mycorrhizal fungi spores using fuzzy mathematical morphology.

Alexsandra Oliveira Andrade, Roque Mendes Prado Trindade, Vanessa B. F. Neves, Deise Santana Maia, Divino Levi Miguel, Regivan H. N. Santiago, Ana Maria G. Guerreiro

Proceedings of the 2015 Annual Conference of the North American Fuzzy Information Processing Society (NAFIPS) held jointly with 2015 5th World Conference on Soft Computing (WConSC), 2015

Analysis of fuzzy morphology in spore counts of mycorrhizal fungi.

Alexsandra Oliveira Andrade, Roque Mendes Prado Trindade, Vanessa B. F. Neves, Alecio S. Barros, Isadora B. Soares, Reginaldo Pereira Costa, Divino Levi Miguel, Regivan H. N. Santiago, Ana Maria G. Guerreiro

Proceedings of the 2015 Annual Conference of the North American Fuzzy Information Processing Society (NAFIPS) held jointly with 2015 5th World Conference on Soft Computing (WConSC), 2015

Gradual Complex Numbers.

Emmanuelly Sousa, Regivan H. N. Santiago

Proceedings of the 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology (IFSA-EUSFLAT-15), 2015

Construction of Typical Hesitant Triangular Norms regarding Xu-Xia-partial Order.

Hélida Salles Santos, Benjamín R. C. Bedregal, Regivan H. N. Santiago, Humberto Bustince, Edurne Barrenechea Tartas

Proceedings of the 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology (IFSA-EUSFLAT-15), 2015

Generalized Distance and an Example of Fuzzy Metric.

Fágner L. Santana, Fabiana T. Santana, Regivan H. N. Santiago

Proceedings of the 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology (IFSA-EUSFLAT-15), 2015

2014

Analysing some R-Implications and its application in fuzzy mathematical morphology.

Alexsandra Oliveira Andrade, Roque Mendes Prado Trindade, Deise Santana Maia, Regivan Hugo Nunes Santiago, Ana Maria Guimarães Guerreiro

J. Intell. Fuzzy Syst., 2014

On (G, N)-implications derived from grouping functions.

Graçaliz Pereira Dimuro, Benjamín R. C. Bedregal, Regivan Hugo Nunes Santiago

Inf. Sci., 2014

On the Boolean-like Law I(x, I(y, x)) = 1.

Anderson Paiva Cruz, Benjamín R. C. Bedregal, Regivan Hugo Nunes Santiago

Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2014

Typical Hesitant Fuzzy Negations.

Benjamín R. C. Bedregal, Regivan H. N. Santiago, Humberto Bustince, Daniel Paternain, Renata Reiser

Int. J. Intell. Syst., 2014

Fuzzy clustering algorithm with H-operator applied to problems with interval-based data.

Liliane R. da Silva, Ronildo P. A. Moura, Anne M. P. Canuto, Regivan Hugo Nunes Santiago, Benjamín R. C. Bedregal

Proceedings of the IEEE International Conference on Fuzzy Systems, 2014

Rotation of triangular fuzzy numbers via quaternion.

Ronildo P. A. Moura, Flaulles Boone Bergamaschi, Regivan Hugo Nunes Santiago, Benjamín R. C. Bedregal

Proceedings of the IEEE International Conference on Fuzzy Systems, 2014

Uniformly strongly prime fuzzy ideals.

Flaulles Boone Bergamaschi, Regivan H. N. Santiago

Proceedings of the IEEE International Conference on Fuzzy Systems, 2014

2013

Interval representations, Łukasiewicz implicators and Smets-Magrez axioms.

Benjamín René Callejas Bedregal, Regivan Hugo Nunes Santiago

Inf. Sci., 2013

Fuzzy a-Ideals of Product Operator on Bounded Fuzzy Lattices.

Ivan Mezzomo, Benjamín René Callejas Bedregal, Regivan Hugo Nunes Santiago, Renata Hax Sander Reiser

Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

α-ideals of fuzzy lattices.

Ivan Mezzomo, Benjamín René Callejas Bedregal, Regivan Hugo Nunes Santiago

Proceedings of the Joint IFSA World Congress and NAFIPS Annual Meeting, 2013

Operations on bounded fuzzy lattices.

Ivan Mezzomo, Benjamín René Callejas Bedregal, Regivan H. N. Santiago

Proceedings of the Joint IFSA World Congress and NAFIPS Annual Meeting, 2013

On properties of fuzzy ideals.

Flaulles Boone Bergamaschi, Regivan H. N. Santiago

Proceedings of the Joint IFSA World Congress and NAFIPS Annual Meeting, 2013

Fuzzy quaternion numbers.

Ronildo P. A. Moura, Flaulles Boone Bergamaschi, Regivan H. N. Santiago, Benjamín René Callejas Bedregal

Proceedings of the FUZZ-IEEE 2013, 2013

Strongly prime fuzzy ideals over noncommutative rings.

Flaulles Boone Bergamaschi, Regivan H. N. Santiago

Proceedings of the FUZZ-IEEE 2013, 2013

Fuzzy Implication Classes Satisfying a Boolean-Like Law.

Anderson Paiva Cruz, Benjamín R. C. Bedregal, Regivan H. N. Santiago

Proceedings of the Aggregation Functions in Theory and in Practise, 2013

2012

Classification of Pharmaceutical Solid Excipients Using Self-Organizing Maps.

Giovani Ângelo S. da Nóbrega, Marco V. M. Navarro, Túlio A. de Lima e Moura, Daiane Soares, José Alfredo F. Costa, Edilene P. Lavor, Regivan H. N. Santiago

Proceedings of the Intelligent Data Engineering and Automated Learning - IDEAL 2012, 2012

On fuzzy ideals of fuzzy lattice.

Ivan Mezzomo, Benjamín R. C. Bedregal, Regivan Hugo Nunes Santiago

Proceedings of the FUZZ-IEEE 2012, 2012

The law x ≤ I(y; x) and the three main classes of fuzzy implications.

Anderson Paiva Cruz, Benjamín R. C. Bedregal, Regivan Hugo Nunes Santiago

Proceedings of the FUZZ-IEEE 2012, 2012

2011

Interval additive generators of interval t-norms and interval t-conorms.

Graçaliz Pereira Dimuro, Benjamín René Callejas Bedregal, Regivan Hugo Nunes Santiago, Renata Hax Sander Reiser

Inf. Sci., 2011

A Framework for Interval Quantization and Application to Interval Based Algorithms in Digital Signal Processing.

Fabiana T. Santana, Fágner L. Santana, Ana Maria G. Guerreiro, Adrião Duarte Dória Neto, Regivan H. N. Santiago

Fundam. Informaticae, 2011

Natural topology via fuzzy metric.

Fágner L. Santana, Regivan Hugo Nunes Santiago

Proceedings of the FUZZ-IEEE 2011, 2011

2010

On interval fuzzy S-implications.

Benjamín R. C. Bedregal, Graçaliz Pereira Dimuro, Regivan Hugo Nunes Santiago, Renata Hax Sander Reiser

Inf. Sci., 2010

2008

Interval Additive Generators of Interval T-Norms.

Graçaliz Pereira Dimuro, Benjamín R. C. Bedregal, Renata Hax Sander Reiser, Regivan Hugo Nunes Santiago

Proceedings of the Logic, 2008

2007

Interval Valued QL-Implications.

Renata Hax Sander Reiser, Graçaliz Pereira Dimuro, Benjamín R. C. Bedregal, Regivan Hugo Nunes Santiago

Proceedings of the Logic, 2007

Mathematical morphology for two valued gray-scale images with undefined information.

Marcia Maria de Castro Cruz, Regivan Hugo Nunes Santiago, Adrião Duarte Dória Neto

Proceedings of the 8th ISMM 2007: Rio de Janeiro, Brazil - Volume 2, 2007

The Best Interval Representation of Fuzzy S-Implications and Automorphisms.

Benjamín R. C. Bedregal, Regivan Hugo Nunes Santiago, Renata Hax Sander Reiser, Graçaliz Pereira Dimuro

Proceedings of the FUZZ-IEEE 2007, 2007

2006

Formal Aspects of Correctness and Optimality of Interval Computations.

Regivan Hugo Nunes Santiago, Benjamín René Callejas Bedregal, Benedito Melo Acióly

Formal Aspects Comput., 2006

2005

Implementing Local Intervals in CASL.

Regivan Hugo Nunes Santiago, Anamaria Martins Moreira, Katiane R. Lopes

Proceedings of the Second Brazilian Symposium on Formal Methods, 2005

2004

A normal form which preserves 1-tautologies and 0-contradictions in a class of residuum-based propositional fuzzy logics.

Benjamín René Callejas Bedregal, Regivan H. N. Santiago, Anne Magály de Paula Canuto

Proceedings of the IEEE International Conference on Fuzzy Systems, 2004

1996

Toward a logic for numerical approximations.

Regivan Hugo Nunes Santiago, Benedito Melo Acióly

RITA, 1996