IRIS Uni Torinohttps://iris.unito.itIl sistema di repository digitale IRIS acquisisce, archivia, indicizza, conserva e rende accessibili prodotti digitali della ricerca.Thu, 20 Jan 2022 09:05:31 GMT2022-01-20T09:05:31Z1061Kleene's logic and De Morgan algebrashttp://hdl.handle.net/2318/88872Titolo: Kleene's logic and De Morgan algebras
Abstract: Kleene’s Logic is identified with the logic arising from the class of normal De Morgan algebras with a single fixed point for negation. Semantics of three-valued logic is presented from an algebraic point of view. An algebraic proof of the strong completeness theorem for Kleene’s Logic is given.
Sun, 01 Jan 2006 00:00:00 GMThttp://hdl.handle.net/2318/888722006-01-01T00:00:00ZAn algebraic completeness proof for Kleene's 3-valued logichttp://hdl.handle.net/2318/22847Titolo: An algebraic completeness proof for Kleene's 3-valued logic
Tue, 01 Jan 2002 00:00:00 GMThttp://hdl.handle.net/2318/228472002-01-01T00:00:00ZIl sorite come teoria formalehttp://hdl.handle.net/2318/104919Titolo: Il sorite come teoria formale
Abstract: The sorites paradox has been understood as a failure of classical logic and a way out can be found by choosing a non classical logic (fuzzy logic, for instance). We understand the sorites not as a problem of logic but of ontology, so we preserve classical logic and submit the premisses of the argument to a deeper analysis. As a result we obtain two theories for soritical arguments and enlighten the kind of structure requested by these arguments. The former theory has a lattice theoretic flavor and is fitted for paradoxes like `the heap' and `the bald man'; the latter is group theoretic in character and can manage paradoxes based on observational predicates like `tall', `red' and so on. In both cases the contradiction is derived from a larger set of hypotheses than in usual analysis and some of these hypotheses are good candidates for the reduction ad absurdum.
Fri, 01 Jan 2010 00:00:00 GMThttp://hdl.handle.net/2318/1049192010-01-01T00:00:00ZLogica, la teoria classica dell'inferenzahttp://hdl.handle.net/2318/83132Titolo: Logica, la teoria classica dell'inferenza
Mon, 01 Jan 2001 00:00:00 GMThttp://hdl.handle.net/2318/831322001-01-01T00:00:00ZDMF-algebras: representation and topological characterizationhttp://hdl.handle.net/2318/75696Titolo: DMF-algebras: representation and topological characterization
Thu, 01 Jan 1998 00:00:00 GMThttp://hdl.handle.net/2318/756961998-01-01T00:00:00ZA probability measure for partial eventshttp://hdl.handle.net/2318/74920Titolo: A probability measure for partial events
Abstract: We introduce the concept of partial event as a pair of disjoint sets, respectively
the favorable and the unfavorable cases. Partial events can be seen as a De Morgan
algebra with a single fixed point for the complement. We introduce the concept of a measure
of partial probability, based on a set of axioms resembling Kolmogoroff’s. Finally we
define a concept of conditional probability for partial events and apply this concept to the
analysis of the two-slit experiment in quantum mechanics.
Fri, 01 Jan 2010 00:00:00 GMThttp://hdl.handle.net/2318/749202010-01-01T00:00:00Z