Number of the records: 1
An algebraic proof of the disjunction property
- 1.0369935 - ÚI 2012 CH eng A - Abstract
Horčík, Rostislav
An algebraic proof of the disjunction property.
Algebra and Coalgebra meet Proof Theory. Universität Bern, 2011. s. 6-6.
[Algebra and Coalgebra meet Proof Theory. 27.04.2011-29.04.2011, Bern]
Institutional research plan: CEZ:AV0Z10300504
Keywords : substructural logics * disjunction property * computational complexity
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0203879
Number of the records: 1