Results 11 to 20 of about 375,050 (296)
A three-valued logic for Inductive Logic Programming [PDF]
, 1999 Inductive Logic Programming (ILP) is closely related to Logic Programming (LP) by the name. We extract the basic differences of ILP and LP by comparing both and give definitions of the basic assumptions of their paradigms, e.g. closed world assumption, the open domain assumption and the open world assumption used in ILP. The paper is written in English.
Bell, Siegfried, Weber, Steffo
openaire +5 more sources
A map of dependencies among three-valued logics [PDF]
Information Sciences, 2013 Three-valued logics arise in several fields of computer science, both inspired by concrete problems (such as in the management of the null value in databases) and theoretical considerations. Several three-valued logics have been defined. They differ by their choice of basic connectives, hence also from a syntactic and proof-theoretic point of view ...
Didier Dubois +2 more
openaire +9 more sources
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
Programming in three-valued logic
Theoretical Computer Science, 1991 AbstractThe aim of this paper is to propose a logical and algebraic theory which seems well-suited to logic programs with negation and deductive databases. This theory has similar properties to those of Prolog theory limited to programs with Horn clauses and thus can be considered as an extension of the usual theory.
V. Thibau, Jean-Paul Delahaye
openaire +2 more sources
Foreword: Three-valued logics and their applications [PDF]
Journal of Applied Non-Classical Logics, 2014 Three-valued logics belong to a family of nonclassical logics that started to flourish in the 1920s and 1930s, following the work of ᴌukasiewicz (1920) and earlier insights coming from Frege and Pe...
Cobreros, P. +3 more
openaire +4 more sources
On Jan Łukasiewicz’s many-valued logic and his criticism of determinism
Philosophia Scientiæ, 2011 The article deals with Jan Łukasiewicz’s thesis that the truth or falsity of some propositions about the future—future contingents—entails determinism.
Dariusz Łukasiewicz
doaj +1 more source
The Law of Excluded Middle and the Negation of it in many-valued and Fuzzy Logics [PDF]
حکمت و فلسفه, 2008 The philosophical critiques, in twentieth century, on binary paradigm caused the negation of the law of excluded middle as the same as it caused the establishment of many-valued logics and fuzzy logic, while the laws of excluded middle, identity and ...
morteza haj hoseyni
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
Logic Programming with Default, Weak and Strict Negations [PDF]
, 2005 This paper treats logic programming with three kinds of negation: default, weak and strict negations. A 3-valued logic model theory is discussed for logic programs with three kinds of negation.
Yamasaki, Susumu
core +3 more sources
Encoding many-valued logic in {\lambda}-calculus
, 2020 We extend the well-known Church encoding of two-valued Boolean Logic in $\lambda$-calculus to encodings of $n$-valued propositional logic (for $3\leq n\leq 5$) in well-chosen infinitary extensions in $\lambda$-calculus.
de Vries, Fer-Jan
core +1 more source