Filters
Semiconic idempotent logic I: Structure and local deduction theorems
Semiconic idempotent logic is a common generalization of intuitionistic logic, relevance logic with mingle, and semilinear idempotent logic. It is an algebraizable logic and it a...
Applied mathematics
- 2024 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Semiconic idempotent logic II: Beth definability and deductive interpolation
Semiconic idempotent logic sCI is a common generalization of intuitionistic logic, semilinear idempotent logic sLI, and in particular relevance logic. semiconic idempotent
Applied mathematics
- 2025 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Quantum logics of idempotents of unital rings
We introduce some new examples of quantum logics of idempotents in a ring. We continue the study of symmetric logics, i.e., collections of subsets generalizing Boolean algebras and closed under the symmetric difference....
BA - Obecná matematika
- 2015 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Some Hedges for Continuous t-norm Logics.
The basic fuzzy logic BL is extended by two unary connectives L, U (lower, upper) whose standard semantics is, given a continuous t-norm, the function assigning to each x from [0,1] the biggest idempotent le x (least idempotent<...
BA - Obecná matematika
- 2002 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Expanding Basic Fuzzy Logic with Truth Constants for Component Delimiters
In this paper we investigate the propositional logic of standard algebras for Hájek's Basic Fuzzy Logic BL in a language expanded with propositional constants for the idempotent elements delimiting the L-, G-, and Pi-compon...
BA - Obecná matematika
- 2012 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Sublattices corresponding to very true operators in commutative basic algebras
We introduce the concept of very true operator on a commutative basic algebra in a way analogous to that for fuzzy logic. We prove that every such operator is fully determined by a certain relatively complete sublattice provided its idem...
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
Distinguishing Standard SBL-algebras with Involutive Negations by Propositional Formulas
Propositional fuzzy logics given by a combination of a continuous SBL t-norm with finitely many idempotents and of an involutive negation are investigated. A characterization of continuous t-norms which, in combination with differen...
BA - Obecná matematika
- 2008 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Varieties of De Morgan Monoids: Minimality and Irreducible Algebras
) the union of an interval subalgebra [¬a, a] and two chains of idempotents no nontrivial idempotent member, and A/[¬a) is a Sugihara chain in which ¬e = e. It is also on the models and the axiomatic extensions of fundamental releva...
Pure mathematics
- 2019 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
A note on idempotent modifications of Groups
A note on idempotent modifications of Groups...
BA - Obecná matematika
- 2004 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Varieties of idempotent slim groupoids
Varieties of idempotent slim groupoids...
BA - Obecná matematika
- 2008 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 out of 9 934