R. L. Epstein. The semantic foundation of logic, volume I: propositional logics, chapter IX. Kluwer Academic Publisher, 1990. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Formula-Preferential Base for Paraconsistent and Plausible.. - Avron, Lev (Correct)
....values ft; f; g. 3 is the submatrix of S 4 with the truth values ft; f; g. See [Avron and Lev, 2000] These three matrices have been widely investigated in the literature. See e.g. Kleene, 1950; Belnap, 1977a; 1977b; D ottaviano, 1985; Avron, 1986; 1991; Ginsberg, 1988; Rozoner, 1989; Epstein, 1990; Fitting, 1990; 1991; Priest, 1989; 1991; Arieli and Avron, 1996; 1998] The essential property of 4 (respectively, 3 , 3 ) is that it is the maximal logic in L cl that contains pos and that is paraconsistent and paracomplete w.r.t. 3 paraconsistent (but not ....
R. L. Epstein. The semantic foundation of logic, volume I: propositional logics, chapter IX. Kluwer Academic Publisher, 1990.
Classical Gentzen-type Methods in Propositional Many-Valued Logics - Avron (Correct)
.... LPF of the VDM project ( 38] as well as to the language of L ukasiewicz 3 valued logic L 3 ( 40] is to add to the language the following connective from [10] interpreted as: a b = b if a 2 D t if a 62 D The standard 3 valued logic with D = ft; Ig is the paraconsistent logic J 3 [19, 8, 41, 24]. Its basic connectives are again f: g, with the interpretations defined identically as above 4 . Now according to both interpretations, the classical rules for ; and are valid, but one of the rules for : is not (they differ w.r.t to which of them is valid and which fails) The way ....
R. L. Epstein. The semantic foundation of logic, volume I: propositional logics, chapter IX. Kluwer Academic Publisher, 1990.
Multivalued logics and Topics - Demolombe (Correct)
....problem we consider. A problematic feature of classical logic is that it is possible to derive consequences from a set of assumptions that have no topic in common with the assumptions. This problem has been extensively investigated by researchers in the field of relevant logics [A. R75] In [Eps90] p. 120) Epstein defines a non standard semantics for dependent implication, and he introduces a function s that assigns to a sentence p a set of topics. In [L. 94] Fari nas del Cerro and Lugardon, use the same technique. Demolombe and Jones, in [DJar] have defined a logic for reasoning ....
....S (p) T S (q) then we have: j= CPC p q and Var(q) Var(p) Proof. This theorem is a direct consequence of Theorem 2, Lemma 2 and Theorem 4. Theorem 5 shows that the four valued logic is powerful enough to represent the same kind of implication as dependent implication defined by Epstein in [Eps90] Theorem 6. If for every structure S in Sigma 4 we have T S (p) T S (q) then we have: j= CPC p q and Var(q) Var(p) Proof. This is a direct consequence of Theorem 5. Theorem 7. W. Carnielli, Car94] The facts j= CPC p q and Var(p) Var(q) do not imply that for every structure S in ....
R.L. Epstein. The Semantic Foundations of Logic, Volume1: Propositional Logic. Kluwer Academic, 1990.
A Kleene Analysis of Mobile Ambients - Nielson, Nielson, Sagiv (2000) (10 citations) (Correct)
No context found.
R.L. Epstein. The Semantic Foundations of Logic, Volume 1: Propositional Logics. Kluwer Academic Publishers, 1990.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC