rel="stylesheet">
Creating and sharing knowledge in communications and information technology

Labelled proof systems for existential reasoning

Ramos, J. ; Rasga, J. ; Sernadas, C.

Logic Journal of the IGPL Vol. 33, Nº 1, pp. 173 - 201, December, 2024.

ISSN (print): 1367-0751
ISSN (online): 1368-9894

Scimago Journal Ranking: 0,26 (in 2024)

Digital Object Identifier: 10.1093/jigpal/jzad030

Abstract