Admissibility, compatibility, and deducibility in first-order sequent logics
From MaRDI portal
Publication:1650338
zbMath1390.03047MaRDI QIDQ1650338
Publication date: 3 July 2018
Published in: Computer Science Journal of Moldova (Search for Journal in Brave)
Full work available at URL: http://www.math.md/publications/csjm/issues/v23-n3/11978/
validity; sequent calculus; compatibility; admissibility; first-order modal logic; deducibility; coextensivity; first-order classical logic; first-order intuitionistic logic