Results 261 to 270 of about 12,692 (304)
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.
M. H. A. Newman, Alan Rose
openaire +3 more sources
McCallum and Smith (1) have developed a logical computer which solves problems which are essentially of the following kind.
M. H. A. Newman, Alan Rose
openaire +3 more sources
2000
The study of many-valued logic was initiated by Jan Lukasiewicz around 1920. He started with a three-valued logic, introducing in particular an implication for it (see [Lukasiewicz 1920, 1930] and [Lukasiewicz & Tarski 1930], a selection of Lukasiewicz’s papers can be found in [Borkowski 1970]).
Erich Peter Klement +2 more
openaire +2 more sources
The study of many-valued logic was initiated by Jan Lukasiewicz around 1920. He started with a three-valued logic, introducing in particular an implication for it (see [Lukasiewicz 1920, 1930] and [Lukasiewicz & Tarski 1930], a selection of Lukasiewicz’s papers can be found in [Borkowski 1970]).
Erich Peter Klement +2 more
openaire +2 more sources
Fundamenta Informaticae, 1991
Two families of many-valued modal logics are investigated. Semantically, one family is characterized using Kripke models that allow formulas to take values in a finite many-valued logic, at each possible world. The second family generalizes this to allow the accessibility relation between worlds also to be many-valued. Gentzen sequent calculi are given
openaire +3 more sources
Two families of many-valued modal logics are investigated. Semantically, one family is characterized using Kripke models that allow formulas to take values in a finite many-valued logic, at each possible world. The second family generalizes this to allow the accessibility relation between worlds also to be many-valued. Gentzen sequent calculi are given
openaire +3 more sources
1981
I shall endeavour to cover as many branches of many-valued logic and as much of the work done in these branches as space permits. Much must, of course, be omitted, and I should therefore like to refer to an excellent bibliography of many-valued logics by Nicholas Rescher in his book (Many-Valued Logic, McGraw Hill 51893,1969).
openaire +2 more sources
I shall endeavour to cover as many branches of many-valued logic and as much of the work done in these branches as space permits. Much must, of course, be omitted, and I should therefore like to refer to an excellent bibliography of many-valued logics by Nicholas Rescher in his book (Many-Valued Logic, McGraw Hill 51893,1969).
openaire +2 more sources
1981
The term ‘many-valued logic’ is most often used to denote logics which are constructed by means of introduction of additional truth-values, while classical logic is construed as a two-valued logic (cf. “Sentence logic” §1.1).
openaire +2 more sources
The term ‘many-valued logic’ is most often used to denote logics which are constructed by means of introduction of additional truth-values, while classical logic is construed as a two-valued logic (cf. “Sentence logic” §1.1).
openaire +2 more sources
Many-valued computational logics
Journal of Philosophical Logic, 1989Finite-valued logics defined by generalized matrices, as opposed to those defined by standard logical matrices, are not necessarily structural, finite, ore decidable, and hence the search for formal criteria for these properties is of considerable importance. The problem of decidability of finite-valued propositional logics is examined.
openaire +2 more sources
1986
Many-valued logic is a vast field with hundreds of published papers and over ten monographs devoted to it. I have attempted to keep this survey to manageable length by focussing on many-valued logic as an independent discipline. This means that such topics as the use of many-valued logics for proving the independence of axioms in propositional logic ...
openaire +2 more sources
Many-valued logic is a vast field with hundreds of published papers and over ten monographs devoted to it. I have attempted to keep this survey to manageable length by focussing on many-valued logic as an independent discipline. This means that such topics as the use of many-valued logics for proving the independence of axioms in propositional logic ...
openaire +2 more sources
Generalized Truth Values and Many-Valued Logics: Harmonious Many-Valued Logics
2011In this chapter, we reconsider the notion of an \(n\)-valued propositional logic. In many-valued logic, sometimes a distinction is made not only between designated and undesignated (not designated) truth values, but also between designated and antidesignated truth values.
Heinrich Wansing, Yaroslav Shramko
openaire +2 more sources
Uncertainty Operators in a Many-Valued Logic
2009This article investigates different tools for knowledge representation and modelling in decision making problems. In this variety of AI systems the experts’ knowledge is often heterogeneous, that is, expressed in many forms: numerical, interval-valued, symbolic, linguistic, etc.
Akdag, Herman, Truck, Isis
openaire +2 more sources