Basket

0559694 - FLÚ 2023 RIV AU eng C - Conference Paper (international conference)
Punčochář, Vít - Sedlár, Igor
Routley Star in Information-Based Semantics.
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, Łódź, Poland, 14-18 March 2022. online: Open Publishing Association, 2022 - (Indrzejczak, A.; Zawidzki, M.), s. 285-297. Electronic Proceedings in Theoretical Computer Science (EPTCS), 358. E-ISSN 2075-2180.
[Non-Classical Logics. Theory and Applications (NCL) /10./. Łódź (PL), 14.03.2022-18.03.2022]
R&D Projects: GA ČR(CZ) GM21-23610M
Institutional support: RVO:67985955
Keywords : deductive systems * information states * non-classical logics * Routley star * negation
OECD category: Philosophy, History and Philosophy of science and technology
https://doi.org/10.4204/EPTCS.358.21
Permanent Link: https://hdl.handle.net/11104/0334056