Vytisknout
0505127 - ÚI 2020 RIV BE eng J - Článek v odborném periodiku
Sedlár, Igor - Šebela, K.
Term Negation in First Order logic.
Logique et Analyse. Roč. 62, č. 247 (2019), s. 265-284. ISSN 0024-5836. E-ISSN 2295-5836
GRANT EU: European Commission(XE) 689176 - SYSMICS
Grant ostatní: AV ČR(CZ) JSPS-16-08
Program: Bilaterální spolupráce
Institucionální podpora: RVO:67985807
Klíčová slova: Aristotle * Contraries * Contraposition * Law of Excluded Middle * Negation * Term negation
Obor OECD: Pure mathematics
Způsob publikování: Omezený přístup
http://dx.doi.org/10.2143/LEA.247.0.3287264
Trvalý link: http://hdl.handle.net/11104/0296650
Sedlár, Igor - Šebela, K.
Term Negation in First Order logic.
Logique et Analyse. Roč. 62, č. 247 (2019), s. 265-284. ISSN 0024-5836. E-ISSN 2295-5836
GRANT EU: European Commission(XE) 689176 - SYSMICS
Grant ostatní: AV ČR(CZ) JSPS-16-08
Program: Bilaterální spolupráce
Institucionální podpora: RVO:67985807
Klíčová slova: Aristotle * Contraries * Contraposition * Law of Excluded Middle * Negation * Term negation
Obor OECD: Pure mathematics
Způsob publikování: Omezený přístup
http://dx.doi.org/10.2143/LEA.247.0.3287264
Trvalý link: http://hdl.handle.net/11104/0296650