Deduction Normalization Theorem for Setteās Logic and Its Modifications
Crossref DOI link: https://doi.org/10.3103/S0027132219010054
Published Online: 2019-04-24
Published Print: 2019-01
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Petrukhin, Ya. I.
Text and Data Mining valid from 2019-01-01
Article History
Received: 1 December 2017
First Online: 24 April 2019