Výsledky vyhledávání
- 1.0503661 - ÚI 2020 RIV DE eng J - Článek v odborném periodiku
Haniková, Zuzana
Implicit Definability of Truth Constants in Łukasiewicz Logic.
Soft Computing. Roč. 23, č. 7 (2019), s. 2279-2287. ISSN 1432-7643. E-ISSN 1433-7479
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: propositional logic * fuzzy logic * Łukasiewicz Logic * rational truth constants * implicit definability * computational complexity
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 3.050, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1007/s00500-018-3461-x
Trvalý link: http://hdl.handle.net/11104/0295472 - 2.0491283 - ÚI 2019 RIV GB eng J - Článek v odborném periodiku
Moraschini, Tommaso
A Study of Truth Predicates in Matrix Semantics.
Review of Symbolic Logic. Roč. 11, č. 4 (2018), s. 780-804. ISSN 1755-0203. E-ISSN 1755-0211
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Klíčová slova: abstract algebraic logic * truth predicate * equational definability * truth-equational logic * protoalgebraic logic * Leibniz hierarchy * Leibniz operator * implicit definability * matrix semantics * algebraic semantics * propositional logic * protodisjunction * protoconjunction
Obor OECD: Pure mathematics
Impakt faktor: 0.731, rok: 2018
Trvalý link: http://hdl.handle.net/11104/0285293