Results 41 to 50 of about 25,501 (266)
On the number of two-dimensional threshold functions
, 2009 A two-dimensional threshold function of k-valued logic can be viewed as coloring of the points of a k x k square lattice into two colors such that there exists a straight line separating points of different colors.
Max A. Alekseyev +4 more
core +3 more sources
Categorical study for Algebras of lattice-valued logic and lattice-valued modal logic
, 2018 The paper explores categorical interconnections between lattice-valued Relational systems and algebras of Fitting's lattice-valued modal logic. We define lattice-valued boolean systems, and then we study co-adjointness, adjointness of functors. As a result, we get a duality for algebras of lattice-valued logic.
Ray, Kumar Sankar, Das, Litan Kumar
openaire +2 more sources
On the enumeration of maximal infinitely-generated classes of 01-functions in three-valued logic
Известия высших учебных заведений. Поволжский регион: Физико-математические науки, 2021 Background. The superposition operation is the main operation in the study of multivalued logic functions. On the basis of this operation, classifications of multivalued logic functions are defined, which allow to solve important problems of ...
S.S. Marchenkov
doaj +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
Resolution in Linguistic Propositional Logic based on Linear Symmetrical Hedge Algebra [PDF]
, 2013 The paper introduces a propositional linguistic logic that serves as the basis for automated uncertain reasoning with linguistic information. First, we build a linguistic logic system with truth value domain based on a linear symmetrical hedge algebra ...
C.-H. Nguyen +13 more
core +1 more source
Bell-type inequalities for bivariate maps on orthomodular lattices [PDF]
, 2014 Bell-type inequalities on orthomodular lattices, in which conjunctions of propositions are not modeled by meets but by maps for simultaneous measurements (s-maps), are studied.
Nanasiova, Olga +2 more
core +2 more sources
Advanced Functional Materials, EarlyView.Thermal transport in Ru and W thin films is studied using steady‐state thermoreflectance, ultrafast pump–probe spectroscopy, infrared‐visible spectroscopy, and computations. Significant Lorenz number deviations reveal strong phonon contributions, reaching 45% in Ru and 62% in W.
Md. Rafiqul Islam +14 more
wiley +1 more source
Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics [PDF]
, 2002 We present two embeddings of infinite-valued Lukasiewicz logic L into Meyer and Slaney's abelian logic A, the logic of lattice-ordered abelian groups. We give new analytic proof systems for A and use the embeddings to derive corresponding systems for L ...
Gabbay, D., Metcalfe, G., Olivetti, N.
core
Photoswitching Conduction in Framework Materials
Advanced Functional Materials, EarlyView.This mini‐review summarizes recent advances in state‐of‐the‐art proton and electron conduction in framework materials that can be remotely and reversibly switched on and off by light. It discusses the various photoswitching conduction mechanisms and the strategies employed to enhance photoswitched conductivity.
Helmy Pacheco Hernandez +4 more
wiley +1 more source
On Some Maximal Partial Ultraclones on a Two-Element Set
Известия Иркутского государственного университета: Серия "Математика", 2017 Multifunctions on a two-element set are considered in this paper. Functions from finite set to set of all subsets of this set are called multifunctions.
S.A. Badmaev
doaj +1 more source