| Articolul precedent |
| Articolul urmator |
 |
 653 1 |
| Ultima descărcare din IBN: 2020-04-02 20:48 |
 SM ISO690:2012LYALETSKI, Alexander. Admissibility, compatibility, and deducibility in first-order sequent logics. In: Workshop on Foundations of Informatics, 24-29 august 2015, Chisinau. Chișinău, Republica Moldova: "VALINEX" SRL, 2015, I, pp. 102-116. ISBN 978-9975-4237-3-1. |
| EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
| Workshop on Foundations of Informatics I, 2015 |
||||||
|
Conferința "Workshop on Foundations of Informatics" Chisinau, Moldova, 24-29 august 2015 | ||||||
|
||||||
| Pag. 102-116 | ||||||
|
||||||
 Descarcă PDF |
||||||
| Rezumat | ||||||
The paper is devoted to the notions of admissibility and compatibility and their influence on deducibility in different sequent logics including first-order classical and intuitionistic ones as well as their modal extensions. Results on the coextensivity of the proposed sequent calculi and usual Gentzen and Kanger sequent calculi are given. |
||||||
| Cuvinte-cheie First-order classical logic, sequent calculus, admissibility, compatibility, validity, first-order intuitionistic logic, first-order modal logic, deducibility, coextensivity |
||||||
|
|
|
|
