Number of the records: 1
Generalized Disjunctions in (Infinitary) Structural Consequence Relations
- 1.0362703 - ÚI 2012 ES eng A - Abstract
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]
R&D Projects: GA MŠMT(CZ) 1M0545
Institutional research plan: CEZ:AV0Z10300504
Keywords : Abstract Algebraic Logic * Generalized disjunction * Proof by cases properties * Consequence relations
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0198952
File Download Size Commentary Version Access 0362703.pdf 0 95.2 KB Author´s preprint open-access
Number of the records: 1