PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS

• 28 February 1982
• journal article
• Published by Steklov Mathematical Institute in Mathematics of the USSR-Izvestiya
• Vol. 18  (1) , 41-59
• https://doi.org/10.1070/im1982v018n01abeh001382

Abstract

Keywords

• SET THEORETIC
• PREDICATE
• LOGIC WITHOUT CONTRACTIONS
• THEORETIC CALCULI BASED