IMI/Publicaţii/CSJM/Ediţii/CSJM v.23, n.3 (69), 2015/

Admissibility, compatibility, and deducibility in first-order sequent logics

Authors: Alexander Lyaletski
Keywords: First-order classical logic, first-order intuitionistic logic, first-order modal logic, sequent calculus, deducibility, admissibility, compatibility, coextensivity, validity


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.

Taras Shevchenko National University of Kyiv
Address: Volodymyrska str., 64, 01601 Kyiv, Ukraine
Phone: (+38)(044)2293003

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License


Adobe PDF document0.12 Mb