Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
1,849
Many-valued logic and semirings
"... In this paper we describe the relationship between many-valued logics (in particular Basic logic and ÃLukasiewicz logic) and semirings. We will also give definitions of automata on BL-algebras and MV-algebras. 1 ..."
Abstract
- Add to MetaCart
In this paper we describe the relationship between many-valued logics (in particular Basic logic and ÃLukasiewicz logic) and semirings. We will also give definitions of automata on BL-algebras and MV-algebras. 1
Institutional semantics for many-valued logics
"... We develop many-valued logic, including a generic abstract model theory, over a fully abstract syntax. We show that important many-valued logic model theories, such as traditional first-order many-valued logic and fuzzy multi-algebras, may be conservatively embedded into our abstract framework. Our ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
We develop many-valued logic, including a generic abstract model theory, over a fully abstract syntax. We show that important many-valued logic model theories, such as traditional first-order many-valued logic and fuzzy multi-algebras, may be conservatively embedded into our abstract framework. Our
Many-valued Logic in HOL
"... Many-valued logic is formalized in the logic of the theorem prover HOL [GM93]. We follow an algebraic approach, starting from a Heyting algebra. Using this approach and some useful HOL machinery, we implemented a tautology-checker for a three-valued propositional logic. 1 Introduction Currently, a ..."
Abstract
- Add to MetaCart
Many-valued logic is formalized in the logic of the theorem prover HOL [GM93]. We follow an algebraic approach, starting from a Heyting algebra. Using this approach and some useful HOL machinery, we implemented a tautology-checker for a three-valued propositional logic. 1 Introduction Currently, a
Many-valued logic
- Handbook of Philosophical Logic
, 1986
"... ABSTRACT. This paper discusses the general problem of translation functions between logics, given in axiomatic form, and in particular, the problem of determining when two such logics are “synonymous ” or “translationally equivalent. ” We discuss a proposed formal definition of translational equival ..."
Abstract
-
Cited by 68 (1 self)
- Add to MetaCart
ABSTRACT. This paper discusses the general problem of translation functions between logics, given in axiomatic form, and in particular, the problem of determining when two such logics are “synonymous ” or “translationally equivalent. ” We discuss a proposed formal definition of translational
Ontological encapsulation of many-valued logic
"... Abstract. Large databases obtained by the data integration of different source databases can be incomplete and inconsistent in many ways. The classical logic is not the appropriate formalism for reasoning about inconsistent databases. Cer-tain local inconsistencies should not be allowed to significa ..."
Abstract
- Add to MetaCart
to significantly alter the intended meaning of such logic programs. The variety of semantical approaches that have been invented for logic programs is quite broad. In particular we are interested for many-valued logics with negation, based on bilattices. We present a 2-valued logic, based on an Ontological
Many-Valued Logics for Modeling Vagueness
"... Many-Valued logics have been developed to represent mathematical model of imprecision, vagueness, uncertainty and ambiguity in the information. In real world each and every species is vague, human knowledge and the natural languages have a bunch of vagueness or imprecise information. This paper atte ..."
Abstract
- Add to MetaCart
Many-Valued logics have been developed to represent mathematical model of imprecision, vagueness, uncertainty and ambiguity in the information. In real world each and every species is vague, human knowledge and the natural languages have a bunch of vagueness or imprecise information. This paper
A Treatise on Many-Valued Logics
- Studies in Logic and Computation
, 2001
"... The paper considers the fundamental notions of many- valued logic together with some of the main trends of the recent development of infinite valued systems, often called mathematical fuzzy logics. Besides this logical approach also a more algebraic approach is discussed. And the paper ends with som ..."
Abstract
-
Cited by 97 (5 self)
- Add to MetaCart
ideas 1.1 From classical to many-valued logic Logical systems in general are based on some formalized language which includes a notion of well formed formula, and then are determined either semantically or syntactically. That a logical system is semantically determined means that one has a notion
Efficient Deduction in Many-Valued Logics
- In Proc. of the Int. Symp. on Multiple-Valued Logics, ISMVL’94
, 1994
"... This paper tries to identify the basic problems encountered in automated theorem proving in manyvalued logics and demonstrates to which extent they can be currently solved. To this end a number of recently developed techniques are reviewed. We list the avenues of research in many-valued theorem prov ..."
Abstract
-
Cited by 3 (0 self)
- Add to MetaCart
This paper tries to identify the basic problems encountered in automated theorem proving in manyvalued logics and demonstrates to which extent they can be currently solved. To this end a number of recently developed techniques are reviewed. We list the avenues of research in many-valued theorem
Prolog Extensions to Many-Valued Logics
- In
, 1992
"... The aim of this paper is to show that a restriction of a logical language to clauses like Horn clauses, as they are used in Prolog, applied to [0,1]--valued logics leads to calculi with a sound and complete proof theory. In opposition to other models where generally the set of axioms as well as the ..."
Abstract
-
Cited by 3 (2 self)
- Add to MetaCart
interpreted as a `degree of truth'. Keywords: Prolog; [0,1]--valued logic; probabilistic logic; possibilistic logic 1 Introduction N. Rescher [23] pointed that there are at least three different approaches to the field of many--valued logic, namely ffl the metalogical viewpoint, which is mainly
Results 1 - 10
of
1,849
