Results 221 to 230 of about 13,015 (267)
Some of the next articles are maybe not open access.
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 +1 more source
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 +1 more source
Many valued paraconsistent logic
Proceedings 31st IEEE International Symposium on Multiple-Valued Logic, 2002In contrast to most logics, in paraconsistent logic it is not true that everything followed from a contradiction. The semantics for one of the best known paraconsistent logics, LP, permits sentences to be both true and false; but at the same time, the semantic characterization of the logical particles is classical.
openaire +1 more source
Many-valued computational logics
Journal of Philosophical Logic, 1989This paper deals with the problem of decidability of propositional logics defined by finite generalized matrices. The notions of computational logic and of computational semantics are introduced and it is shown that for finitely-valued logics, the class of computational calculi coincides with the class of logics with computational semantics.
openaire +2 more sources
2001
Many-valued logic is a vast field with hundreds of published papers and numerous monographs devoted to it. I have attempted to keep this survey to manageable length by focusing 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 +1 more source
Many-valued logic is a vast field with hundreds of published papers and numerous monographs devoted to it. I have attempted to keep this survey to manageable length by focusing 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 +1 more source
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
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