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

173 547 (0,41s) •

Result

One-variable fragments of first-order logics

The one-variable fragment of a first-order logic may be viewed as an “S5-like-variable fragments of first-order classical logic and first-order intuitionistic logic, res...

Pure mathematics

  • 2024
    • •
  • Jimp
    • •
  • Link
Result

Löwenheim-Skolem theorems for non-classical first-order algebraizable logics

This paper is a contribution to the model theory of non-classical first-order predicate logics. In a wide framework of first-order systems based on algebraizable logics, we study several notions o...

BA - Obecná matematika

  • 2016
    • •
  • Jx
    • •
  • Link
Result

Algebraic Semantics for One-Variable Lattice-Valued Logics

The one-variable fragment of any first-order logic may be considered as a modal S5 and MIPC of the one-variable fragments of first-order classical logic and intuitionistic logic, respecti...

Pure mathematics

  • 2022
    • •
  • D
    • •
  • Link
Result

Comparing CSP representation and First order logic

This contribution discusses two different methods for specification reactive systems from their source code: (1) the First order representation and (2) the specification using CSP. This paper focuses on the comparsion of CSP with

JC - Počítačový hardware a software

  • 2002
    • •
  • D
Result

Back-and-forth systems for fuzzy first-order models

This paper continues the study of model theory for fuzzy logics by addressing the fundamental issue of classifying models according to their first-order theory. Three different definitions of elementary equivalence for fuzz...

Pure mathematics

  • 2018
    • •
  • Jimp
    • •
  • Link
Result

First-order EQ-logic

This paper represents the third step in the development of EQ-logics. Namely, after developing propositional and higher-order EQ-logics, we focus also on predicate one. First, we give a brief overview of the propos...

BA - Obecná matematika

  • 2013
    • •
  • D
Result

Non-commutative first-order EQ-logics

Logics based on EQ-algebras are called EQ-logics and they can be considered as special kind of fuzzy logics. After developing propositional and higher-order ones, we address in this contribution the predicate f...

BA - Obecná matematika

  • 2016
    • •
  • Jx
Result

Quantification over Undefined Truth Values

We will recall three prominent families of quantifiers in first-order partial fuzzy logic and study their properties. The background fuzzy logic is the monoidal t-norm based logic MTL. First we wi...

Pure mathematics

  • 2018
    • •
  • D
    • •
  • Link
Result

Fuzzy logic with fuzzy quantifiers

The aim of this presentation is to introduce the first-order fuzzy logic with fuzzy quantifiers. A general model of fuzzy quantifiers is defined and several examples are presented. A structure of fuzzy quantifiers is establ...

BA - Obecná matematika

  • 2006
    • •
  • A
Result

Arithmetical Complexity of First-Order Fuzzy Logics. Chapter 11

, in other cases, like Łukasiewicz first-order logic, the undecidability degrees are higher but stillin the arithmetical hierarchy, while in product logic or in BL logicThe main problem in this chapter is ...

BA - Obecná matematika

  • 2011
    • •
  • C
  • 1 - 10 out of 173 547