Výsledky vyhledávání
- 1.0575751 - FLÚ 2024 RIV PL eng J - Článek v odborném periodiku
Punčochář, Vít
Logical Forms, Substitutions and Information Types.
Logic and Logical Philosophy. Roč. 32, č. 3 (2023), s. 459-473. ISSN 1425-3305
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: logical form * uniform substitution * information types * non-classical logics
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.5, rok: 2022
Způsob publikování: Open access
https://doi.org/10.12775/LLP.2023.017
Trvalý link: https://hdl.handle.net/11104/0345772 - 2.0559694 - FLÚ 2023 RIV AU eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: deductive systems * information states * non-classical logics * Routley star * negation
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.4204/EPTCS.358.21
Trvalý link: https://hdl.handle.net/11104/0334056 - 3.0547117 - FLÚ 2022 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: Non-classical logics * Incompatibility * Information * Relational semantics * Negation * Disjunction
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-030-88853-4_22
Trvalý link: http://hdl.handle.net/11104/0323448 - 4.0534292 - FLÚ 2021 FI eng C - Konferenční příspěvek (zahraniční konf.)
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)]
Grant CEP: GA ČR(CZ) GA20-18675S
Institucionální podpora: RVO:67985955
Klíčová slova: dependence logic * contexts * non-classical logics * conditionals
Obor OECD: Philosophy, History and Philosophy of science and technology
http://hdl.handle.net/10138/317202
Trvalý link: http://hdl.handle.net/11104/0312516 - 5.0524930 - ÚI 2022 RIV CH eng B - Monografie kniha jako celek
Cintula, Petr - Noguera, Carles
Logic and Implication: An introduction to the General Algebraic Study of Non-classical Logics.
Cham: Springer, 2021. 465 s. ISBN 978-3-030-85674-8
Grant CEP: GA ČR GA13-14654S; GA ČR(CZ) GA18-00113S
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: Non-Classical Logics * Algebraic Logic * Abstract Algebraic Logic * Completeness Theorems * Logical Matrices * Weakly Implicative Logics * Substructural Logics * Generalized Disjunctions * Semilinear Logics * First-Order Logics
Obor OECD: Pure mathematics; Applied mathematics (UTIA-B)
https://link.springer.com/book/9783030856748
Trvalý link: http://hdl.handle.net/11104/0309152Název souboru Staženo Velikost Komentář Verze Přístup 0524930-errata3.pdf 16 207 KB Errata 9. 8. 2022 Jiná povolen - 6.0522758 - FLÚ 2020 RIV eng U - Uspořádání akce
Majer, Ondrej
Nonclassical Logics and Judgement Aggregation.
[Prague, 07.11.2019-09.11.2019, (W-EUR 16/6)]
Grant ostatní: AV ČR(CZ) StrategieAV21/14
Program: StrategieAV
Institucionální podpora: RVO:67985955
Klíčová slova: judgement aggregation * non-classical logics
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0307201 - 7.0522276 - ÚI 2022 RIV NL eng J - Článek v odborném periodiku
Vidal, Amanda
On transitive modal many-valued logics.
Fuzzy Sets and Systems. Roč. 407, 1 March (2021), s. 97-114. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA ČR GA17-04630S; GA MŠMT(CZ) EF17_050/0008361
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Klíčová slova: non-classical logics * computability * modal logics
Obor OECD: Pure mathematics
Impakt faktor: 4.462, rok: 2021
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1016/j.fss.2020.01.011
Trvalý link: http://hdl.handle.net/11104/0306795 - 8.0501613 - ÚI 2020 RIV NL eng J - Článek v odborném periodiku
Cintula, Petr - Diaconescu, D. - Metcalfe, G.
Skolemization and Herbrand theorems for lattice-valued logics.
Theoretical Computer Science. Roč. 768, 10 May (2019), s. 54-75. ISSN 0304-3975. E-ISSN 1879-2294
Grant CEP: GA ČR GBP202/12/G061
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Klíčová slova: Skolemization * Herbrand theorems * Non-classical logics * Lattices
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.747, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1016/j.tcs.2019.02.007
Trvalý link: http://hdl.handle.net/11104/0293600Název souboru Staženo Velikost Komentář Verze Přístup a0501613.pdf 16 520.2 KB Vydavatelský postprint vyžádat 0501613-prep.pdf 9 254.4 KB https://www.elsevier.com/journals/theoretical-computer-science/03043975/guide-for-authors Autorský preprint povolen - 9.0486421 - ÚTIA 2019 RIV NL eng J - Článek v odborném periodiku
Dellunde, P. - García-Cerdaña, A. - Noguera, Carles
Back-and-forth systems for fuzzy first-order models.
Fuzzy Sets and Systems. Roč. 345, č. 1 (2018), s. 83-98. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA ČR(CZ) GF15-34650L
Institucionální podpora: RVO:67985556
Klíčová slova: Mathematical fuzzy logic * first-order fuzzy logics * non-classical logics
Obor OECD: Pure mathematics
Impakt faktor: 2.907, rok: 2018
http://library.utia.cas.cz/separaty/2018/MTR/noguera-0486421.pdf
Trvalý link: http://hdl.handle.net/11104/0281410 - 10.0477040 - ÚI 2019 RIV DE eng J - Článek v odborném periodiku
Cintula, Petr - Noguera, Carles
Implicational (semilinear) logics III: completeness properties.
Archive for Mathematical Logic. Roč. 57, 3-4 (2018), s. 391-420. ISSN 0933-5846. E-ISSN 1432-0665
Grant CEP: GA ČR GA13-14654S
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: abstract algebraic logic * protoalgebraic logics * implicational logics * disjunctional logics * semilinear logics * non-classical logics * completeness theorems * rational completeness
Obor OECD: Pure mathematics; Pure mathematics (UTIA-B)
Impakt faktor: 0.574, rok: 2018
Trvalý link: http://hdl.handle.net/11104/0273436Název souboru Staženo Velikost Komentář Verze Přístup 0477040.pdf 9 1.2 MB GSp Autorský postprint povolen