0508276 - ÚI 2020 CH eng A - Abstract
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]
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985807
Permanent Link: http://hdl.handle.net/11104/0299232
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]
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985807
Permanent Link: http://hdl.handle.net/11104/0299232