Number of the records: 1
Witnessed Models and Skolemization in Substructural Logics
- 1.0446018 - ÚI 2016 IT eng A - Abstract
Cintula, Petr - Diaconescu, D. - Metcalfe, G.
Witnessed Models and Skolemization in Substructural Logics.
Topology, Algebra and Categories in Logic. Booklet of Abstracts. University of Salerno, 2015. s. 53-54.
[TACL 2015. Topology, Algebra and Categories in Logic. 21.06.2015-26.06.2015, Ischia]
R&D Projects: GA ČR GA13-14654S
Institutional support: RVO:67985807
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0248513
File Download Size Commentary Version Access a0446018.pdf 0 349.3 KB Publisher’s postprint open-access
Number of the records: 1