Infinite-Valued First-Order Ćukasiewicz Logic: Hypersequent Calculi Without Structural Rules and Proof Search for Sentences in the Prenex Form
Crossref DOI link: https://doi.org/10.3103/S1055134418020013
Published Online: 2018-05-30
Published Print: 2018-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Gerasimov, A. S.
Text and Data Mining valid from 2018-04-01
Article History
Received: 21 March 2016
First Online: 30 May 2018