Search results
- 1.0575743 - FLÚ 2024 RIV CH eng C - Conference Paper (international conference)
Ferguson, Thomas - Punčochář, Vít
Structural Completeness and Superintuitionistic Inquisitive Logics.
Logic, Language, Information, and Computation. Cham: Springer, 2023 - (Hansen, H.; Scedrov, A.; de Queiroz, R.), s. 194-210. Lecture Notes in Computer Science, 13923. ISBN 978-3-031-39783-7.
[WoLLIC 2023: Workshop on Logic, Language, Information and Computation /29./. Halifax (CA), 11.07.2023-14.07.2023]
R&D Projects: GA ČR(CZ) GM21-23610M
Institutional support: RVO:67985955
Keywords : structural completeness * inquisitive logic * superintuitionistic logics * substitution
OECD category: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-031-39784-4_12
Permanent Link: https://hdl.handle.net/11104/0346056 - 2.0575737 - FLÚ 2024 RIV GR eng C - Conference Paper (international conference)
Punčochář, Vít
Fuzzy Truth, Fuzzy Support and Fuzzy Information States for Inquisitive Semantics.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning. Rhodes: International Joint Conferences on Artificial Intelligence Organization, 2023 - (Marquis, P.; Son, T.; Kern-Isberner, G.), s. 572-581. ISBN 978-1-956792-02-7.
[KR2023: International Conference on Principles of Knowledge Representation and Reasoning /20./. Rhodes (GR), 02.09.2023-08.09.2023]
R&D Projects: GA ČR(CZ) GM21-23610M
Institutional support: RVO:67985955
Keywords : fuzzy logic * logic of questions * inquisitive semantics * information states
OECD category: Philosophy, History and Philosophy of science and technology
https://doi.org/10.24963/kr.2023/56
Permanent Link: https://hdl.handle.net/11104/0346057 - 3.0559695 - FLÚ 2023 RIV AU eng C - Conference Paper (international conference)
Punčochář, Vít - Grimau, Berta
Natural Deduction for Assertibility and Deniability.
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. 41-54. 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 : semantics * natural deduction * assertibility * deniability * possible worlds
OECD category: Philosophy, History and Philosophy of science and technology
https://doi.org/10.4204/EPTCS.358.4
Permanent Link: https://hdl.handle.net/11104/0334055 - 4.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 - 5.0547117 - FLÚ 2022 RIV DE eng C - Conference Paper (international conference)
Punčochář, Vít - Tedder, Andrew
Disjunction and Negation in Information Based Semantics.
Logic, Language, Information, and Computation. Cham: Springer, 2021 - (Silva, A.; Wassermann, R.; de Queiroz, R.), s. 355-371. Lecture Notes in Computer Science, 13038. ISBN 978-3-030-88852-7; ISBN 978-3-030-88853-4.
[WoLLIC 2021. Workshop on Logic, Language, Information, and Computation /27./. online (NL), 05.10.2021-08.10.2021]
R&D Projects: GA ČR(CZ) GM21-23610M
Institutional support: RVO:67985955
Keywords : Non-classical logics * Incompatibility * Information * Relational semantics * Negation * Disjunction
OECD category: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-030-88853-4_22
Permanent Link: http://hdl.handle.net/11104/0323448 - 6.0534292 - FLÚ 2021 FI eng C - Conference Paper (international conference)
Punčochář, Vít
A hierarchy of dependencies.
Proceedings of Workshop on Logics of Dependence and Independence (LoDE 2020V). Helsinki: University of Helsinki, Department of Mathematics and Statistics, 2020 - (Väänänen, J.; Yang, F.), s. 32-36. Acta generalia instituti mathematico-rationarii.
[Workshop on Logics of Dependence and Independence (LoDE 2020V). Online, 10.08.2020-12.08.2020)]
R&D Projects: GA ČR(CZ) GA20-18675S
Institutional support: RVO:67985955
Keywords : dependence logic * contexts * non-classical logics * conditionals
OECD category: Philosophy, History and Philosophy of science and technology
http://hdl.handle.net/10138/317202
Permanent Link: http://hdl.handle.net/11104/0312516 - 7.0479305 - FLÚ 2018 RIV GB eng C - Conference Paper (international conference)
Punčochář, Vít
A general framework for logics of questions.
The Logica Yearbook 2016. London: College Publications, 2017 - (Arazim, P.; Lávička, T.), s. 223-238. ISBN 978-1-84890-243-5.
[Logica 2016. Hejnice (CZ), 20.06.2016-24.06.2016]
R&D Projects: GA ČR(CZ) GC16-07954J
Institutional support: RVO:67985955
Keywords : inquisitive semantics * logic of questions * substructural logics
OECD category: Philosophy, History and Philosophy of science and technology
Permanent Link: http://hdl.handle.net/11104/0275513 - 8.0478934 - FLÚ 2018 RIV DE eng C - Conference Paper (international conference)
Sedlár, Igor - Punčochář, Vít
Substructural logics for pooling information.
Logic, Rationality, and Interaction. Berlin: Springer, 2017 - (Baltag, A.; Yamada, T.; Seligman, J.), s. 407-421. Lecture Notes in Computer Science, 10455. ISBN 978-3-662-55664-1. ISSN 0302-9743.
[LORI 2017. International Workshop on Logic, Rationality, and Interaction /6./. Sapporo (JP), 11.09.2017-14.09.2017]
R&D Projects: GA ČR(CZ) GC16-07954J
Institutional support: RVO:67985955
Keywords : distributed knowledge * information pooling * substrucural logics
OECD category: Philosophy, History and Philosophy of science and technology
Permanent Link: http://hdl.handle.net/11104/0275400 - 9.0477325 - FLÚ 2018 RIV DE eng C - Conference Paper (international conference)
Punčochář, Vít
Knowledge is a Diamond.
Logic, Language, Information, and Computation. Berlin: Springer, 2017 - (Kennedy, J.; de Queiroz, R.), s. 304-320. Lecture Notes in Computer Science, 10388. ISBN 978-3-662-55385-5. ISSN 0302-9743.
[International Workshop, WoLLIC 2017 /24./. London (GB), 18.07.2017-21.07.2017]
R&D Projects: GA ČR(CZ) GC16-07954J
Institutional support: RVO:67985955
Keywords : epistemic logic * substructural logic * knowledge
OECD category: Philosophy, History and Philosophy of science and technology
Permanent Link: http://hdl.handle.net/11104/0273700 - 10.0436789 - FLÚ 2015 RIV GB eng C - Conference Paper (international conference)
Punčochář, Vít
Intensionalisation of Logical Operators.
The logica yearbook 2013. London: College Publications, 2014 - (Dančák, M.; Punčochář, V.), s. 173-185. ISBN 978-1-84890-144-5.
[Logica 2013. Hejnice (CZ), 17.06.2013-21.06.2013]
R&D Projects: GA ČR(CZ) GA13-21076S
Institutional support: RVO:67985955
Keywords : semantics * assertibility * intensionality * logical operators * natural deduction
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0240453