A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Involutive filters of pseudo-hoops
[article]
2017
arXiv
pre-print
Preserved Fulltext
For a bounded Wajsberg pseudo-hoop we prove that the kernel of any state operator is an involutive filter. ...
We give characterizations of involutive filters of a bounded pseudo-hoop and we prove that in the case of bounded Wajsberg pseudo-hoops the notions of fantastic and involutive filters coincide. ...
Important results on probabilistic models on algebras of non-classical logic have been proved based on involutive filters. ...
arXiv:1711.08409v1
fatcat:ssvdecwovvcvfgi4uagoyffboa
State pseudo equality algebras
[article]
2016
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We define and study new classes of pseudo equality algebras, such as commutative, symmetric, pointed and compatible pseudo equality algebras. ...
Pseudo equality algebras were initially introduced by Jenei and Kóródi as a possible algebraic semantic for fuzzy type theory, and they have been revised by Dvurečenskij and Zahiri under the name of JK-algebras ...
In other words, a pseudo-hoop is a meet-semilattice ordered residuated, integral and divisible monoid. 6] ) (1) Every linearly ordered pseudo BCK-algebra is a pseudo BCK(pP)algebra. ...
arXiv:1602.07828v1
fatcat:of2uoiaalbc5lo3llzfh2i3n4e
Bounded pseudo-hoops with internal states
2013
Mathematica Slovaca
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In this paper we study these concepts for more general fuzzy structures, namely pseudo-hoops and we present state pseudo-hoops and state-morphism pseudo-hoops. ...
Rachůnek and Šalounová introduced state GMV-algebras (pseudo-MV algebras) and state-morphism GMV-algebras, while the state BL-algebras and state-morphism BL-algebras were defined by Ciungu, Dvurečenskij ...
Acknowledgementº The author is very grateful to the anonimous referees for their useful remarks and suggestions on the subject that helped improving the presentation. ...
doi:10.2478/s12175-013-0144-z
fatcat:c7bnhfpv65acti5qdlvms7w5ry
Measures, states and de Finetti maps on pseudo-BCK algebras
[article]
2009
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Other Versions
Kühr only for pseudo-BCK semilattices. ...
In this paper, we extend the notions of states and measures presented in DvPu to the case of pseudo-BCK algebras and study similar properties. ...
In what follows, we introduce a new class of pseudo-BCK algebras which will be used in the next sections. Definition 2.22. ...
arXiv:0905.4789v2
fatcat:6n3onq433zbqznvxkveggp6esm
State maps on semihoops
2018
Open Mathematics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Then we give some examples and basic properties of (internal) state maps on semihoops. Moreover, we discuss the relations between state maps and internal states on other algebras. ...
Then we introduce several kinds of filters by state maps on semihoops, called SM-filters, state filters and dual state filters, respectively, and discuss the relations among them. ...
Let A be a bounded pseudo-hoop and s be a Bosbach state on A. ...
doi:10.1515/math-2018-0089
fatcat:6mxo3ufyobg4dmp667z5yig5h4
Fuzzy sets and formal logics
2015
Fuzzy sets and systems (Print)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
The paper discusses the relationship between fuzzy sets and formal logics as well as the influences fuzzy set theory had on the development of particular formal logics. ...
Acknowledgments The authors are grateful to an anonymous reviewer and to Carles Noguera for their useful comments and suggestions. ...
Godo acknowledges partial support by the Spanish projects EdeTRI (TIN2012-39348-C02-01) and 2014 SGR 118. ...
doi:10.1016/j.fss.2015.06.021
fatcat:jstlgpnzrze3pkikat2rcbeeh4
Page 141 of Mathematical Reviews Vol. , Issue Subject Index
[page]
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
On the structure of hoops. (English summary) 2001g:03120
— (with van Alten, C. J.) On the finite embeddability property for residuated lattices, pocrims and BCK-algebras.
Celani, Sergio A. ...
O. et al., 2001j:03114 Sofronie-Stokkermans, Viorica Priestley duality for SHn-algebras and applications to the
study of Kripke-style models for SHx-logics. ...
Fuzzy-Set Based Logics — an History-Oriented Presentation of their Main Developments
[chapter]
2007
Handbook of the History of Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
This new trend has also put formal logic, originally developed in connection with the foundations of mathematics, in a completely new perspective, as a tool for processing information on computers. ...
The idea of fuzzy sets introduced in the early sixties [Zadeh, 1965] and the development of fuzzy logic later on [Zadeh, 1975a] has brought forward a new formal framework for capturing graded imprecision ...
The algebraic counterpart are the so-called pseudo-BL and pseudo-MTL algebras. ...
doi:10.1016/s1874-5857(07)80009-4
fatcat:s4i5zfomgzbxnfbuif5ffsesea