Abstract
Non-alethic logic was introduced in da Costa [3]. In this kind of logic the principles of tertium non datur and of contradiction are not valid; furthermore, nonalethic logic constitutes a generalization of both paraconsistent and paracomplete logics. Nowadays, paraconsistent and paracomplete logics constitutes an important subject among non-classical logics, being studied in many countries, especially in Brazil, Australia, Italy and the U.S.A. In this note we present one propositional system of non-alethic logic N 1 and its corresponding first-order predicate system N =1 .
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Abar, C.A.A.P. and M. Yamashita, Remarks on Variable Binding Term Operators.Polish Academy of Sciences, Bulletin of the Sect. of Logic, v.15,n.4,pp.145–151,1986.
Abar, C.A.A.P., On a Modal Paracomplete Logic. Proceedings of IPMU'92, Universitat de Les Illes Balears, Spain,pp. 333–336, 1992.
da Costa, N.C.A., Paraconsistent and Paracomplete Logic. Rendiconti dell'Accademia Nazionale dei Lincei, 1989.
da Costa, N.C.A., Calcule propositionells pour les systèmes formels inconsistants. Comptes Rendus de l'Academie des Sciences de Paris, pp.3790–3792, 1963.
da Costa, N.C.A. and Diego Marconi, A Note on Paracomplete Logic. Rendiconti dell'Accademia Nazionale dei Lincei, pp.504–509. 1986.
da Costa, N.C.A., On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic, pp.497–510, 1974.
Grana, N., On a Minimal Non-Alethic Predicate Logic. Boletim da Sociedade Paran. de Matemática, v.11, n.1, 1990.
Grana, N., On Mininal Non-Alethic Logic. Bulletin of the Sect. of Logic, Polish Acad. Science, 1990.
Kleene, S.C., Introduction to Meta-mathematics. North-Holland, 1952.
Loparic, A. and Newton C.A. da Costa, Paraconsistency, Paracompleteness, and Valuations. Logique et Analyse, pp.119–131, 1984.
Loparic, A. and E.H.Alves, The semantics of the systems Cn of da Costa. Proceedings of the Third Brazilian Conference on Mathematical Logic, A. I. Arruda, N.C.A. da Costa, and A.M. Sette, editors, pp.161–172, 1980.
Marconi, D., A Decision-method for the calculus C1. Proceedings of the Third Brazilian Conference on Mathematical Logic. A.I. Arruda, N.C.A. da Costa, and A.M. Sette, editors, pp.211–223, 1980.
Shoenfield, J.R., Mathematical Logic,.Addison-Wesley, 1967.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Abar, C.A.A.P., Yamashita, M. (1995). On non-alethic logic. In: Bouchon-Meunier, B., Yager, R.R., Zadeh, L.A. (eds) Advances in Intelligent Computing — IPMU '94. IPMU 1994. Lecture Notes in Computer Science, vol 945. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035967
Download citation
DOI: https://doi.org/10.1007/BFb0035967
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60116-6
Online ISBN: 978-3-540-49443-0
eBook Packages: Springer Book Archive