Výsledky vyhledávání
- 1.0395571 - ÚI 2014 RIV NL eng J - Článek v odborném periodiku
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
Grant CEP: GA MŠMT(CZ) 1M0545
GRANT EU: European Commission(XE) 247584 - MATOMUVI
Výzkumný záměr: CEZ:AV0Z1030915
Institucionální podpora: RVO:67985556
Klíčová slova: Abstract Algebraic Logic * Generalized disjunction * Proof by cases properties * Consequence relations * Filter-distributive logics * Protoalgebraic logics
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.330, rok: 2013
Trvalý link: http://hdl.handle.net/11104/0223575Název souboru Staženo Velikost Komentář Verze Přístup 0395571.pdf 17 749.6 KB Autorský preprint povolen - 2.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/0221820Název souboru Staženo Velikost Komentář Verze Přístup 0393068.pdf 0 95.7 KB Autorský preprint povolen - 3.0369928 - ÚI 2012 GE eng A - Abstrakt
Cintula, Petr
Equational bases for joins of subvarieties of algebras of non-classical logics.
Ordered Groups and Lattices in Algebraic Logic. Tbilisi State University, 2011 - (Liparteliani, R.). s. 9
[Ordered Groups and Lattices in Algebraic Logic. 20.09.2011-23.11.2011, Tbilisi]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Abstract Algebraic Logic * Generalized disjunction * Proof by cases properties * laticce of subvarieties
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0203874 - 4.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/0198952Název souboru Staženo Velikost Komentář Verze Přístup 0362703.pdf 0 95.2 KB Autorský preprint povolen