Add to ORKGIn this paper we investigate some extensions of Weak Nilpotent Minimum logic, a weaker logic than both Godel and Nilpotent Minimum logics, by adding rational truth-values as truth constants in the language and by adding corresponding book-keeping axioms for the truth-constants. Weak and strong standard completeness of these logics are studied in general and when we restrict ourselves to formulas of the kind r → ϕ, where r is a rational in [0, 1] and ϕ is a formula without rational truth-constants
ABSTRACT: In this paper we investigate expan-sions of Product logic by adding into the language a co...
In this paper we shall deal with those axiomatic extensions of the monoidal t-norm based logic MTL w...
In this paper we carry out an algebraic investigation of the weak nilpotent minimum logic (WNM) and ...
In this paper we investigate some extensions of Weak Nilpotent Minimum logic, a weaker logic than bo...
In this paper we investigate extensions of Gödel and Nilpotent Minimum logics by adding rational tru...
In this paper we investigate the extensions of Godel and Nilpotent Minimum logics by adding rational...
This paper focuses on completeness results about generic expansions of propositional Weak Nilpotent ...
This paper focuses on completeness results about generic expansions of propositional weak nilpotent ...
This paper focuses on completeness results about generic expansions of logics of both continuous t-n...
In this paper we consider expansions of Lukasiewiz, Product, Gödel and Nilpotent Minimum logics wit...
In this paper we deal with generic expansions of first-order predicate logics of some left-continuou...
In this paper we consider the expansions of logics of a left-continuous t-norm with truth-constants ...
In this paper we deal with generic expansions of first-order predicate log-ics of some left-continuo...
In this paper we consider the expansions of logics of a left-continuous t-norm with truth-constants ...
In this paper we carry out an algebraic investigation of the Weak Nilpotent Minimum logic (WNM) and ...
ABSTRACT: In this paper we investigate expan-sions of Product logic by adding into the language a co...
In this paper we shall deal with those axiomatic extensions of the monoidal t-norm based logic MTL w...
In this paper we carry out an algebraic investigation of the weak nilpotent minimum logic (WNM) and ...
In this paper we investigate some extensions of Weak Nilpotent Minimum logic, a weaker logic than bo...
In this paper we investigate extensions of Gödel and Nilpotent Minimum logics by adding rational tru...
In this paper we investigate the extensions of Godel and Nilpotent Minimum logics by adding rational...
This paper focuses on completeness results about generic expansions of propositional Weak Nilpotent ...
This paper focuses on completeness results about generic expansions of propositional weak nilpotent ...
This paper focuses on completeness results about generic expansions of logics of both continuous t-n...
In this paper we consider expansions of Lukasiewiz, Product, Gödel and Nilpotent Minimum logics wit...
In this paper we deal with generic expansions of first-order predicate logics of some left-continuou...
In this paper we consider the expansions of logics of a left-continuous t-norm with truth-constants ...
In this paper we deal with generic expansions of first-order predicate log-ics of some left-continuo...
In this paper we consider the expansions of logics of a left-continuous t-norm with truth-constants ...
In this paper we carry out an algebraic investigation of the Weak Nilpotent Minimum logic (WNM) and ...
ABSTRACT: In this paper we investigate expan-sions of Product logic by adding into the language a co...
In this paper we shall deal with those axiomatic extensions of the monoidal t-norm based logic MTL w...
In this paper we carry out an algebraic investigation of the weak nilpotent minimum logic (WNM) and ...