Vytisknout
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
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