Results 191 to 200 of about 771,186 (237)

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

Benchmarking Łukasiewicz Logic Solvers with Properties of Neural Networks

IEEE International Symposium on Multiple-Valued Logic, 2023
We propose new benchmarks for problems related to Łukasiewicz Infinitely-valued Logic and discuss methods for generating them. Such benchmarks comprehend instances that state properties about neural networks.
Sandro Preto, F. Manyà, M. Finger
semanticscholar   +1 more source

Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability

Mathematical Structures in Computer Science, 2022
This work concerns the representation of a class of continuous functions into Logic, so that one may automatically reason about properties of these functions using logical tools.
Sandro Preto, M. Finger
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

Constructions of general overlap and grouping functions on algebras of infinite-valued Łukasiewicz logic

Logic Journal of the IGPL
The present paper generalizes the notion of general overlap and grouping functions from the bounded lattices to the algebras of infinite-valued Łukasiewicz logic, providing some constructive methods of these functions by means of multiplicative and ...
Mei Wang
semanticscholar   +1 more source

Tropicalization through the lens of Łukasiewicz logic, with a topos theoretic perspective

Communications in Algebra
The main aim of this paper is to show the interconnections between Łukasiewicz logic and algebraic geometry using algebraic, geometric and logical instruments. We continue our investigation into a new algebraic geometry based on idempotent semifields, in
A. di Nola, G. Lenzi, B. Gerla
semanticscholar   +1 more source

Society semantics for four-valued Łukasiewicz logic

Logic Journal of the IGPL, 2018
We argue that many-valued logics (MVLs) can be useful in analysing informational conflicts by using society semantics (SSs). This work concentrates on four-valued Łukasiewicz logic.
Edson Bezerra
semanticscholar   +1 more source