Results 31 to 40 of about 83,900 (102)
Non-involutive twist-structures
Logic Journal of the IGPL, 2018 A recent paper by Jakl, Jung and Pultr (2016, Electron. Notes Theor. Comput. Sci., 325, 201–219) succeeded for the first time in establishing a very natural link between bilattice logic and the duality theory of d-frames and bitopological spaces.
U. Rivieccio, Paulo Maia, A. Jung
semanticscholar +1 more source
Logics of formal inconsistency arising from systems of fuzzy logic
, 2014 This paper proposes the meeting of fuzzy logic with paraconsistency in a very precise and foundational way. Specifically, in this paper we introduce expansions of the fuzzy logic MTL by means of primitive operators for consistency and inconsistency in ...
Coniglio, Marcelo +2 more
core +1 more source
Probability functions in the context of signed involutive meadows [PDF]
, 2016 The Kolmogorov axioms for probability functions are placed in the context of signed meadows. A completeness theorem is stated and proven for the resulting equational theory of probability calculus.
Bergstra, Jan A., Ponse, Alban
core +3 more sources
On Involutive Nonassociative Lambek Calculus
Journal of Logic, Language and Information, 2019 Involutive Nonassociative Lambek Calculus (InNL) is a nonassociative version of Noncommutative Multiplicative Linear Logic (MLL) (Abrusci in J Symb Log 56:1403–1451, 1991), but the multiplicative constants are not admitted. InNL adds two linear negations
W. Buszkowski
semanticscholar +1 more source
Weak topologies for Linear Logic [PDF]
, 2016 We construct a denotational model of linear logic, whose objects are all the locally convex and separated topological vector spaces endowed with their weak topology.
Kerjean, Marie
core +1 more source
Paraconsistency properties in degree-preserving fuzzy logics [PDF]
, 2014 Paraconsistent logics are specially tailored to deal with inconsistency, while fuzzy logics primarily deal with graded truth and vagueness. Aiming to find logics that can handle inconsistency and graded truth at once, in this paper we explore the notion ...
Ertola, Rodolfo +4 more
core +1 more source
CoRoFR: Community Detection of Feature Graph Improves Feature Selection Using Robust Fuzzy Rough Set
Advanced Intelligent Systems, Volume 7, Issue 12, December 2025.In machine learning, features often function as communities in many tasks, especially in medicine. However, existing feature selection methods struggle to mine feature collaborations, which can boost predictive performance. Moreover, they are noise‐sensitive, leading to suboptimal feature selection and accuracy degradation.
Duanyang Feng +4 more
wiley +1 more source
A comprehensive study of implicator-conjunctor based and noise-tolerant fuzzy rough sets: definitions, properties and robustness analysis [PDF]
, 2015 © 2014 Elsevier B.V. Both rough and fuzzy set theories offer interesting tools for dealing with imperfect data: while the former allows us to work with uncertain and incomplete information, the latter provides a formal setting for vague concepts. The two
D'eer, Lynn +3 more
core +1 more source
Nonsymmetric Askey–Wilson Shift Operators
Studies in Applied Mathematics, Volume 155, Issue 3, September 2025.ABSTRACT We classify the shift operators for the symmetric Askey–Wilson polynomials and construct shift operators for the nonsymmetric Askey–Wilson polynomials using two decompositions of nonsymmetric Askey–Wilson polynomials in terms of symmetric ones. These shift operators are difference–reflection operators, and we discuss the conditions under which
Max van Horssen, Philip Schlösser
wiley +1 more source
Resource modalities in game semantics [PDF]
, 2007 The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is more primitive than game semantics. We advocate instead the contrary: that
Melliès, Paul-André, Tabareau, Nicolas
core +2 more sources