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”
EN
ČeštinaEnglish

Filters

91 511 (0,549s) •

Result

Interpreting lattice-valued set theory in fuzzy set theory

An interpretation of lattice-valued logic, defined by Titani, in basic fuzzy logic, defined by Hájek, is presented. Moreover, Titani's axioms of lattice-valued set theory are interpreted in fuzzy ...

BA - Obecná matematika

  • 2013
    • •
  • Jx
Result

Lattice-Valued Logic and its Applications - Abstracts

Set Theory ?Lattice-Valued Logic and its Applications. Since their inception ?Lattice-Valued Logic and its Applications. The goal of the seminar is present and discuss recent advances of mathemat...

BA - Obecná matematika

  • 2010
    • •
  • O
Result

Monadic bounded residuated lattices

Bounded integral residuated lattices form a large class of algebras which contains algebraic counterparts of several propositional logics behind many-valued reasoning and intuitionistic logic. In the paper we intro...

BA - Obecná matematika

  • 2013
    • •
  • Jx
    • •
  • Link
Result

Skolemization and Herbrand theorems for lattice-valued logics

Skolemization and Herbrand theorems are obtained for first-order logics based on algebras with a complete lattice reduct and operations that are monotone or antitone in each argument. These lattice-valued logic...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2019
    • •
  • Jimp
    • •
  • Link
Result

Basic algebras, logics, trends and applications

and orthomodular lattices, the structures used for an algebraic axiomatization of the so-called multiple valued logic and the logic of quantum mechanics. The paper gets an overviewof results on basic algebras, the...

BA - Obecná matematika

  • 2015
    • •
  • Jx
    • •
  • Link
Result

Algebraic Semantics for One-Variable Lattice-Valued Logics

for such an approach in the setting of first-order lattice-valued logics, where formulasThe one-variable fragment of any first-order logic may be considered as a modal logic, where the universal and exist...

Pure mathematics

  • 2022
    • •
  • D
    • •
  • Link
Result

On Finite-Valued Bimodal Logics with an Application to Reasoning About Preferences

and define a logic to reason about fuzzy preferences, generalising to the many-valuedIn a previous paper by Bou et al., the minimal modal logic over a finite residuated lattice with a necessity operator was charac...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2018
    • •
  • D
    • •
  • Link
Result

The Lattice of Super-Belnap Logics

We study the lattice of extensions of four-valued Belnap-Dunn logic, called super-Belnap logics by analogy with superintuitionistic logics. We describe the global structure of this lattice by spli...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2023
    • •
  • Jimp
    • •
  • Link
Result

Basic Algebras, Logics, Trends and Applications

and Heyting algebras), many-valued logics (Iitikasiewicz, Chang's MV-algebras, Post algebras), the logic of quantum mechanics (orthomodular lattices and posets) and fuzzy logics (residuated latti...

Pure mathematics

  • 2017
    • •
  • Jimp
    • •
  • Link
Result

Fuzzy concept lattices with incomplete knowledge

We study the problem of incomplete data in Formal Concept Analysis in fuzzy setting, namely the problem of constructing a concept lattice of incomplete data. We develop a simple general framework for dealing with unknown values in f...

IN - Informatika

  • 2012
    • •
  • Jx
    • •
  • Link
  • 1 - 10 out of 91 511