
03910368
a
03910368
Loffredo D'Ottaviano, \'Itala Maria
LopezEscobar, E.G.K.
The conditional and paraconsistent logics.
Mathematical logic and formal systems, Coll. Pap. Hon. N. C. A. da Costa, Lect. Notes Pure Appl. Math. 94, 141159 (1985).
1985
EN
entailment
paraconsistent logics
conditional
manyvalued logics of {\L}ukasiewicz
Zbl 0563.00002
Zbl 0318.02021
[For the entire collection see Zbl 0563.00002.] The authors construct and study paraconsistent logics in which the negation operator $\neg A$ is taken in a "strong" manner, as equivalent to $A\to \perp$ (where $\perp$ is the falsum), but in which the conditional $\to$ loses some of its classical properties. The motivation is drawn from the authors' earlier paper. "The conditional and transmission of errors" [VI Encontro Brasileiro de Logica (Fortaleza, 1982)]; the logics are conceived in the general framework of sequents developed by {\it D. Scott} [Proc. Tarski Symp., Int. Symp. Honor Alfred Tarski, Berkeley 1971, Proc. Symp. Pure Math. 25, 411435 (1974; Zbl 0318.02021)]; and details of the constructions are influenced by the many valued logics of {\L}ukasiewicz [{\it J. {\L}ukasiewicz} and {\it A. Tarski}, "Untersuchungen \"uber den Aussagenkalk\"ul", C. R. Soc. Sci. Varsovie 23, 3050 (1930)].
D.Makinson