Search results
- 1.0505127 - ÚI 2020 RIV BE eng J - Journal Article
Sedlár, Igor - Šebela, K.
Term Negation in First Order logic.
Logique et Analyse. Roč. 62, č. 247 (2019), s. 265-284. ISSN 0024-5836
EU Projects: European Commission(XE) 689176 - SYSMICS
Grant - others:AV ČR(CZ) JSPS-16-08
Program: Bilaterální spolupráce
Institutional support: RVO:67985807
Keywords : Aristotle * Contraries * Contraposition * Law of Excluded Middle * Negation * Term negation
OECD category: Pure mathematics
Method of publishing: Limited access
http://dx.doi.org/10.2143/LEA.247.0.3287264
Permanent Link: http://hdl.handle.net/11104/0296650File Download Size Commentary Version Access 0505127-post.pdf 9 355.1 KB volně online Author’s postprint require - 2.0480886 - ÚI 2019 RIV NL eng J - Journal Article
Cintula, Petr - Noguera, Carles
Neighborhood semantics for modal many-valued logics.
Fuzzy Sets and Systems. Roč. 345, 15 August (2018), s. 99-112. ISSN 0165-0114. E-ISSN 1872-6801
R&D Projects: GA ČR(CZ) GF15-34650L
EU Projects: European Commission(XE) 689176 - SYSMICS
Grant - others:AV ČR(CZ) JSPS-16-08; Austrian Science Fund(AT) I1897-N25
Program: Bilaterální spolupráce
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : mathematical fuzzy logic * modal fuzzy logics * neighborhood frames * Kripke semantics * many-valued logics
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Pure mathematics (UTIA-B)
Impact factor: 2.907, year: 2018
Permanent Link: http://hdl.handle.net/11104/0276553File Download Size Commentary Version Access 0480886.pdf 10 678.4 KB GSp Author’s postprint open-access