Results 281 to 290 of about 10,035,291 (332)
Some of the next articles are maybe not open access.
Algebra universalis, 2013
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bošnjak, Ivica, Madarász, Rozália
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bošnjak, Ivica, Madarász, Rozália
openaire +2 more sources
Closure properties of the relevation transform*
Naval Research Logistics Quarterly, 1985AbstractSufficient conditions under which the relevation of two probability distributions is (i) NBU, (ii) IFRA, (iii) IFR are derived. The result for case (iii) corrects an error in a previous article by Baxter.
Shanthikumar, J. G., Baxter, Laurence A.
openaire +1 more source
Definability properties and the congruence closure
Archive for Mathematical Logic, 1990The author defines a notion of a thin quantifier and uses it to prove some interesting general results of the failure of the \(\Delta\)- interpolation theorem and Beth's definability theorem in logics defined from generalized quantifiers. Many of the results of the paper are connected to the failure of the uniform reduction property for quotients.
openaire +2 more sources
Closure properties for the class of behavioral models
Theoretical Computer Science, 2007Hidden k-logics can be considered as the underlying logics of program specification. They constitute natural generalizations of k-deductive systems and encompass deductive systems as well as hidden equational logics and inequational logics.
M. Martins
semanticscholar +1 more source
Some Closure Properties of Finite Definitions
Studia Logica, 2001Systems where circular definitions are allowed and the defined predicates are associated with revision rules (instead of extensions) have been studied by Gupta and Belnap. The set of finite definitions is not recursive (Gupta), so there arises the problem to characterize this set in terms of closure conditions.
openaire +2 more sources
Pseudo-inversion: closure properties and decidability
Natural Computing, 2015zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Da-Jung Cho +5 more
openaire +1 more source
On closure properties of L-valued linear languages
Fuzzy Sets Syst., 2020V. S. Costa, B. Bedregal, R. Santiago
semanticscholar +1 more source
Canadian Journal of Mathematics, 1981
The concept of θ-closure was introduced by Velicko to study H-closed spaces and to generalize Taimanov's extension theorem [11], [12]. More recently, this notion has been used by Dickman and Porter [1] to characterize those Hausdorff spaces in which the Fomin H-closed extension operator commutes with the projective cover (absolute) operator and [2] to ...
Espelie, M. Solveig, Joseph, James E.
openaire +1 more source
The concept of θ-closure was introduced by Velicko to study H-closed spaces and to generalize Taimanov's extension theorem [11], [12]. More recently, this notion has been used by Dickman and Porter [1] to characterize those Hausdorff spaces in which the Fomin H-closed extension operator commutes with the projective cover (absolute) operator and [2] to ...
Espelie, M. Solveig, Joseph, James E.
openaire +1 more source
Insertion operations: Closure properties
Bull. EATCS, 1993The paper investigates closure properties of families of languages (in Chomsky hierarchy) under various variants of insertion operations as introduced by the author [On insertion and deletion operations in formal languages, PhD Thesis, Univ. of Turku, Dept. of Math., 1991].
openaire +1 more source
Deterministic input-driven queue automata: Finite turns, decidability, and closure properties
Theoretical Computer Science, 2015Martin Kutrib +4 more
semanticscholar +1 more source