Number of the records: 1
Generalized Disjunctions in (Infinitary) Structural Consequence Relations
- 1.0393068 - ÚI 2014 US eng A - Abstract
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]
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
http://www.math.ucla.edu/~asl/bsl/1803-toc.htm
Permanent Link: http://hdl.handle.net/11104/0221820
File Download Size Commentary Version Access 0393068.pdf 0 95.7 KB Author´s preprint open-access
Number of the records: 1