Filters
Finite coverability property
In this article we present a new characterization of the class using a condition analogous to the finite embeddability property....
Pure mathematics
- 2018 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Finite Embeddability Property for Residuated Lattices via Regular Languages
Let V be a variety of residuated lattices axiomatized by a set of identities in the language {∨,⋅,1} . We characterize when V has the finite embeddability property via regularity of a certain collection of languages. Sever...
Pure mathematics
- 2022 •
- C •
- Link
Rok uplatnění
C - Kapitola v odborné knize
Výsledek na webu
The Finite Embeddability Property for Residuated Groupoids
A very simple proof of the finite embeddability property for residuated distributive-lattice-ordered groupoids and some related classes of structures is presented. In particular, this gives an answer to the question, posed ...
BA - Obecná matematika
- 2014 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
On n-contractive Fuzzy Logics
It is well known that MTL satisfies the finite embeddability property. Thus MTL is complete w. r. t. the class of all finite MTL-chains. In order to reach a deeper, finite embeddability proper...
BA - Obecná matematika
- 2007 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
A remark on a paper of van Alten
In his paper The finite model property for knotted extensions of propositional linear logic van Alten shows that both the classical and intuitionistic propositional the finite model property. The purpose of this re...
BA - Obecná matematika
- 2010 •
- D
Rok uplatnění
D - Stať ve sborníku
On Weakly Cancellative Fuzzy Logics
The paper deals with the monoidal t-norm based logic satisfying a weaker form of the cancellation law. In particular, its logical and algebraic properties like (finite) strong standard completeness or finite embeddabili...
BA - Obecná matematika
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Avoidable structures, II: Finite distributive lattices and nicely structured ordered sets
Let D be the ordered set of isomorphism types of finite distributive lattices, where the ordering is by embeddability. We characterize the order ideals in D that are well-quasi-ordered by embeddability, and thus characteriz...
BA - Obecná matematika
- 2009 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Decidability of Cancellative Extension of Monoidal t-norm Based Logic
In this paper we prove that the cancellative extension of Monoidal T-norm Based Logic is decidable. The result holds also for finite consequence relation....
BA - Obecná matematika
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
ON REALIZATION OF EFFECT ALGEBRAS
that a finite generalized effect algebra is order embeddable into the standard effectA well known fact is that there is a finite orthomodular lattice with an order determining set of states which is not order embeddabl...
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
Definability in Substructure Orderings, II: Finite Ordered Sets
Let P be the ordered set of isomorphism types of finite ordered sets (posets) where the ordering is by embeddability. We study first-order definability in this ordered set....
BA - Obecná matematika
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 out of 116 853