The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Page 1
Rostislav Horčík, Mirko Navara (2002)
Kybernetika
The validation set of a formula in a fuzzy logic is the set of all truth values which this formula may achieve. We summarize characterizations of validation sets of -fuzzy logics and extend them to the case of -fuzzy logics.
T. McKee (1983)
Fundamenta Mathematicae
Grzegorz Bancerek (2011)
Formalized Mathematics
The Veblen hierarchy is an extension of the construction of epsilon numbers (fixpoints of the exponential map: ωε = ε). It is a collection φα of the Veblen Functions where φ0(β) = ωβ and φ1(β) = εβ. The sequence of fixpoints of φ1 function form φ2, etc. For a limit non empty ordinal λ the function φλ is the sequence of common fixpoints of all functions φα where α < λ.The Mizar formalization of the concept cannot be done directly as the Veblen functions are classes (not (small) sets). It is done...
Jun Tao Wang, Xiao Long Xin, Arsham Borumand Saeid (2016)
Open Mathematics
The main goal of this paper is to investigate very true MTL-algebras and prove the completeness of the very true MTL-logic. In this paper, the concept of very true operators on MTL-algebras is introduced and some related properties are investigated. Also, conditions for an MTL-algebra to be an MV-algebra and a Gödel algebra are given via this operator. Moreover, very true filters on very true MTL-algebras are studied. In particular, subdirectly irreducible very true MTL-algebras are characterized...
Horst Osswald (1972)
Manuscripta mathematica
Page 1