Search results
- 1.0549035 - FLÚ 2022 RIV NL eng J - Journal Article
Hanke, Miroslav
The Logic of Impossible Scenarios in Hurtado de Mendoza’s Tractatus de Trinitate.
Vivarium. Roč. 59, č. 4 (2021), s. 324-359. ISSN 0042-7543
R&D Projects: GA ČR(CZ) GA20-05855S
Institutional support: RVO:67985955
Keywords : Puente Hurtado de Mendoza * second scholasticism * thought experiments * non-classical logic * counterfactual Filioque debate
OECD category: Philosophy, History and Philosophy of science and technology
Method of publishing: Limited access
https://doi.org/10.1163/15685349-05904003
Permanent Link: http://hdl.handle.net/11104/0325075 - 2.0547241 - ÚI 2022 RIV CH eng C - Conference Paper (international conference)
Sedlár, Igor - Tedder, Andrew
Situated Epistemic Updates.
Logic, Rationality, and Interaction. 8th International Workshop, LORI 2021, Proceedings. Cham: Springer, 2021 - (Ghosh, S.; Icard, T.), s. 192-200. Lecture Notes in Computer Science, 13039. ISBN 978-3-030-88707-0. ISSN 0302-9743.
[LORI 2021: Logic, Rationality, and Interaction /8./. Xi'an (CN), 16.10.2021-18.10.2021]
R&D Projects: GA ČR(CZ) GJ18-19162Y
Institutional support: RVO:67985807
Keywords : Epistemic update * Public announcement logic * Relevant logic * Non-classical logic
OECD category: Pure mathematics
Permanent Link: http://hdl.handle.net/11104/0323526 - 3.0512111 - ÚI 2020 RIV GB eng G - Proceedings (international conference)
Cintula, Petr (ed.) - Weber, Z. (ed.) - Ju, S. (ed.)
Special issues of Logic Journal of the IGPL ”Non-Classical Modal and Predicate Logics”.
239 s. In: Logic Journal of the IGPL. Oxford University Press. Roč. 27, č. 4 (2019), s. 385-623. ISSN 1367-0751. E-ISSN 1368-9894.
[NCMPL 2017. Non-Classical Modal and Predicate Logics /9./. Guangzhou (CN), 04.12.2017-07.12.2017]
Institutional support: RVO:67985807
Keywords : Non-classical logic * modal logic * predicate logics
OECD category: Pure mathematics
Permanent Link: http://hdl.handle.net/11104/0302318 - 4.0456390 - ÚI 2016 RIV GB eng B - Monography
Cintula, Petr (ed.) - Fermüller, C. (ed.) - Noguera, Carles (ed.)
Handbook of Mathematical Fuzzy Logic - Vol. 3.
London: College Publications, 2015. 384 s. Studies in Logic - Mathematical Logic and Foundations, 58. ISBN 978-1-84890-193-3
R&D Projects: GA ČR(CZ) GF15-34650L
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : mathematical fuzzy logic * handbook * non-classical logic * mathematical logic * vagueness
Subject RIV: BA - General Mathematics
http://aleph.lib.cas.cz/F/?func=direct&doc_number=002008216&local_base=AV
Permanent Link: http://hdl.handle.net/11104/0256924 - 5.0374837 - ÚI 2012 RIV eng U - Conference, Workshop Arrangement
Cintula, Petr - Ju, S.
NCMPL 2011. Non-Classical Modal and Predicate Logics.
[Guangzhou, 05.12.2011-09.12.2011, (K-WRD 92/42)]
Institutional research plan: CEZ:AV0Z10300504
Keywords : non-classical logic * predicate logic * modal logic * intuitionistic logic * substructural logic * relevant logic * fuzzy logic * non-classical mathematics
Subject RIV: BA - General Mathematics
http://logic.sysu.edu.cn/ncmpl2011/
Permanent Link: http://hdl.handle.net/11104/0207659 - 6.0374836 - ÚI 2012 RIV CZ eng G - Proceedings (international conference)
Cintula, Petr (ed.) - Ju, S. (ed.) - Víta, Martin (ed.)
NCMPL 2011 Abstracts.
Prague: F solutions, 2011. 145 s. ISBN 987-80-87465-00-4.
[NCMPL 2011. Non-Classical Modal and Predicate Logics. Guangzhou (CN), 05.12.2011-09.12.2011]
Institutional research plan: CEZ:AV0Z10300504
Keywords : non-classical logic * predicate logic * modal logic * intuitionistic logic * substructural logic * relevant logic * fuzzy logic * non-classical mathematics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0207658File Download Size Commentary Version Access 0374836.pdf 6 1.4 MB Publisher’s postprint open-access - 7.0373003 - ÚI 2012 RIV GB eng B - Monography
Cintula, Petr (ed.) - Hájek, Petr (ed.) - Noguera, C. (ed.)
Handbook of Mathematical Fuzzy Logic - Vol. 2.
London: College Publications, 2011. 480 s. Studies in Logic - Mathematical Logic and Foundations, 38. ISBN 978-1-84890-054-7
R&D Projects: GA ČR GAP202/10/1826; GA ČR GEICC/08/E018
Institutional research plan: CEZ:AV0Z10300504
Keywords : mathematical fuzzy logic * handbook * non-classical logic * mathematical logic
Subject RIV: BA - General Mathematics
http://aleph.lib.cas.cz/F/?func=direct&doc_number=000961931&local_base=AV
Permanent Link: http://hdl.handle.net/11104/0206180 - 8.0373002 - ÚI 2012 RIV GB eng B - Monography
Cintula, Petr (ed.) - Hájek, Petr (ed.) - Noguera, C. (ed.)
Handbook of Mathematical Fuzzy Logic - Vol. 1.
London: College Publications, 2011. 492 s. Studies in Logic - Mathematical Logic and Foundations, 37. ISBN 978-1-84890-039-4
R&D Projects: GA ČR GAP202/10/1826; GA ČR GEICC/08/E018
Institutional research plan: CEZ:AV0Z10300504
Keywords : mathematical fuzzy logic * handbook * non-classical logic * mathematical logic
Subject RIV: BA - General Mathematics
http://aleph.lib.cas.cz/F/?func=direct&doc_number=000961924&local_base=AV
Permanent Link: http://hdl.handle.net/11104/0206179File Download Size Commentary Version Access Jen-v-UI-ICS-only.pdf 3 353.1 KB Other open-access - 9.0101239 - FLU-F 20040098 RIV CZ cze B - Monography
Peregrin, Jaroslav
Logika a logiky. Systém klasické výrokové logiky, jeho rozšíření a alternativy.
[Logic and logics. The system of classical propositional logic, its extensions and alternatives.]
Praha: Academia, 2004. 205 s. ISBN 80-200-1187-0
R&D Projects: GA AV ČR IAA0009001
Institutional research plan: CEZ:AV0Z9009908
Keywords : non-classical logic * propositional calculus
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0008676 - 10.0045161 - ÚI 2007 RIV GB eng J - Journal Article
Savický, Petr - Cignoli, R. - Esteva, F. - Godo, L. - Noguera, C.
On Product Logic with Truth-Constants.
[O produktové logice s pravdivostními konstantami.]
Journal of Logic and Computation. Roč. 16, č. 2 (2006), s. 205-225. ISSN 0955-792X. E-ISSN 1465-363X
R&D Projects: GA MŠMT 1M0545
Keywords : non-classical logic * fuzzy logic * product logic * truth-constants * standard completeness
Subject RIV: BA - General Mathematics
Impact factor: 0.840, year: 2006
Permanent Link: http://hdl.handle.net/11104/0137779File Download Size Commentary Version Access 0045161.pdf 0 427 KB Author´s preprint open-access