Results 21 to 30 of about 83,900 (102)
Belief functions on lattices [PDF]
, 2008 We extend the notion of belief function to the case where the underlying structure is no more the Boolean lattice of subsets of some universal set, but any lattice, which we will endow with a minimal set of properties according to our needs. We show that
Grabisch, Michel
core +4 more sources
Distinguishing standard SBL‐algebras with involutive negations by propositional formulas
Mathematical Logic Quarterly, 2008 AbstractPropositional 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 different involutive negations, yield either isomorphic algebras or algebras with distinct and incomparable sets of ...
Haniková, Z. (Zuzana) +1 more
openaire +3 more sources
Negation and Involutive Adjunction
, 2005 This note analyzes in terms of categorial proof theory some standard assumptions about negation in the absence of any other connective. It is shown that the assumptions for an involutive negation, like classical negation, make a kind of adjoint situation, which is named involutive adjunction.
Dosen, K., Petric, Z.
openaire +2 more sources
Negational Fragment of Intuitionistic Control Logic [PDF]
, 2014 We investigate properties of monadic purely negational fragment of Intuitionistic Control Logic (ICL). This logic arises from Intuitionistic Propositional Logic (IPL) by extending language of IPL by additional new constant for falsum.
Glenszczyk, Anna
core +3 more sources
Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity [PDF]
, 2017 In [5] we study Nonassociative Lambek Calculus (NL) augmented with De Morgan negation, satisfying the double negation and contraposition laws. This logic, introduced by de Grooté and Lamarche [10], is called Classical Non-Associative Lambek Calculus (CNL)
Buszkowski, Wojciech
core +1 more source
Intersections between some families of (U,N)- and RU-implications [PDF]
, 2011 (U,N)-implications and RU-implications are the generalizations of (S,N)- and R-implications to the framework of uninorms, where the t-norms and t-conorms are replaced by appropriate uninorms. In this work, we present the intersections that exist between (
Baczynski, M, Jayaram, Balasubramaniam
core +2 more sources
T-subnorms with strong associated negation: Some properties [PDF]
, 2017 In this work we investigate t-subnorms M that have strong associated negation. Firstly, we show that such t-subnorms are necessarily t-norms. Following this, we investigate the inter-relationships between different algebraic and analytic properties of ...
Jayaram, Balasubramaniam
core +2 more sources
Monadic Fragments of Intuitionistic Control Logic [PDF]
, 2016 We investigate monadic fragments of Intuitionistic Control Logic (ICL), which is obtained from Intuitionistic Propositional Logic (IPL) by extending language of IPL by a constant distinct from intuitionistic constants.
Glenszczyk, Anna
core +2 more sources
Solution to an open problem: A characterization of conditionally cancellative t-subnorms [PDF]
, 2012 In this work we solve an open problem of U. Höhle (Klement et al. Fuzzy Sets Syst 145:471-479, 2004, Problem 11). We show that the solution gives a characterization of all conditionally cancellative t-subnorms.
Jayaram, Balasubramaniam
core +1 more source
Interval-valued and intuitionistic fuzzy mathematical morphologies as special cases of L-fuzzy mathematical morphology [PDF]
, 2011 Mathematical morphology (MM) offers a wide range of tools for image processing and computer vision. MM was originally conceived for the processing of binary images and later extended to gray-scale morphology.
Deschrijver, Glad +5 more
core +1 more source