Coproduct and Amalgamation of Deductive Systems by Means of Ordered Algebras
Crossref DOI link: https://doi.org/10.1007/s11787-022-00303-x
Published Online: 2022-03-07
Published Print: 2022-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Russo, Ciro
Text and Data Mining valid from 2022-03-07
Version of Record valid from 2022-03-07
Article History
Received: 21 November 2021
Accepted: 31 January 2022
First Online: 7 March 2022