Giangiacomo Gerla

Fuzzy Sets Syst., 2018

2017

Point-Free Geometry, ovals, and half-planes.

[BibT_eX]

[DOI]

Rafal Gruszczynski

Rev. Symb. Log., 2017

2016

Comments on some theories of fuzzy computation.

[BibT_eX]

[DOI]

Int. J. Gen. Syst., 2016

2015

Theory of fuzzy computation.

[BibT_eX]

[DOI]

Int. J. Gen. Syst., 2015

The existence of vague objects.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2015

2013

Bilattices for deductions in multi-valued logic.

[BibT_eX]

[DOI]

Gemma Carotenuto

Int. J. Approx. Reason., 2013

2012

Handling the valuation of the predicates in a fuzzy model.

[BibT_eX]

[DOI]

Daniele Genito

Alessandro Vignes

Fuzzy Sets Syst., 2012

2010

Meta-logic programming for a synonymy logic.

[BibT_eX]

[DOI]

Daniele Genito

Alessandro Vignes

Soft Comput., 2010

Point-free Foundation of Geometry and Multivalued Logic.

[BibT_eX]

[DOI]

Cristina Coppola

Annamaria Miranda

Notre Dame J. Formal Log., 2010

2008

Approximate Similarities and Poincaré Paradox.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 2008

Convergence and fixed points by fuzzy orders.

[BibT_eX]

[DOI]

Cristina Coppola

Tiziana Pacelli

Fuzzy Sets Syst., 2008

2007

Multivalued Logic to Transform Potential into Actual Objects.

[BibT_eX]

[DOI]

Stud Logica, 2007

Point-Free Geometry and Verisimilitude of Theories.

[BibT_eX]

[DOI]

J. Philos. Log., 2007

Multi-valued Logics, Effectiveness and Domains.

[BibT_eX]

[DOI]

Proceedings of the Computation and Logic in the Real World, 2007

2006

Quasi-metric spaces and point-free geometry.

[BibT_eX]

[DOI]

Anna Di Concilio

Math. Struct. Comput. Sci., 2006

Effectiveness and multivalued logics.

[BibT_eX]

[DOI]

J. Symb. Log., 2006

Fuzzy submonoids, fuzzy preorders and quasi-metrics.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2006

2005

Fuzzy Logic Programming and Fuzzy Control.

[BibT_eX]

[DOI]

Stud Logica, 2005

2004

Representation theorems for fuzzy orders and quasi-metrics.

[BibT_eX]

[DOI]

Soft Comput., 2004

Similarity Logic And Translations.

[BibT_eX]

[DOI]

Costanza Crisconio

Daniel Donato

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

2003

Boolean fuzzy logic and generalized capacities.

[BibT_eX]

[DOI]

Int. J. Gen. Syst., 2003

2002

Fuzzy logic, continuity and effectiveness.

[BibT_eX]

[DOI]

Arch. Math. Log., 2002

2001

Fuzzy control as a fuzzy deduction system.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2001

2000

Approximate Reasoning Based on Similarity.

[BibT_eX]

[DOI]

Mingsheng Ying

Math. Log. Q., 2000

Similarity-based Unification.

[BibT_eX]

[DOI]

Maria I. Sessa

Fundam. Informaticae, 2000

1999

Fuzzy subgroups and similarities.

[BibT_eX]

[DOI]

Luisa Scarpati

Soft Comput., 1999

Extension of Logic Programming by Similarity.

[BibT_eX]

Maria I. Sessa

Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998

Grasping Infinity by Finite Sets.

[BibT_eX]

[DOI]

Math. Log. Q., 1998

Extension Principles for Fuzzy Set Theory.

[BibT_eX]

[DOI]

Luisa Scarpati

Inf. Sci., 1998

Logics with approximate premises.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 1998

1996

Connection Structures: Grzegorczyk's and Whitehead's Definitions of Point.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1996

Graded Consequence Relations and Fuzzy Closure Operators.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 1996

1994

An Extension Principle for Fuzzy Logics.

[BibT_eX]

[DOI]

Math. Log. Q., 1994

The probability that tweety is able to fly.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 1994

Fuzzy refutations for probability and multivalued logics.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 1994

Inferences in Probability Logic.

[BibT_eX]

[DOI]

Artif. Intell., 1994

1992

Fuzzy grammars and recursively enumerable fuzzy languages.

[BibT_eX]

[DOI]

Inf. Sci., 1992

Generated necessities and possibilities.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 1992

Distances, diameters and verisimilitude of theories.

[BibT_eX]

[DOI]

Arch. Math. Log., 1992

1991

Connection Structures.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1991

1990

Fuzzy natural deduction.

[BibT_eX]

[DOI]

Roberto Tortora

Math. Log. Q., 1990

Pointless Metric Spaces.

[BibT_eX]

[DOI]

J. Symb. Log., 1990

1989

Turing L -machines and recursive computability for L -maps.

[BibT_eX]

[DOI]

Stud Logica, 1989

Decidability, Recursive Enumerability and Kleene Hierarchy For L-Subsets.

[BibT_eX]

[DOI]

Math. Log. Q., 1989

1988

A preservation theorem for fuzzy number theory.

[BibT_eX]

[DOI]

Inf. Sci., 1988

Decidability and Recursive Enumerability for Fuzzy Subsets.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty and Intelligent Systems, 1988

1987

Decidability, partial decidability and sharpness relation for L-subsets.

[BibT_eX]

[DOI]

Stud Logica, 1987

Recursively Enumerable L-Sets.

[BibT_eX]

[DOI]

Math. Log. Q., 1987

1986

On fuzzy convergence.

[BibT_eX]

[DOI]

Inf. Sci., 1986

1985

Pavelka's Fuzzy Logic and Free L-Subsemigroups.

[BibT_eX]

[DOI]

Math. Log. Q., 1985

1984

Closure systems and L-subalgebras.

[BibT_eX]

[DOI]

Inf. Sci., 1984

1982

A note on the principle of predication.

[BibT_eX]

[DOI]