Výsledky vyhledávání
- 1.0520206 - ÚI 2020 CL eng A - Abstrakt
Cintula, Petr
Towards a general theory of lattice-valued models.
XVIII SLALM 16-20 December, 2019. Concepción: Universidad de Concepción, 2019. s. 6-6
Institucionální podpora: RVO:67985807
http://slalmxviii.udec.cl/sites/default/files/webform/Ses-Mod-Todos_0.pdf
Trvalý link: http://hdl.handle.net/11104/0304892Název souboru Staženo Velikost Komentář Verze Přístup 0520206-cer.pdf 2 269.4 KB certifikat ucasti Jiná povolen 0520206-aw.pdf 2 184.3 KB volně online Vydavatelský postprint povolen - 2.0510722 - ÚI 2020 RO eng A - Abstrakt
Badia, G. - Cintula, Petr - Tedder, Andrew
Rosser’s undecidability theorem for very weak (fuzzy) arithmetics.
ManyVal 2019. Book of Abstracts. Bucharest: University of Bucharest, 2019. s. 25-27.
[ManyVal 2019: The International Workshop on Many-Valued Logic /8./. 01.11.2019-03.11.2019, Bucharest]
Institucionální podpora: RVO:67985807
Trvalý link: http://hdl.handle.net/11104/0301117Název souboru Staženo Velikost Komentář Verze Přístup 0510722-onl.pdf 1 108.8 KB volně online Vydavatelský postprint povolen - 3.0508285 - ÚI 2020 AT eng A - Abstrakt
Cintula, Petr - Gil-Férez, J. - Moraschini, Tommaso - Paoli, F.
An Abstract Approach to Consequence Relations II.
SYSMICS 2018. Second Workshop - Contributions. Vienna: University of Vienna, 2018.
[SYSMICS 2018: Workshop. Substructural logics: semantics, proof theory, and applications. /2./. 26.02.2018-28.02.2018, Vienna]
Institucionální podpora: RVO:67985807
https://sysmics.logic.at/accepted/_left/SYSMICS-W2_abstract_27.pdf
Trvalý link: http://hdl.handle.net/11104/0299239Název souboru Staženo Velikost Komentář Verze Přístup 0508285-aw.pdf 1 15.4 KB volně online Vydavatelský postprint povolen - 4.0508282 - ÚI 2020 US eng A - Abstrakt
Bílková, Marta - Cintula, Petr
Understanding infinitary logics via their symmetrizations.
SYSMICS 2018. Duality in Algebra and Logic. Abstracts. Orange: Chapman University, 2018. s. 1-1.
[SYSMICS 2018. Workshop on Duality in Algebra and Logic /4./. 14.09.2018-17.09.2018, Orange]
Institucionální podpora: RVO:67985807
http://math.chapman.edu/~jipsen/sysmics/SYSMICS4abstracts.pdf
Trvalý link: http://hdl.handle.net/11104/0299237Název souboru Staženo Velikost Komentář Verze Přístup 0508282-aw.pdf 2 72.2 KB volně online Vydavatelský postprint povolen - 5.0508276 - ÚI 2020 CH eng A - Abstrakt
Cintula, Petr - Diaconescu, D. - Metcalfe, G.
Skolemization and Herbrand Theorems for Lattice-Valued Logics.
LATD 2018. Proceedings. Bern: University of Bern, 2018. s. 58-59.
[LATD 2018: Logic, Algebra and Truth Degrees /6./. 28.08.2019-31.08.2019, Bern]
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Trvalý link: http://hdl.handle.net/11104/0299232Název souboru Staženo Velikost Komentář Verze Přístup LATD2018.pdf 0 2.9 MB Vydavatelský postprint vyžádat - 6.0508275 - ÚI 2020 CH eng A - Abstrakt
Cintula, Petr - Diaconescu, D.
Omitting Types Theorem in Mathematical Fuzzy Logic.
LATD 2018. Proceedings. Bern: University of Bern, 2018. s. 55-57.
[LATD 2018: Logic, Algebra and Truth Degrees /6./. 28.08.2019-31.08.2019, Bern]
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Trvalý link: http://hdl.handle.net/11104/0299231Název souboru Staženo Velikost Komentář Verze Přístup LATD2018.pdf 0 2.9 MB Vydavatelský postprint vyžádat - 7.0508274 - ÚI 2020 CH eng A - Abstrakt
Cintula, Petr - Menchón, P. - Noguera, Carles
General Neighborhood and Kripke Semantics for Modal Many-Valued Logics.
LATD 2018. Proceedings. Bern: University of Bern, 2018. s. 31-34.
[LATD 2018: Logic, Algebra and Truth Degrees /6./. 28.08.2019-31.08.2019, Bern]
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807 ; RVO:67985556
Trvalý link: http://hdl.handle.net/11104/0299230Název souboru Staženo Velikost Komentář Verze Přístup LATD2018.pdf 0 2.9 MB Vydavatelský postprint vyžádat - 8.0508245 - ÚI 2020 CH eng A - Abstrakt
Baldi, Paolo - Cintula, Petr - Noguera, Carles
Translating logics of uncertainty into two-layered modal fuzzy logics.
AiML 2018: Accepted Short Papers. Bern: Universität Bern, 2018. s. 6-10.
[AiML 2018: Advances in Modal Logic /12./. 27.08.2019-31.08.2019, Bern]
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807 ; RVO:67985556
http://www.aiml2018.unibe.ch/Booklet%20of%20Short%20Papers.pdf
Trvalý link: http://hdl.handle.net/11104/0299210Název souboru Staženo Velikost Komentář Verze Přístup 0508245-aw.pdf 1 547.6 KB volně online Vydavatelský postprint povolen - 9.0508237 - ÚI 2020 CZ eng A - Abstrakt
Cintula, Petr - Noguera, Carles - Smith, N.
Formalizing The Sorites Paradox In Mathematical Fuzzy Logic.
CLMPST 2019. Book of Abstracts. Prague: DLMPST/IUHPST, 2019. s. 113-113.
[CLMPST 2019: The International Congress of Logic, Methodology and Philosophy of Science and Technology /16./. 05.10.2019-10.10.2019, Prague]
Institucionální podpora: RVO:67985807
http://clmpst2019.flu.cas.cz/wp-content/uploads/2019/08/BoA_CLMPST2019_web.pdf
Trvalý link: http://hdl.handle.net/11104/0299204Název souboru Staženo Velikost Komentář Verze Přístup 508237-aw.pdf 1 85.6 KB volně online Vydavatelský postprint povolen - 10.0508234 - ÚI 2020 NL eng A - Abstrakt
Cintula, Petr
First-order substructural logics.
WoLLIC 2019. Programme. Utrecht: Utrecht University, 2019.
[WoLLIC 2019. International Workshop on Logic, Language, Information and Computation /26./. 02.07.2019-05.07.2019, Utrecht]
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logics
https://wollic2019.sites.uu.nl/wp-content/uploads/sites/455/2019/06/Cintula.pdf
Trvalý link: http://hdl.handle.net/11104/0299200Název souboru Staženo Velikost Komentář Verze Přístup 0508234-aw.pdf 1 115.7 KB volně online Vydavatelský postprint povolen