Results 251 to 260 of about 12,692 (304)

Introducing an integrated approach for fire safety assessment in healthcare facilities by interval valued neutrosophic-AHP and Fuzzy Inference System. [PDF]

Heliyon
Salari S, Karimi A.
europepmc   +1 more source

Multilingual voice-enabled informatics tools: Catalyst for equitable AI in HIV and HIV-comorbidity healthcare management. [PDF]

PLoS One
Oluwagbemi OO, Onyeka E, Jatto A, Oluwagbemi FE, Smith S, Oyelami O, Fatumo S.   +6 more
europepmc   +1 more source

Logic model-based performance management systems for export promotion agencies. [PDF]

Open Res Eur
Ruiz-Coupeau S, Ramon-Jeronimo JM, Florez-Lopez R.   +2 more
europepmc   +1 more source

Prioritizing image processing and big data analytics factors for software development using DEMATEL-choquet method in bipolar complex fuzzy context. [PDF]

Sci Rep
Ma R.
europepmc   +1 more source

Many-Valued Logics [PDF]

, 1996
Throughout this chapter, we shall assume that k is a natural number larger than 2. We shall denote the set {0, 1,..., k − 1} by E k . The function f(x n ) = f(x 1, x 2,...,x n ) is called a function of the k-valued logic if, on any tuple α = (α 1, α2,..., α n ) of values of the variables x 1, x 2,..., x n , where α1 ∈ E k , the value f(a) also belongs ...
G. P. Gavrilov, A. A. Sapozhenko
openaire   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Calculi for Many-Valued Logics

Logica Universalis, 2021
We present a number of equivalent calculi for many-valued logics and prove soundness and strong completeness theorems. The calculi are obtained from the truth tables of the logic under consideration in a straightforward manner and there is a natural duality among these calculi. We also prove the cut elimination theorems for the sequent-like systems.
Michael Kaminski, Nissim Francez
openaire   +2 more sources

Designing in many-valued logic

Proceedings of the Second International Conference on Intelligent Processing and Manufacturing of Materials. IPMM'99 (Cat. No.99EX296), 1999
The analysis described is based on the many-valued logic of Lukasiewitcz (1970). It leads to the construction of a simple design model when the analysis cannot be based upon a two-valued logic. The reference is based on the semantics of Kripke, immersion in a definite possible world, and on the process of verification and confirmation of Carnap.
DONNARUMMA A, PAPPALARDO, Michele
openaire   +3 more sources

Many-Valued Logics

1992
1 Preliminaries.- 2 Many-Valued Propositional Calculi.- 3 Survey of Three-Valued Propositional Calculi.- 4 Some n-valued Propositional Calculi: A Selection.- 5 Intuitionistic Propositional Calculus.- 6 First-Order Predicate Calculus for Many-Valued Logics.- 7 The Method of Finitely Generated Trees in n-valued Logical Calculi.- 8 Fuzzy Propositional ...
Leonard Bolc, Piotr Borowik
openaire   +2 more sources