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, non-alethic 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~=.
展开▼
机译:非道德逻辑在da Costa [3]中引入。在这种逻辑中,non性和矛盾性原则是无效的。此外,非伦理逻辑构成了超常逻辑和超完全逻辑的概括。如今,超一致逻辑和超完全逻辑构成了非古典逻辑中的重要课题,在许多国家,尤其是在巴西,澳大利亚,意大利和美国进行了研究。阶谓词系统N_1〜=。
展开▼