Search results
- 1.0546982 - ÚI 2022 CZ eng A - Abstract
Moraschini, Tommaso - Raftery, J.G. - Wannenburg, J. J.
Varieties of De Morgan Monoids II: Covers of Atoms.
Tacl - Abstracts. Prague: Institute of Computer Science, Czech Academy of Sciences & Faculty of Arts, Charles University, 2017.
[TACL 2017. Topology, Algebra and Categories in Logic. 26.06.2017-30.06.2017, Prague]
Institutional support: RVO:67985807
Permanent Link: http://hdl.handle.net/11104/0323352File Download Size Commentary Version Access TACL_2017_paper_91.pdf 0 310.8 KB Publisher’s postprint open-access - 2.0546980 - ÚI 2022 CZ eng A - Abstract
Moraschini, Tommaso - Raftery, J.G. - Wannenburg, J. J.
Varieties of De Morgan Monoids I: Minimality and Irreducible Algebras.
Tacl - Abstracts. Prague: Institute of Computer Science, Czech Academy of Sciences & Faculty of Arts, Charles University, 2017.
[TACL 2017. Topology, Algebra and Categories in Logic. 26.06.2017-30.06.2017, Prague]
Institutional support: RVO:67985807
Permanent Link: http://hdl.handle.net/11104/0323351File Download Size Commentary Version Access TACL_2017_paper_90.pdf 0 306.6 KB Publisher’s postprint open-access - 3.0546893 - ÚI 2022 ZA eng A - Abstract
Moraschini, Tommaso - Raftery, J.G. - Wannenburg, J. J.
Irreducible DeMorgan Monoids and Strong Relevance Logics.
SAMS 2017. Congress booklet. Potchefstroom: North/West University, 2017. s. 16.
[SAMS 2017. Annual Congress of the South African Mathematical Society /60./. 20.11.2017-22.11.2017, Potchefstroom]
Permanent Link: http://hdl.handle.net/11104/0323279 - 4.0546891 - ÚI 2022 ZA eng A - Abstract
Moraschini, Tommaso - Raftery, J.G. - Wannenburg, J. J.
Pre-Maximal Relevance Logics via DeMorgan Monoids.
SAMS 2017. Congress booklet. Potchefstroom: North/West University, 2017. s. 17.
[SAMS 2017. Annual Congress of the South African Mathematical Society /60./. 20.11.2017-22.11.2017, Potchefstroom]
Permanent Link: http://hdl.handle.net/11104/0323278 - 5.0511270 - ÚI 2020 IT eng A - Abstract
Haniková, Zuzana - Moraschini, Tommaso
Fragments of the universal theory of algebraic structures — polynomial reductions.
AsubL (Algebra & Substructural Logics- Take 6). Abstracts. Cagliari, 2018.
[AsubL: Algebra & Substructural Logics /6./. 11.06.2018-13.06.2018, Cagliari]
Institutional support: RVO:67985807
https://sites.unica.it/asubl6/files/2018/05/Zuzana-Hanikova.pdf
Permanent Link: http://hdl.handle.net/11104/0301590File Download Size Commentary Version Access 0511270-aw.pdf 0 91.3 KB volně online Publisher’s postprint open-access - 6.0508286 - ÚI 2020 AT eng A - Abstract
Bonzio, S. - Moraschini, Tommaso - Pra Baldi, M.
Logics of variable inclusion.
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]
Institutional support: RVO:67985807
https://sysmics.logic.at/accepted/_left/SYSMICS-W2_abstract_8.pdf
Permanent Link: http://hdl.handle.net/11104/0299240File Download Size Commentary Version Access 0508286-aw.pdf 0 176.4 KB volně online Publisher’s postprint open-access - 7.0508285 - ÚI 2020 AT eng A - Abstract
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]
Institutional support: RVO:67985807
https://sysmics.logic.at/accepted/_left/SYSMICS-W2_abstract_27.pdf
Permanent Link: http://hdl.handle.net/11104/0299239File Download Size Commentary Version Access 0508285-aw.pdf 1 15.4 KB volně online Publisher’s postprint open-access - 8.0508273 - ÚI 2020 CH eng A - Abstract
Moraschini, Tommaso - Raftery, J.G. - Wannenburg, J. J.
Epimorphisms, definability and cardinalities.
LATD 2018. Proceedings. Bern: University of Bern, 2018. s. 77-80.
[LATD 2018: Logic, Algebra and Truth Degrees /6./. 28.08.2019-31.08.2019, Bern]
EU Projects: European Commission(XE) 689176 - SYSMICS
Institutional support: RVO:67985807
Permanent Link: http://hdl.handle.net/11104/0299229File Download Size Commentary Version Access LATD2018.pdf 0 2.9 MB Publisher’s postprint require - 9.0508271 - ÚI 2020 CH eng A - Abstract
Moraschini, Tommaso - Raftery, J.G. - Wannenburg, J. J.
Epimorphisms in varieties of square-increasing residuated structures.
LATD 2018. Proceedings. Bern: University of Bern, 2018. s. 74-76.
[LATD 2018: Logic, Algebra and Truth Degrees /6./. 28.08.2019-31.08.2019, Bern]
EU Projects: European Commission(XE) 689176 - SYSMICS
Institutional support: RVO:67985807
Permanent Link: http://hdl.handle.net/11104/0299227File Download Size Commentary Version Access LATD2018.pdf 0 2.9 MB Publisher’s postprint require - 10.0508262 - ÚI 2020 CH eng A - Abstract
Jasana, R. - Moraschini, Tommaso
Relational semantics, ordered algebras, and quantifiers for deductive systems.
LATD 2018. Proceedings. Bern: University of Bern, 2018. s. 6-9.
[LATD 2018: Logic, Algebra and Truth Degrees /6./. 28.08.2019-31.08.2019, Bern]
Institutional support: RVO:67985807
Permanent Link: http://hdl.handle.net/11104/0299220File Download Size Commentary Version Access LATD2018.pdf 0 2.9 MB Author´s preprint require