Search for European Projects

4 European Projects Found

Searched on 125080 European Projects

 FINISHED 

Paraconsistent Fuzzy Logic with Generalized Quantifiers (ParFuzGenQ)

Start date: Mar 1, 2013, End date: Feb 28, 2015,

The project aims at establishing an adequate logical bases for real life applications, especially expert systems in medical diagnostics, covering the following topics: (A) Investigation of first-order t-norms based fuzzy logics and their important fragments, (B) Studies on paraconsistent fuzzy logic, (C) Adding non-standard quantifiers to paraconsistent fuzzy logic, (D) Investigation of the usefu ...
Read Project

 1

 FINISHED 

Non-deterministic Matrices and their Applications for Non-classical Logics (NDMANCL)

Start date: Apr 1, 2011, End date: Mar 31, 2013,

"Non-deterministic multi-valued matrices (Nmatrices) are a new field of research rapidly developing towards a foundational logical theory. The idea of Nmatrices is in extending the usual algebraic deterministic semantics of logical systems by importing the idea of non-deterministic computations from Computer Science, and allowing the truth-value of a formula to be chosen non-deterministically out ...
Read Project

 1

 FINISHED 

Proof-theoretical and Algebraic Study of Nonclassical Logics (PTASNCL)

Start date: Jul 1, 2008, End date: Jun 30, 2010,

"Algebraic study of substructural logics is rapidly growing and is one of most attracting research subjects of non-classical logics. The goal is to understand various non-classical logics, like many-valued logics, fuzzy logics, Lambek calculus, linear logic and relevant logics, within a unified view. Main technical tools are algebraic ones, used typically in the study of ordered algebraic structur ...
Read Project

 1

 FINISHED 

Semantics of Gödel logics (GOEDELSEM)

Start date: Aug 1, 2007, End date: Jul 31, 2008,

The study of different semantics is actually the study of the very objects of mathematics the logic is related to. What we call today `Gödel logics' was developed from and for the analysis of very different mathematical objects: The real numbers, Kripke frames, and Heyting algebras. Purpose of this project is the relations between these semantics.The semantics based on subsets of the real interval ...
Read Project

 1