Košík

0585222 - ÚI 2025 GB eng J - Článek v odborném periodiku
Cintula, Petr - Metcalfe, G. - Tokuda, N.
One-variable fragments of first-order logics.
Bulletin of Symbolic Logic. Online 01 April 2024 (2024). ISSN 1079-8986. E-ISSN 1943-5894
Grant CEP: GA ČR(CZ) GA22-01137S
GRANT EU: European Commission(XE) 101007627 - MOSAIC
Institucionální podpora: RVO:67985807
Klíčová slova: First-Order Logic * One-Variable Fragment * Modal Logic * Substructural Logic * Superamalgamation * Sequent Calculus
Obor OECD: Pure mathematics
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Open access
https://doi.org/10.1017/bsl.2024.22
Trvalý link: https://hdl.handle.net/11104/0352990