Počet záznamů: 1
Generalized Disjunctions in (Infinitary) Structural Consequence Relations
- 1.0393068 - ÚI 2014 US eng A - Abstrakt
Cintula, Petr - Noguera, C.
Generalized Disjunctions in (Infinitary) Structural Consequence Relations.
Bulletin of Symbolic Logic. Cambridge University Press. Roč. 18, č. 3 (2012), s. 442-443. ISSN 1079-8986. E-ISSN 1943-5894.
[Logic Colloquium 2011. 11.07.2011-16.07.2011, Barcelona]
Grant CEP: GA MŠMT(CZ) 1M0545
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Abstract Algebraic Logic * Generalized disjunction * Proof by cases properties * Consequence relations
Kód oboru RIV: BA - Obecná matematika
http://www.math.ucla.edu/~asl/bsl/1803-toc.htm
Trvalý link: http://hdl.handle.net/11104/0221820
Název souboru Staženo Velikost Komentář Verze Přístup 0393068.pdf 0 95.7 KB Autorský preprint povolen
Počet záznamů: 1