This paper addresses the problem of probabilistic reasoning as it applies to Truth Maintenance Systems. A Belief Maintenance System hal! been constructed which manages a current set of probabilistic beliefs in much the same way that a TMS manages a set of true/false beliefs. Such a system may be thought of as a generalization of a. Truth Maintenance System. It enables one to reason using normal...

Bilattices and d-frames are two different kinds of structures with a four-valued interpretation. Whereas d-frames were introduced with their topological semantics in mind, the theory of bilattices has a closer connection with logic. We consider a common generalisation of both structures and show that this not only still has a clear bitopological semantics, but that it also preserves most of the...

This paper looks at logic programming with three kinds of negation: default, weak and strict negations. A 3-valued logic model theory is discussed for logic programs with three kinds of negation. The procedure is constructed for negations so that a soundness of the procedure is guaranteed in terms of 3-valued logic model theory.

The aim of this paper is to define the productoperation on a family of interval valued events and the notion ofjoint interval valued observable. We show the connection betweenproduct operations for interval valued events and intuitionisticfuzzy events, too. We display the relation between joint intervalvalued observable and joint intuitionistic fuzzy observable. We...

It is argued that the ‘inner’ negation ∼ familiar from 3-valued logic can be interpreted as a form of ‘conditional’ negation: ∼A is read “A is false if it has a truth value”. It is argued that this reading squares well with a particular 3-valued interpretation of a conditional that in the literature has been seen as a serious candidate for capturing the truth conditions of the natural language ...

Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic account of partial functions using three-valued logic decades ago, but there has not been a satisfactory mechanization. Recent years have seen a thorough investigation of the framework of many-valued truth-functional log...

While the purpose of conventional proof calculi is to axiomatise the set of valid sentences of a logic, refutation systems axiomatise the invalid sentences. Such systems are relevant not only for proof-theoretic reasons but also for realising deductive systems for nonmonotonic logics. We introduce Gentzen-type refutation systems for two basic three-valued logics and we discuss an application of...

a generalization of the known results in fusion frames and $g$-frames theory to continuous fusion frames which defined by m. h. faroughi and r. ahmadi, is presented in this study. continuous resolution of the identity (cri) is introduced, a new family of cri is constructed, and a number of reconstruction formulas are obtained. also, new results are given on the duality of continuous fusion fram...

We have already proposed a robust fundamental frequency (F0) estimation based on robust ELS (Extended Least Square) timevarying complex-valued speech analysis for an analytic speech signal. It has been reported that the method performs better for IRS filtered speech corrupted by white Gauss noise or pink noise since speech spectrum can be accurately estimated in low frequencies. However, the ev...