Add to ORKGThis is a mathematical and computational intro to many-valued logics. The approach is mostly mathematical, namely algebraic (via the notion of logical matrix) and computational (via the satisfiability problem). An automated calculus -- the signed resolution calculus for many-valued logics -- is elaborated on
Abstract. Large databases obtained by the data integration of different source databases can be inco...
In this paper we present the theorem prover SBR3 for equational logic and itsapplication in the many...
As is the case for other logics, a number of complexity-related questions can be posed in the contex...
Many-valued logics were developed as an attempt to handle philosophical doubts about the "law of exc...
In recent years, there is a growing interest in many-valued logics in many areas such as computer sc...
Dottorato di ricerca in informatica. 11. ciclo. Coordinatore e tutore Daniele Mundici.Consiglio Nazi...
2nd edition. Many-valued logics are those logics that have more than the two classical truth values,...
AbstractA general approach to automated theorem proving for all first-order finite-valued logics tha...
Editorial for the special issue on "Many-valued logic: beyond algebraic semantics
This thesis sets out to examine the possibility of devising a theory which will give a unified accou...
The paper considers the fundamental notions of many- valued logic together with some of the main tre...
Many computational problems arising in artificial intelligence, computer science and elsewhere can b...
Many-valued logics in general and 3-valued logic in particular is an old subject which had its begin...
This work presents the concepts of translation and conservative translation between logics. By using...
In this paper we describe the relationship between many-valued logics (in particular Basic logic and...
Abstract. Large databases obtained by the data integration of different source databases can be inco...
In this paper we present the theorem prover SBR3 for equational logic and itsapplication in the many...
As is the case for other logics, a number of complexity-related questions can be posed in the contex...
Many-valued logics were developed as an attempt to handle philosophical doubts about the "law of exc...
In recent years, there is a growing interest in many-valued logics in many areas such as computer sc...
Dottorato di ricerca in informatica. 11. ciclo. Coordinatore e tutore Daniele Mundici.Consiglio Nazi...
2nd edition. Many-valued logics are those logics that have more than the two classical truth values,...
AbstractA general approach to automated theorem proving for all first-order finite-valued logics tha...
Editorial for the special issue on "Many-valued logic: beyond algebraic semantics
This thesis sets out to examine the possibility of devising a theory which will give a unified accou...
The paper considers the fundamental notions of many- valued logic together with some of the main tre...
Many computational problems arising in artificial intelligence, computer science and elsewhere can b...
Many-valued logics in general and 3-valued logic in particular is an old subject which had its begin...
This work presents the concepts of translation and conservative translation between logics. By using...
In this paper we describe the relationship between many-valued logics (in particular Basic logic and...
Abstract. Large databases obtained by the data integration of different source databases can be inco...
In this paper we present the theorem prover SBR3 for equational logic and itsapplication in the many...
As is the case for other logics, a number of complexity-related questions can be posed in the contex...