Knihovna Ústavu informatiky - archiv preprintů // Library of ICS CAS - Preprints archive


CINTULA, Petr, PAOLI, F. Is multiset consequence trivial? Synthese. 2021, 199(Suppl. 3), 741-765. ISSN 0039-7857. E-ISSN 1573-0964. Dostupné z: doi: 10.1007/s11229-016-1209-7. (PDF)

CINTULA, Petr, DIACONESCU, D., METCALFE, G. Skolemization for Substructural Logics. In: DAVIS, M., FEHNKER, A., MCIVER, A., VORONKOV, A., eds. Logic for Programming, Artificial Intelligence, and Reasoning. Berlin: Springer, 2015, s. 1-15. Lecture Notes in Computer Science, 9450. ISBN 978-3-662-48898-0. ISSN 0302-9743. Dostupné z: doi: 10.1007/978-3-662-48899-7_1. (PDF)