Filters
A 0-1 Law in Mathematical Fuzzy Logic
in mathematical fuzzy logic focusing on the finite model theory of fuzzy logics valued on arbitrary finite MTL-chains. We show that for any first-order (or infinitary with finitely many variables...
Pure mathematics
- 2022 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Saturated models of first-order many-valued logics
This paper is devoted to the problem of existence of saturated models for first-order many-valued logics. We consider a general notion of type as pairs of sets of formulas in one free variable that express...
Applied mathematics
- 2022 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Truth-Preservation under Fuzzy pp-Formulas
How can non-classical logic contribute to the analysis of complexity in computer science? In this paper, we give a step towards this question, taking a logical model-theoretic approach to the analysis of complexity in fuzzy constrai...
Pure mathematics
- 2019 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Deciding Predicate Logical Theories Of Real-Valued Functions
The notion of a real-valued function is central to mathematics, computer science, and many other scientific fields. Despite this importance, there are hardly any positive results on decision procedures for predicate logical...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2023 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
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
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
A Development of Set Theory in Fuzzy Logic.
This paper presents an axiomatic set theory FST ('Fuzzy Set Theory'), as a first-order theory within the framework of Hájek's Mathematical fuzzy logic. In the classical YFC, we use a construction similar to that of a Boolea...
BA - Obecná matematika
- 2003 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Lindström theorems in graded model theory
of classical model theory that studies the semantics of many-valued predicate logics. We give a general notion of abstract logic based on many-valued models and prove six Lindström-style characte...
Applied mathematics
- 2021 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
A minimalistic many-valued theory of types
A parsimonious Church-style type theory based on many-valued equality and admitting many-valued models over a broad class of non-classical logics is introduced and its completeness with respect to a Henkin...
Pure mathematics
- 2017 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
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 S5 and MIPC of the...
Pure mathematics
- 2022 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Many-valued Horn Logic is Hard
In this work we show that for propositional Horn clauses a finite-valued conjunction operator (in particular under finite Lukasiewicz semantics) can induce additional nondeterminism. In order to prove this, we reduce the problem of ...
IN - Informatika
- 2014 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
- 1 - 10 out of 285 230