39 found
Order:
  1.  63
    Connection structures.Loredana Biacino & Giangiacomo Gerla - 1991 - Notre Dame Journal of Formal Logic 32 (2):242-247.
    Whitehead, in his famous book "Process and Reality", proposed a definition of point assuming the concepts of “region” and “connection relation” as primitive. Several years after and independently Grzegorczyk, in a brief but very interesting paper proposed another definition of point in a system in which the inclusion relation and the relation of being separated were assumed as primitive. In this paper we compare their definitions and we show that, under rather natural assumptions, they coincide.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  2.  35
    Connection Structures: Grzegorczyk's and Whitehead's Definitions of Point.Loredana Biacino & Giangiacomo Gerla - 1996 - Notre Dame Journal of Formal Logic 37 (3):431-439.
    Whitehead, in his famous book Process and Reality, proposed a definition of point assuming the concepts of "region" and "connection relation" as primitive. Several years after and independently Grzegorczyk, in a brief but very interesting paper, proposed another definition of point in a system in which the inclusion relation and the relation of being separated were assumed as primitive. In this paper we compare their definitions and we show that, under rather natural assumptions, they coincide.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  3.  66
    Pointless metric spaces.Giangiacomo Gerla - 1990 - Journal of Symbolic Logic 55 (1):207-219.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  4. Fuzzy logic: Mathematical tools for approximate reasoning.Giangiacomo Gerla - 2003 - Bulletin of Symbolic Logic 9 (4):510-511.
     
    Export citation  
     
    Bookmark   10 citations  
  5.  13
    Inferences in probability logic.Giangiacomo Gerla - 1994 - Artificial Intelligence 70 (1-2):33-52.
  6.  39
    Decidability, partial decidability and sharpness relation for l-subsets.Giangiacomo Gerla - 1987 - Studia Logica 46 (3):227-238.
    If X is set and L a lattice, then an L-subset or fuzzy subset of X is any map from X to L, [11]. In this paper we extend some notions of recursivity theory to fuzzy set theory, in particular we define and examine the concept of almost decidability for L-subsets. Moreover, we examine the relationship between imprecision and decidability. Namely, we prove that there exist infinitely indeterminate L-subsets with no more precise decidable versions and classical subsets whose unique shaded (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  7.  47
    Effectiveness and Multivalued Logics.Giangiacomo Gerla - 2006 - Journal of Symbolic Logic 71 (1):137 - 162.
    Effective domain theory is applied to fuzzy logic. The aim is to give suitable notions of semi-decidable and decidable L-subset and to investigate about the effectiveness of the fuzzy deduction apparatus.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  8.  34
    Fuzzy logic, continuity and effectiveness.Loredana Biacino & Giangiacomo Gerla - 2002 - Archive for Mathematical Logic 41 (7):643-667.
    It is shown the complete equivalence between the theory of continuous (enumeration) fuzzy closure operators and the theory of (effective) fuzzy deduction systems in Hilbert style. Moreover, it is proven that any truth-functional semantics whose connectives are interpreted in [0,1] by continuous functions is axiomatizable by a fuzzy deduction system (but not by an effective fuzzy deduction system, in general).
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  43
    (1 other version)Recursively Enumerable L‐Sets.Loredana Biacino & Giangiacomo Gerla - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (2):107-113.
  10.  46
    Grasping Infinity by Finite Sets.Ferrante Formato & Giangiacomo Gerla - 1998 - Mathematical Logic Quarterly 44 (3):383-393.
    We show that the existence of an infinite set can be reduced to the existence of finite sets “as big as we will”, provided that a multivalued extension of the relation of equipotence is admitted. In accordance, we modelize the notion of infinite set by a fuzzy subset representing the class of wide sets.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  11.  33
    Graded consequence relations and fuzzy closure operator.Giangiacomo Gerla - 1996 - Journal of Applied Non-Classical Logics 6 (4):369-379.
    ABSTRACT In this work the connections between the fuzzy closure operators and the graded consequence relations are examined Namely, as it is well known, in the crisp case there is a complete equivalence between the notion of closure operator and the one of consequence relation. We extend this result by proving that the graded consequence relations are related to a particular class of fuzzy closure operators, namely the class of fuzzy closure operators that can be obtained by a chain of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  12.  25
    (1 other version)Decidability, Recursive Enumerability and Kleene Hierarchy For L‐Subsets.Loredana Biacino & Giangiacomo Gerla - 1989 - Mathematical Logic Quarterly 35 (1):49-62.
  13.  30
    Point-free geometry, ovals, and half-planes.Giangiacomo Gerla & Rafał Gruszczyński - 2017 - Review of Symbolic Logic 10 (2):237-258.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  44
    Vagueness and Formal Fuzzy Logic: Some Criticisms.Giangiacomo Gerla - 2017 - Logic and Logical Philosophy 26 (4).
  15.  33
    Mathematical Features of Whitehead’s Point-free Geometry.Annamaria Miranda & Giangiacomo Gerla - 2008 - In Michel Weber and Will Desmond (ed.), Handbook of Whiteheadian Process Thought. De Gruyter. pp. 119-130.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  16. Whitehead's pointfree geometry and diametric posets.Giangiacomo Gerla & Bonaventura Paolillo - 2010 - Logic and Logical Philosophy 19 (4):289-308.
    This note is motivated by Whitehead’s researches in inclusion-based point-free geometry as exposed in An Inquiry Concerning the Principles of Natural Knowledge and in The concept of Nature. More precisely, we observe that Whitehead’s definition of point, based on the notions of abstractive class and covering, is not adequate. Indeed, if we admit such a definition it is also questionable that a point exists. On the contrary our approach, in which the diameter is a further primitive, enables us to avoid (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  17.  44
    Fuzzy Logic Programming and Fuzzy Control.Giangiacomo Gerla - 2005 - Studia Logica 79 (2):231-254.
    We show that it is possible to base fuzzy control on fuzzy logic programming. Indeed, we observe that the class of fuzzy Herbrand interpretations gives a semantics for fuzzy programs and we show that the fuzzy function associated with a fuzzy system of IF-THEN rules is the fuzzy Herbrand interpretation associated with a suitable fuzzy program.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  54
    Connecting bilattice theory with multivalued logic.Daniele Genito & Giangiacomo Gerla - 2014 - Logic and Logical Philosophy 23 (1):15-45.
    This is an exploratory paper whose aim is to investigate the potentialities of bilattice theory for an adequate definition of the deduction apparatus for multi-valued logic. We argue that bilattice theory enables us to obtain a nice extension of the graded approach to fuzzy logic. To give an example, a completeness theorem for a logic based on Boolean algebras is proved.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  26
    An Extension Principle for Fuzzy Logics.Giangiacomo Gerla - 1994 - Mathematical Logic Quarterly 40 (3):357-380.
    Let S be a set, P the class of all subsets of S and F the class of all fuzzy subsets of S. In this paper an “extension principle” for closure operators and, in particular, for deduction systems is proposed and examined. Namely we propose a way to extend any closure operator J defined in P into a fuzzy closure operator J* defined in F. This enables us to give the notion of canonical extension of a deduction system and to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  55
    Distances, diameters and verisimilitude of theories.Giangiacomo Gerla - 1992 - Archive for Mathematical Logic 31 (6):407-414.
  21. La relazione di connessione in AN Whitehead: Aspetti matematici.Giangiacomo Gerla & Roberto Tortora - 1992 - Epistemologia 15 (2):351-364.
     
    Export citation  
     
    Bookmark   2 citations  
  22.  15
    (1 other version)Pavelka's Fuzzy Logic and Free L‐Subsemigroups.Giangiacomo Gerla - 1985 - Mathematical Logic Quarterly 31 (7‐8):123-129.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  60
    Defining Measures in a Mereological Space.Giuseppina Barbieri & Giangiacomo Gerla - forthcoming - Logic and Logical Philosophy:1.
    We explore the notion of a measure in a mereological structure and we deal with the difficulties arising. We show that measure theory on connection spaces is closely related to measure theory on the class of ortholattices and we present an approach akin to Dempster’s and Shafer’s. Finally, the paper contains some suggestions for further research.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  23
    Measures in Euclidean Point-Free Geometry (an exploratory paper).Giuseppina Barbieri & Giangiacomo Gerla - forthcoming - Logic and Logical Philosophy:1-20.
    We face with the question of a suitable measure theory in Euclidean point-free geometry and we sketch out some possible solutions. The proposed measures, which are positive and invariant with respect to movements, are based on the notion of infinitesimal masses, i.e. masses whose associated supports form a sequence of finer and finer partitions.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25. Fuzziness in Italy – Traces of a scattered history.Gianpiero Cattaneo, Giulianella Coletti, Antonio Di Nola, Mario Fedrizzi, Giangiacomo Gerla, Gabriella Pasi, Marco Elio Tabacchi, Settimo Termini & Aldo Ventre - 2017 - Archives for the Philosophy and History of Soft Computing 2017 (1).
    The history of Fuzziness in Italy is varied and scattered among a num- ber of research groups. As a matter of fact, “fuzziness” spread in Italy through a sort of spontaneous diffusion, and, also subsequently, no one felt the need to cre- ate some “national” common structure like an Association or similar things. Since a cohesive retelling would be next to impossible, a few members of the Italian fuzzy community have been asked to recount their experience and express their hopes (...)
    No categories
     
    Export citation  
     
    Bookmark  
  26.  74
    Point-free Foundation of Geometry and Multivalued Logic.Cristina Coppola, Giangiacomo Gerla & Annamaria Miranda - 2010 - Notre Dame Journal of Formal Logic 51 (3):383-405.
    Whitehead, in two basic books, considers two different approaches to point-free geometry: the inclusion-based approach , whose primitive notions are regions and inclusion relation between regions, and the connection-based approach , where the connection relation is considered instead of the inclusion. We show that the latter cannot be reduced to the first one, although this can be done in the framework of multivalued logics.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  66
    Special Issue on Point-Free Geometry and Topology.Cristina Coppola & Giangiacomo Gerla - 2013 - Logic and Logical Philosophy 22 (2):139-143.
    In the first section we briefly describe methodological assumptions of point-free geometry and topology. We also outline history of geometrical theories based on the notion of emph{region}. The second section is devoted to concise presentation of the content of the LLP special issue on point-free theories of space.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  28. Dissezioni e intersezioni di regioni in AN Whitehead.Giangiacomo Gerla & Roberto Tortora - 1996 - Epistemologia 19 (2):289-308.
     
    Export citation  
     
    Bookmark   1 citation  
  29.  24
    (1 other version)Fuzzy natural deduction.Giangiacomo Gerla & Roberto Tortora - 1990 - Mathematical Logic Quarterly 36 (1):67-77.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  25
    4.4. Il Cervino di Varzi: similarità e oggetti vaghi.Giangiacomo Gerla - 2012 - Rivista di Estetica 49:281-296.
    In the framework of fuzzy logic a definition of vague object is proposed based on the notion of fuzzy equivalence. Indeed, while a crisp object is defined as a “concrete thing” together with an equivalence, I propose to define a vague object as a “concrete thing” together with a fuzzy equivalence.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  69
    Modal logic and model theory.Giangiacomo Gerla & Virginia Vaccaro - 1984 - Studia Logica 43 (3):203 - 216.
    We propose a first order modal logic, theQS4E-logic, obtained by adding to the well-known first order modal logicQS4 arigidity axiom schemas:A → □A, whereA denotes a basic formula. In this logic, thepossibility entails the possibility of extending a given classical first order model. This allows us to express some important concepts of classical model theory, such as existential completeness and the state of being infinitely generic, that are not expressibile in classical first order logic. Since they can be expressed in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  32.  42
    Multivalued Logic to Transform Potential into Actual Objects.Giangiacomo Gerla - 2007 - Studia Logica 86 (1):69-87.
    We define the notion of “potential existence” by starting from the fact that in multi-valued logic the existential quantifier is interpreted by the least upper bound operator. Besides, we try to define in a general way how to pass from potential into actual existence.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33. On the Logical Structure of Verisimilitude.Giangiacomo Gerla - 1989 - Epistemologia 12 (1):161.
     
    Export citation  
     
    Bookmark  
  34.  50
    Point-Free Geometry and Verisimilitude of Theories.Giangiacomo Gerla - 2007 - Journal of Philosophical Logic 36 (6):707-733.
    A metric approach to Popper's verisimilitude question is proposed which is related to point-free geometry. Indeed, we define the theory of approximate metric spaces whose primitive notions are regions, inclusion relation, minimum distance, and maximum distance between regions. Then, we show that the class of possible scientific theories has the structure of an approximate metric space. So, we can define the verisimilitude of a theory as a function of its (approximate) distance from the truth. This avoids some of the difficulties (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  35.  12
    TuringL-machines and recursive computability forL-maps.Giangiacomo Gerla - 1989 - Studia Logica 48 (2):179-192.
    We propose the notion of partial recursiveness and strong partial recursiveness for fuzzy maps. We prove that a fuzzy map f is partial recursive if and only if it is computable by a Turing fuzzy machine and that f is strongly partial recursive and deterministic if and only if it is computable via a deterministic Turing fuzzy machine. This gives a simple and manageable tool to investigate about the properties of the fuzzy machines.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  36. (1 other version)Transformational semantics for first order logic.Giangiacomo Gerla - 1987 - Logique Et Analyse 117 (17):118.
  37. Vaghezza ontologica senza scetticismi.Giangiacomo Gerla - 2012 - Rivista di Estetica 49.
     
    Export citation  
     
    Bookmark  
  38.  24
    A note on the principle of predication.Giangiacomo Gerla - 1982 - Notre Dame Journal of Formal Logic 23 (4):471-472.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  39.  21
    Approximate Similarities and Poincaré Paradox.Giangiacomo Gerla - 2008 - Notre Dame Journal of Formal Logic 49 (2):203-226.
    De Cock and Kerre, in considering Poincaré paradox, observed that the intuitive notion of "approximate similarity" cannot be adequately represented by the fuzzy equivalence relations. In this note we argue that the deduction apparatus of fuzzy logic gives adequate tools with which to face the question. Indeed, a first-order theory is proposed whose fuzzy models are plausible candidates for the notion of approximate similarity. A connection between these structures and the point-free metric spaces is also established.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark