Results 101 to 110 of about 705,934 (125)

An Hypersequent Calculus for Łukasiewicz Logic Without The Merge Rule

, 2006
The hypersequent system GŁ for Łukasiewicz logic presented in Ciabattoni and Metcalfe (2003) is discussed. A variant system is derived which eliminates the weakening rules and combines all of the axioms and the merge rule into a single form of axiom ...
Robert Rothenberg
core  

Complexity of Abduction in Łukasiewicz Logic

International audienceWe explore the problem of explaining observations in contexts involving statements with truth degrees such as 'the lift is loaded', 'the symptoms are severe', etc.
Inoue, Katsumi, Kozhemiachenko, Daniil
core   +1 more source

Deep Differentiable Logic Gate Networks Based on Fuzzy Łukasiewicz T-norm [PDF]

Annals of computer science and information systems
Chan Duong Nguy, Piotr Wasilewski
doaj   +1 more source

Computational complexity of some MaxSAT problems in Łukasiewicz logic

We investigate the computational complexity of various satisfiability problems in Łukasiewicz logic, restricting attention to valuations in the standard MV-algebra [0,1].
Lapenta, Serafina, Napolitano, Sebastiano   +1 more
core   +1 more source

Approximate Completeness of Hypersequent Calculus for First-Order Łukasiewicz Logic

Hypersequent calculus GŁ$\forall$ for first-order Łukasiewicz logic was first introduced by Baaz and Metcalfe, along with a proof of its approximate completeness with respect to standard $[0,1]$-semantics. The completeness result was later pointed out by
Wei, Jin
core  

Some of the next articles are maybe not open access.

Related searches:

A Logic Synthesis Methodology for Low-Power Ternary Logic Circuits

IEEE Transactions on Circuits and Systems I: Regular Papers, 2020
Sunmean Kim, Sunghye Park, Sung-Yün Lee   +2 more
exaly  

Complexity and expressive power of logic programming

ACM Computing Surveys, 2001
Thomas Eiter, Georg Gottlob
exaly  

Service-dominant logic: continuing the evolution

Journal of the Academy of Marketing Science, 2007
Stephen Vargo, Robert F Lusch
exaly  

A comparative study of type-1 fuzzy logic systems, interval type-2 fuzzy logic systems and generalized type-2 fuzzy logic systems in control problems

Information Sciences, 2016
Mario García-Valdez, Oscar Castillo, Juan R Castro   +2 more
exaly  

Competing through service: Insights from service-dominant logic

Journal of Retailing, 2007
Stephen Vargo, Robert F Lusch
exaly