On the independence of premiss axiom and rule
Crossref DOI link: https://doi.org/10.1007/s00153-019-00707-5
Published Online: 2020-02-07
Published Print: 2020-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ishihara, Hajime
Nemoto, Takako http://orcid.org/0000-0003-3898-6189
Text and Data Mining valid from 2020-02-07
Version of Record valid from 2020-02-07
Article History
Received: 9 October 2018
Accepted: 18 December 2019
First Online: 7 February 2020