Admissibility, compatibility, and deducibility in first-order sequent logics
Alexander V. Lyaletski, Lyaletski, A. · DOAJ (DOAJ: Directory of Open Access Journals) · 2015
The paper is about the notions of admissibility and compatibility and their significance for deducibility in different sequent logics including first-order classical and intuitionistic ones both without and with equality and, possibly, with modal rules. Results on the coextensivity of the proposed sequent calculi with usual Gentzen and Kanger sequent calculi as well as with their equality and modal extensions are given.