Hilbert-Style Axiom Systems for the Matrix-Based Logics RMQ − and RMQ *
Crossref DOI link: https://doi.org/10.1007/s11225-015-9602-7
Published Online: 2015-01-31
Published Print: 2015-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Anglberger, Albert J. J.
Lukic, Jonathan
Text and Data Mining valid from 2015-01-31