Results 311 to 320 of about 1,435,923 (372)
Some of the next articles are maybe not open access.
Mathematical Proceedings of the Cambridge Philosophical Society, 1958
McCallum and Smith (1) have developed a logical computer which solves problems which are essentially of the following kind.
openaire +2 more sources
McCallum and Smith (1) have developed a logical computer which solves problems which are essentially of the following kind.
openaire +2 more sources
2001
Let me begin with a brief discussion of the name of this chapter: the adjective “advanced” in the title can only be understood in the temporal sense; the bulk of Urquhart’s chapter in this Handbook was written for the first edition in the early 1980s and, therefore, does not cover recent results in depth.
openaire +1 more source
Let me begin with a brief discussion of the name of this chapter: the adjective “advanced” in the title can only be understood in the temporal sense; the bulk of Urquhart’s chapter in this Handbook was written for the first edition in the early 1980s and, therefore, does not cover recent results in depth.
openaire +1 more source
Prospects for the Application of Many-Valued Logic Functions in Cryptography
, 2018A. Sokolov, O. Zhdanov
semanticscholar +1 more source
1998
We are now ready to start our investigation of fuzzy predicate logics (or first-order logics, quantification logics). We shall develop logics broadly analogous to the classical predicate logic; in particular, we shall deal only with two quantifiers, ∀ and ∃ (universal and existential). Generalized quantifiers will be studied in later chapters.
openaire +1 more source
We are now ready to start our investigation of fuzzy predicate logics (or first-order logics, quantification logics). We shall develop logics broadly analogous to the classical predicate logic; in particular, we shall deal only with two quantifiers, ∀ and ∃ (universal and existential). Generalized quantifiers will be studied in later chapters.
openaire +1 more source
Łukasiewicz, Meinung and Many-Valued Logic
1989The history of many-valued logic has hitherto completely overlooked Alexius Meinong. Meinong explicitly envisaged additional semantic values for propositions besides the usual ones. Both three-valued and infinite-valued conceptions are to be discovered in his writings. As a young Privatdozent, Lukasiewicz spent research leave in Graz, and the influence
openaire +1 more source
Realizing Many-Valued Logic for Computation
, 2016Ben Choi, Rong Zheng, Kankana Shukla
semanticscholar +1 more source
Proceedings 1997 27th International Symposium on Multiple- Valued Logic, 1997
J. Béziau
semanticscholar +1 more source
J. Béziau
semanticscholar +1 more source