Filters
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
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 as many types as possible are realiz...
Applied mathematics
- 2022 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
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
Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic
of mathematical fuzzy logic. We study characterizations of classes of graded structures in terms of the syntactic form of their first-order axiomatization. We focus on classes preservation theorems follow...
Pure mathematics
- 2019 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
GRUNGE: A Grand Unified ATP Challenge
This paper describes a large set of related theorem proving problems obtained by translating theorems from the HOL4 standard library into multiple logical formalisms. The formalisms are in higher-order logic
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Skolemization and Herbrand theorems for lattice-valued logics
Skolemization and Herbrand theorems are obtained for first-order logics based in classical first-order logic such as prenexation, deduction theorems, or reductions from consequen...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Logic for all willing to think
of first order logic and incompleteness of arithmetical theories. The textThis book is an introduction to mathematical logic intended for high school students and wider public. Main concepts of logic are ...
BA - Obecná matematika
- 2011 •
- B
Rok uplatnění
B - Odborná kniha
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
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
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Infinitary first-order categorical logic
, the disjunction and existence properties for infinitary intuitionistic first-order logics.We present a unified categorical treatment of completeness theorems for several classical and intuitionistic infinitary
Applied mathematics
- 2019 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
- 1 - 10 out of 281 943