Počet záznamů: 1
Generalized Disjunctions in (Infinitary) Structural Consequence Relations
- 1.0362703 - ÚI 2012 ES eng A - Abstrakt
Cintula, Petr - Noguera, C.
Generalized Disjunctions in (Infinitary) Structural Consequence Relations.
Logic Colloquium 2011. Barcelona: Universitat de Barcelona, 2011. s. 48-50.
[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
Trvalý link: http://hdl.handle.net/11104/0198952
Název souboru Staženo Velikost Komentář Verze Přístup 0362703.pdf 0 95.2 KB Autorský preprint povolen
Počet záznamů: 1