Results 1  10
of
1,849
Manyvalued logic and semirings
"... In this paper we describe the relationship between manyvalued logics (in particular Basic logic and ÃLukasiewicz logic) and semirings. We will also give definitions of automata on BLalgebras and MValgebras. 1 ..."
Abstract
 Add to MetaCart
In this paper we describe the relationship between manyvalued logics (in particular Basic logic and ÃLukasiewicz logic) and semirings. We will also give definitions of automata on BLalgebras and MValgebras. 1
Institutional semantics for manyvalued logics
"... We develop manyvalued logic, including a generic abstract model theory, over a fully abstract syntax. We show that important manyvalued logic model theories, such as traditional firstorder manyvalued logic and fuzzy multialgebras, may be conservatively embedded into our abstract framework. Our ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
We develop manyvalued logic, including a generic abstract model theory, over a fully abstract syntax. We show that important manyvalued logic model theories, such as traditional firstorder manyvalued logic and fuzzy multialgebras, may be conservatively embedded into our abstract framework. Our
Manyvalued Logic in HOL
"... Manyvalued 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 tautologychecker for a threevalued propositional logic. 1 Introduction Currently, a ..."
Abstract
 Add to MetaCart
Manyvalued 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 tautologychecker for a threevalued propositional logic. 1 Introduction Currently, a
Manyvalued 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 manyvalued 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. Certain 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 manyvalued logics with negation, based on bilattices. We present a 2valued logic, based on an Ontological
ManyValued Logics for Modeling Vagueness
"... ManyValued 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
ManyValued 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 ManyValued 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 manyvalued 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 ManyValued Logics
 In Proc. of the Int. Symp. on MultipleValued 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 manyvalued 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 manyvalued theorem
Prolog Extensions to ManyValued 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 manyvalued logic, namely ffl the metalogical viewpoint, which is mainly
Results 1  10
of
1,849