Number of found documents: 23
Published from to

Czech Gathering of Logicians 2022. Book of Abstracts
Haniková, Zuzana; Švejdar, V.; Wannenburg, Johann Joubert
2022 - English
Fulltext is available at external website.
Czech Gathering of Logicians 2022. Book of Abstracts

Haniková, Zuzana; Švejdar, V.; Wannenburg, Johann Joubert
Ústav informatiky, 2022

Hovory s informatiky 2012. Sborník studií
Klímová, Hana; Kuželová, Dana; Šíma, Jiří; Wiedermann, Jiří; Žák, Stanislav
2012 - Czech
Available in a digital repository NRGL
Hovory s informatiky 2012. Sborník studií

Klímová, Hana; Kuželová, Dana; Šíma, Jiří; Wiedermann, Jiří; Žák, Stanislav
Ústav informatiky, 2012

Doktorandské dny '12
Kuželová, Dana; Hakl, František
2012 - Czech
Available in a digital repository NRGL
Doktorandské dny '12

Kuželová, Dana; Hakl, František
Ústav informatiky, 2012

Doktorandské dny '11.
Kuželová, Dana; Hakl, František
2011 - Czech
Available in a digital repository NRGL
Doktorandské dny '11.

Kuželová, Dana; Hakl, František
Ústav informatiky, 2011

Hovory s informatiky 2011. Sborník studií
Klímová, Hana; Kuželová, Dana; Šíma, Jiří; Wiedermann, Jiří; Žák, Stanislav
2011 - Czech
Available in a digital repository NRGL
Hovory s informatiky 2011. Sborník studií

Klímová, Hana; Kuželová, Dana; Šíma, Jiří; Wiedermann, Jiří; Žák, Stanislav
Ústav informatiky, 2011

NCMPL 2011 Abstracts
Cintula, Petr; Ju, S.; Víta, Martin
2011 - English
This volume contains (extended) abstracts of all 6 invited and 25 contributed talks presented at the conference Non-Classical Modal and Predicate Logics which took place in Guangzhou, December 5-9, 2011. Modalities and predicates have since ancient time been central notions in logic. In the 20th century, various systems of non-classical logics have emerged, with applications in many disciplines like Computer Science, Linguistics, Mathematics, and Philosophy. This gave rise to the questions of non-classical treatment of quantification and modalities and their accommodation in these non-classical settings. In response, various modal and predicate variants of non-classical logics have been introduced and studied in the past decades. Although there are many good conferences on (mainly propositional) non-classical logics, this conference was solely dedicated to modal and predicate non-classical logics. Its aim was to bring together esearchers from various branches of non-classical logics, not only to present recent advances in their particular fields, but also to identify common problems and methods and foster the exchange of ideas between researchers from separate fields. Keywords: non-classical logic; predicate logic; modal logic; intuitionistic logic; substructural logic; relevant logic; fuzzy logic; non-classical mathematics Available in digital repository of the ASCR
NCMPL 2011 Abstracts

This volume contains (extended) abstracts of all 6 invited and 25 contributed talks presented at the conference Non-Classical Modal and Predicate Logics which took place in Guangzhou, December 5-9, ...

Cintula, Petr; Ju, S.; Víta, Martin
Ústav informatiky, 2011

Doktorandské dny '10
Kuželová, Dana; Hakl, František
2010 - English
Available in a digital repository NRGL
Doktorandské dny '10

Kuželová, Dana; Hakl, František
Ústav informatiky, 2010

Logic, Algebra and Truth Degrees 2010
Chvalovský, Karel; Cintula, Petr; Noguera, C.
2010 - English
Volume of abstracts from the conference Logic, Algebra and Truth Degrees 2010 (the second official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic) which was held on 7-11 September 2010 in Prague. The volume was published by Institute of Theoretical informatics as volume 2010-502 of ITI Series and is available at http://iti.mff.cuni.cz/series/ Keywords: mathematical fuzzy logic; algebraic logic; proof theory; degree of truth Available in digital repository of the ASCR
Logic, Algebra and Truth Degrees 2010

Volume of abstracts from the conference Logic, Algebra and Truth Degrees 2010 (the second official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic) which was held on 7-11 September ...

Chvalovský, Karel; Cintula, Petr; Noguera, C.
Ústav informatiky, 2010

Hovory s informatiky 2010. Sborník studií
Klímová, Hana; Kuželová, Dana; Šíma, Jiří; Wiedermann, Jiří; Žák, Stanislav
2010 - Czech
Available in a digital repository NRGL
Hovory s informatiky 2010. Sborník studií

Klímová, Hana; Kuželová, Dana; Šíma, Jiří; Wiedermann, Jiří; Žák, Stanislav
Ústav informatiky, 2010

Doktorandské dny '09
Kuželová, Dana
2009 - Czech
Available in a digital repository NRGL
Doktorandské dny '09

Kuželová, Dana
Ústav informatiky, 2009

About project

NRGL provides central access to information on grey literature produced in the Czech Republic in the fields of science, research and education. You can find more information about grey literature and NRGL at service web

Send your suggestions and comments to nusl@techlib.cz

Provider

http://www.techlib.cz

Facebook

Other bases