Haeusler, E. H., How many times do we need an assumption to prove a tautology in minimal logic? examples on the compression power of classical reasoning, Electronic Notes in Theoretical Computer Science 315 (201
Its application to a couple of selected examples indicates a relatively efficient behaviour in testing the validity of a given formula in propositional logic—not only for machines but also for humans. A further result from that formalization is a reduction of the tautology problem to a part of ...
The last step is to make the disjunction, which, in these examples, gives the true value of the table. The disjunction is false when both arguments are false; in other cases it is true. Answer and Explanation: We construct the tabl...
lattice-valued logicThis paper is an attempt to develop lattice-valued propositional logic. From the viewpoint of L-fuzzy set, we generalized the notion of tautology to L-tautology, some properties about L-tautology are obtained, the relations among different kinds of L-tautologies is investigated...
From the viewpoint of semantics, lattice implication algebras provide a basis to establish lattice-valued logic with truth value in a relatively general lattice. In this paper, we first introduce two notions of lattice implication n-ordered semigroup and lattice implication p-ordered semigroup, ...
Lattice-valued logicThis paper is an attempt to develop lattice-valued prepositional logic. From the viewpoint of L-fuzzy set, we generalized the notion of tautology to L-tautology, some properties about L-tautology are obtained, the relations among different kinds of L-tautologies is investigated...
Tautology theory in propositional fuzzy logic based on Lukasiewicz implication algebra on[0,1]. Xiaodong Pan,Xiaobing Li,Jiajun Lai,Yang Xu. The8th International FLINS Conference on Applied Computational Intelligence . 2008Xiaodong Pan,Xiaobing Li,Jiajun Lai,Yang Xu.Tautology theory in propositional ...
Based on the theory of fuzzy logic in sense of Parvelka's theory, in this paper, we investigate the semantical theory of propositional fuzzy logic based on Lukasiewicz algebra on [0,1]. The tautology theory is established by extending concept of tautology in classical setting to generalized ...