The Proof by Cases Property and its Variants in Structural Consequence Relations

0395571 - ÚI 2014 RIV NL eng J - Journal Article
Cintula, Petr - Noguera, Carles
The Proof by Cases Property and its Variants in Structural Consequence Relations.
Studia Logica. Roč. 101, č. 4 (2013), s. 713-747. ISSN 0039-3215. E-ISSN 1572-8730
R&D Projects: GA MŠMT(CZ) 1M0545
EU Projects: European Commission(XE) 247584 - MATOMUVI
Institutional research plan: CEZ:AV0Z1030915
Institutional support: RVO:67985556
Keywords : Abstract Algebraic Logic * Generalized disjunction * Proof by cases properties * Consequence relations * Filter-distributive logics * Protoalgebraic logics
Subject RIV: BA - General Mathematics
Impact factor: 0.330, year: 2013
Permanent Link: http://hdl.handle.net/11104/0223575