Results 41 to 50 of about 64,142 (206)
Quantum Uncertainties and Holism Seem to Render Irrelevant Qudit-Semantics
Entropy, 2021 We consider a semantics based on the peculiar holistic features of the quantum formalism. Any formula of the language gives rise to a quantum circuit that transforms the density operator associated to the formula into the density operator associated to ...
Roberto Leporini
doaj +1 more source
Complexity of Many-Valued Logics [PDF]
, 2002 As is the case for other logics, a number of complexity-related questions can be posed in the context of many-valued logic. Some of these, such as the complexity of the sets of satisfiable and valid formulas in various logics, are completely standard ...
Hähnle, Reiner,
core
Algorithm for constructing logical operations to identify patterns in data [PDF]
E3S Web of Conferences, 2020 Neural networks have proven themselves in solving problems when the input and output data are known, but the cause and effect relationship between them is not obvious.
Lyutikova L.A., Shmatova E. V.
doaj +1 more source
Deduction in many-valued logics: a survey
Mathware & soft computing, 1997 Peer ...
Haehnle, Reiner, Escalada-Imaz, Gonzalo
openaire +7 more sources
Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic
International Journal of Computational Intelligence Systems, 2018 Due to the need of the logical foundation for uncertain information processing, development of efficient automated reasoning system based on non-classical logics is always an active research area.
Yang Xu +4 more
doaj +1 more source
Minimally many-valued extensions of the monoidal t-norm based logic MTL [PDF]
, 2017 In this paper we shall deal with those axiomatic extensions of the monoidal t-norm based logic MTL which are minimally many-valued, that is, those logics extending MTL such that any further extension collapses them to Boolean Logic.
Stefano Aguzzoli +3 more
core +1 more source
Probabilistic and Truth-Functional Many-Valued Logic Programming [PDF]
, 1998 We introduce probabilistic many-valued logic programs in which the implication connective is interpreted as material implication. We show that probabilistic many-valued logic programming is computationally more complex than classical logic programming ...
Thomas Lukasiewicz, Lukasiewicz, Thomas
core +2 more sources
Polynomial Ring Calculus For Many-valued Logics [PDF]
, 2015 This paper discusses a new algebraic proof method for general sentential logics which is particularly apt for finitely-many-valued logics and for PC, based on reducing polynomials over finite fields.
Carnielli W.
core
A notion of coherence for books on conditional events in many-valued logic [PDF]
, 2011 We introduce a new approach to conditional probability over many-valued events, which is based on bets. Then we show that this approach fits with Kroupa's approach, and we give two characterizations of coherence for books on conditional many-valued ...
MONTAGNA, FRANCO
core +1 more source
Bulletin of the Section of LogicA many-valued modal logic, called linear abelian modal logic \(\rm {\mathbf{LK(A)}}\) is introduced as an extension of the abelian modal logic \(\rm \mathbf{K(A)}\). Abelian modal logic \(\rm \mathbf{K(A)}\) is the minimal modal extension of the logic of
Hamzeh Mohammadi
doaj +1 more source