All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Filters

9 432 (0,134s)

Result

An Alternative Approach to the Lpi Logic.

The Lpi logic was introduced by Godo, Esteva and Montagna. The aim of this paper is to show a tight connection between the Lpi logic and product involutive the connectives of the Lpi logic are def...

BA - Obecná matematika

  • 2001
  • Jx
Result

The LPi and LPi/2 Propositional and Predicate Logics.

In fuzzy logic three main logics are investigated (Godel,product and Lukasiewicz logic). There are logics LPi and LPi1/2 uniting these three logics. We show an alternative axiomatic system of thes...

BA - Obecná matematika

  • 2001
  • Jx
Result

Advances in the LPi and LPi1/2 Logics.

The LPi and LPi1/2 logics were introduced by Godo, Esteva and Montagna. These logics extend many other logics, including the Godel, product and Lukasiewicz logic of the axiomatic systems for both logic...

BA - Obecná matematika

  • 2003
  • Jx
Result

The LPi and LPi1/2 Propositional and Predicate Logics

Not available...

BA - Obecná matematika

  • 2001
  • Jx
Result

Fuzzy Class Theory as Foundations for Fuzzy Mathematics

LPi-omega is a deductive first-order theory over fuzzy logic LPi, which axiomatically captures Zadehs notion of fuzzy set and aims at giving a unified formal framework for a large part of fuzzy mathematics. An overview of t...

AB - Dějiny

  • 2005
  • D
Result

Which logic is the real fuzzy logic?

This paper is a contribution to the discussion of the problem, whether there is a fuzzy logic that can be considered as the real fuzzy logic. We give reasons for taking IMTL, BL, LPi and Evl (fuzzy logic with evalu...

BA - Obecná matematika

  • 2006
  • Jx
Result

Fuzzy type theory as higher order fuzzy logic

In the paper, logical axioms, inference rules, semantics, and some specific properties including the completeness theorems of zour kinds of fuzzy type theory are presented. This theory is a higher order fuzzy logic that can be used ...

BA - Obecná matematika

  • 2005
  • D
Result

INSPIRE and LPIS integration: unified application schema of agro-application for (not only) precision farming

(LPIS). Almost all such information systems use a proprietary data model. Data integration among various LPIS platforms is therefore complicated. Our approach aims and aquacultural facilities? to support data integration among any ...

DE - Zemský magnetismus, geodesie, geografie

  • 2015
  • O
Result

Fuzzy Class Theory

The paper introduces a simple, yet powerful axiomatization of Zadeh's notion of fuzzy set, based on formal fuzzy logic. The presented formalism is strong enough to serve as foundations of a large part of fuzzy mathematics. Its essence is ele...

BA - Obecná matematika

  • 2005
  • Jx
Result

A Note to the Definition of the LPi-Algebras

The LPi-algebras have two sets of operations and reduct to one set is an MV-algebra and to the other one is a Pi-algebra. There arise a question: which additional identities (besides those of MV-algebra and Pi-algebra) has some algebra to fu...

BA - Obecná matematika

  • 2005
  • Jx
  • 1 - 10 out of 9 432