Results 211 to 220 of about 19,395 (238)

Biochar from Chlorella sp. algae as a plant growth activator. [PDF]

Sci Rep
Dziosa K, Makowska M.
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Linking Łukasiewicz Logic and Boolean Maximum Satisfiability

IEEE International Symposium on Multiple-Valued Logic, 2023
We define a new reduction from the Boolean Maximum Satisfiability problem (MaxSAT) to the Satisfiability problem (SAT) of Łukasiewicz logic. This reduction is particularly interesting from a problem solving perspective because it shows how to encode ...
Sandro Preto, F. Manyà, M. Finger
semanticscholar   +1 more source

Positive implicative BE-filters of BE-algebras based on Lukasiewicz fuzzy sets

Journal of Algebraic Hyperstructures and Logical Algebras, 2023
Lukasiewicz fuzzy set is applied to positive implicative filter of BE-algebra. The notion of positive implicative Lukasiewicz fuzzy BE-filters is introduced, and its properties are investigated.
Y. Jun
semanticscholar   +1 more source

Implementation of Multinary Łukasiewicz Logic Using Memristive Devices

International Symposium on Circuits and Systems, 2021
In the group of emerging non-volatile storage technologies, redox-based memristive devices stand out due to their possibility for extreme dense integration, low power consumption and multilevel capabilities.
C. Bengel, A. Siemon, V. Rana, S. Menzel
semanticscholar   +1 more source

IKTω and Łukasiewicz-Models

Notre Dame J. Formal Log., 2021
In this note, we show that the first-order logic IKω is sound with regard to the models obtained from continuum-valued Łukasiewicz-models for first-order languages by treating the quantifiers as infinitary strong disjunction/conjunction rather than ...
Andreas Fjellstad, Jan-Fredrik Olsen
semanticscholar   +1 more source

WHAT THE ŁUKASIEWICZ AXIOMS MEAN

Journal of Symbolic Logic (JSL), 2020
Let $\to $ be a continuous $\protect \operatorname {\mathrm {[0,1]}}$ -valued function defined on the unit square $\protect \operatorname {\mathrm {[0,1]}}^2$ , having the following properties: (i) $x\to (y\to z)= y\to (x\to z)$ and (ii) $x\to y=
D. Mundici
semanticscholar   +1 more source

Jan Łukasiewicz’s program of the logicization of philosophy: its genesis, content and realizations

Synthese, 2022
A. Brożek
semanticscholar   +1 more source

A Generalization of Monadic n-Valued Łukasiewicz Algebras

Studia Logica: An International Journal for Symbolic Logic, 2021
Carlos Gallardo, A. Ziliani
semanticscholar   +1 more source

Riordan arrays, Łukasiewicz paths and Narayana polynomials

, 2021
Lin Yang, Sheng-Liang Yang
semanticscholar   +1 more source