Results 11 to 20 of about 385,766 (333)
An approach to supervised learning of three valued Lukasiewicz logic in Hölldobler's core method [PDF]
, 2017 The core method [6] provides a way of translating logic programs into a multilayer perceptron computing least models of the programs. In [7] , a variant of the core method for three valued Lukasiewicz logic and its applicability to cognitive modelling ...
Frederik Harder, Tarek R. Besold
openalex +2 more sources
A note on Lukasiewicz’s three-valued logic
Annali del Dipartimento di Filosofia - Nuova Serie, 2007 It is well known that Lukasiewicz’s three-valued-logic L3 admits – unlike classical logic – the definition of two non trivial, truth-functional modal operators and ∆. We address the question of finding a convenient syntactic characterization of the “modal content” of L3.
Pierluigi Minari
openalex +3 more sources
Lattice Structure of Some Closed Classes for Three-Valued Logic and Its Applications
Mathematics, 2021 This paper provides a brief overview of modern applications of nonbinary logic models, where the design of heterogeneous computing systems with small computing units based on three-valued logic produces a mathematically better and more effective solution
Elmira Yu. Kalimulina
doaj +1 more source
Three-valued Logics in Modal Logic [PDF]
Studia Logica, 2012 Abstract Every truth-functional three-valued propositional logic can be conservatively translated into the modal logic S5. We prove this claim constructively in two steps. First, we define a Translation Manual that converts any propositional formula of any three-valued logic into a modal formula.
Kooi, Barteld, Tamminga, Allard
openaire +2 more sources
Tableau method of proof for Peirce’s three-valued propositional logic
Filosofia Unisinos, 2022 Peirce’s triadic logic has been under discussion since its discovery in the 1960s by Fisch and Turquette. The experiments with matrices of three-valued logic are recorded in a few pages of unpublished manuscripts dated 1909, a decade before similar ...
José Renato Salatiel
doaj +1 more source
Finiteness of One-Valued Function Classes in Many-Valued Logic
Fractal and Fractional, 2023 This paper addresses the theoretical issues in k-valued logic, which are crucial for developing solutions in various fields of science and technology.
Elmira Yu. Kalimulina
doaj +1 more source
Organizations Assessment Based on EFQM Excellence Model Using Neutrosophic Logic (Case Study: Iranian Banking Industry) [PDF]
چشمانداز مدیریت صنعتی, 2021 Due to the fact that excellence models, especially EFQM, work based on RADAR logic, which makes them heavily rely on subjective judgments, the aim of this study is to present a more accurate and objective way of assessing organizations with EFQM using ...
Fatemeh Emami +2 more
doaj +1 more source
On neutrosophic uninorms [PDF]
Neutrosophic Sets and Systems, 2021 Uninorm generalizes the notion of t-norm and t-conorm in fuzzy logic theory. They are three increasing, commutative and associate operators having one neutral element. However, such specific value identifies the kind of operator it is; t-norms have the 1
Erick González-Caballero +2 more
doaj +1 more source
Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic
Axioms, 2020 Default logic is one of the basic formalisms for nonmonotonic reasoning, a well-established area from logic-based artificial intelligence dealing with the representation of rational conclusions, which are characterised by the feature that the inference ...
Sopo Pkhakadze, Hans Tompits
doaj +1 more source
Felix Noeggerath on Kant: Transcendental Synthesis as a Principle of System Formation
RUDN Journal of Philosophy, 2023 Walter Benjamin called Felix Noeggerath (1885-1960) the “universal genius” or simply “genius.” In his 1916 treatise “Synthesis and the Concept of System in Philosophy,” Noeggerath offered a reading of Kant’s concept of synthesis in an original and ...
Hartwig Wiedebach
doaj +1 more source