. . "Algebraick\u00E9 metody v neklasick\u00FDch logik\u00E1ch" . "MEB060912" . . "0"^^ . "Algebraic methods in non-classical logics"@en . "algebra; variety; logic"@en . "1"^^ . "0"^^ . . "0"^^ . "2010-06-09+02:00"^^ . "0"^^ . . . "http://www.isvav.cz/projectDetail.do?rowId=MEB060912"^^ . . "2011-06-30+02:00"^^ . " variety" . . . "Ka\u017Ed\u00E1 v\u00FDrokov\u00E1 logika je p\u0159irozen\u00FDm zp\u016Fsobem spojen\u00E1 s odvozen\u00FDmi algebraick\u00FDmi strukturami, nap\u0159. implika\u010Dn\u00EDmi redukty, uspo\u0159\u00E1dan\u00FDmi mno\u017Einami pravdivostn\u00EDch hodnot a strukturami typu okruh\u016F. Krom\u011B t\u011Bchto struktur je mo\u017Eno uva\u017Eovat dal\u0161\u00ED redukty, nap\u0159. disjunk\u010Dn\u011B-nega\u010Dn\u00ED redukt apod. V navrhovan\u00E9m projektu se zam\u011B\u0159\u00EDme na studium shora zm\u00EDn\u011Bn\u00FDch uspo\u0159\u00E1dan\u00FDch struktur spojen\u00FDch s logikou." . . "2009-01-01+01:00"^^ . . . . . . . . . "Every propositional logic is naturally connected with several derived algebraic structures. In particular, these are the implication reducts, the ordered structures of values and so-called ring-like structures. Besides of these, propositional logics can be connected with other reducts as for example the disjunction-negation reduct (usually called \u201Cderived algebras\u201D). In the proposed project we will focus on ordered structures connected with the logics mentioned above."@en . . . "Results achieved within the project substantially deepened the knowledge about the structure theory of various kinds of algebras connected with logic. Most of them were published in renowned journals with IF and lectured on international conferences."@en . "Dosa\u017Een\u00E9 v\u00FDsledky vedly k podstatn\u00E9mu prohlouben\u00ED znalost\u00ED o strukturn\u00ED teorii r\u016Fzn\u00FDch druh\u016F algebraick\u00FDch struktur spojen\u00FDch s logikou. V\u011Bt\u0161ina z nich byla publikov\u00E1na v renomovan\u00FDch \u010Dasopisech s IF a prezentov\u00E1na na mezin\u00E1rodn\u00EDch konferenc\u00EDch"@cs . "algebra" . "2010-12-31+01:00"^^ .