Košík

0382838 - ÚI 2013 IL eng A - Abstrakt
Běhounek, Libor - Cintula, Petr
The Local, the Global and the Ugly.
Logic: Between Semantics and Proof TheoryLogic: Between Semantics and Proof Theory. Tel Aviv: Tel Aviv University, 2012.
[Logic: Between Semantics and Proof Theory. 01.11.2012-02.11.2012, Tel Aviv]
Institucionální podpora: RVO:67985807
Klíčová slova: consequence relations * substructural logics * deduction theorems
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0212951