Search results
- 1.0523434 - ÚI 2023 RIV GB eng J - Journal Article
Badia, G. - Cintula, Petr - Hájek, Petr - Tedder, Andrew
How Much Propositional Logic Suffices for Rosser's Undecidability Theorem?
Review of Symbolic Logic. Roč. 15, č. 2 (2022), s. 487-504. ISSN 1755-0203. E-ISSN 1755-0211
R&D Projects: GA ČR GA17-04630S
Institutional support: RVO:67985807
Keywords : undecidability * substructural logic * Robinson arithmetic
OECD category: Pure mathematics
Impact factor: 0.6, year: 2022
Method of publishing: Limited access
http://dx.doi.org/10.1017/S175502032000012X
Permanent Link: http://hdl.handle.net/11104/0307787 - 2.0435915 - ÚI 2016 RIV US eng J - Journal Article
Chvalovský, Karel
Undecidability of Consequence Relation in Full Non-associative Lambek Calculus.
Journal of Symbolic Logic. Roč. 80, č. 2 (2015), s. 567-586. ISSN 0022-4812. E-ISSN 1943-5886
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : substructural logics * consequence relation * undecidability * tag systems * word problem * rewriting systems
Subject RIV: BA - General Mathematics
Impact factor: 0.510, year: 2015
Permanent Link: http://hdl.handle.net/11104/0239734File Download Size Commentary Version Access a0435915.pdf 5 373.1 KB Publisher’s postprint require 0435915.pdf 2 1 MB Author´s preprint require - 3.0431686 - ÚI 2015 AT eng A - Abstract
Chvalovský, Karel
Undecidability of consequence relation in Full Non-associative Lambek Calculus.
Abstract Booklet - LATD 2014. Vienna: Vienna University of Technology, 2014 - (Baaz, M.; Ciabattoni, A.; Hetzl, S.). s. 153-154
[LATD 2014. Logic, Algebra and Truth Degrees. 16.07.2014-19.07.2014, Vienna]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : substructural logics * consequence relation * undecidability * tag systems * word problem * rewriting systems
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0236272File Download Size Commentary Version Access a0431686.pdf 0 308 KB Publisher’s postprint open-access - 4.0431139 - ÚI 2015 PL eng A - Abstract
Franek, Peter - Krčál, M.
Robust satisfiability of systems of equations.
Applied Topology. Book of Abstracts. Poznan: Adam Mickiewicz University, 2013. s. 7-7.
[Applied Topology. 21.07.2013-27.07.2013, Bedlewo]
Institutional support: RVO:67985807
Keywords : robust satisfiability * nonlinear system * undecidability * topological extension problem
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0235753 - 5.0427751 - ÚI 2015 RIV US eng C - Conference Paper (international conference)
Franek, Peter - Krčál, M.
Robust Satisfiability of Systems of Equations.
Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms. Philadelphia: SIAM, 2014 - (Chekuri, C.), s. 193-203. ISBN 978-1-61197-338-9.
[SODA 2014. Annual ACM-SIAM Symposium on Discrete Algorithms /25./. Portland (US), 05.01.2014-07.01.2014]
R&D Projects: GA ČR GBP202/12/G061
Grant - others:GA MŠk(CZ) LL1201
Institutional support: RVO:67985807
Keywords : robust satisfiability * nonlinear system * undecidability * topological extension problem
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0233248File Download Size Commentary Version Access a0427751.pdf 18 509 KB Publisher’s postprint require - 6.0403600 - UIVT-O 990009 RIV DE eng C - Conference Paper (international conference)
Hájek, Petr
Trakhtenbrot Theorem and Fuzzy Logic.
Computer Science Logic. Berlin: Springer, 1999 - (Gottlob, G.; Grandjean, E.; Seyr, K.), s. 1-8. Lecture Notes in Computer Science, 1584. ISBN 3-540-65922-6; ISBN 3-540-65922-6. ISSN 0302-9743.
[CSL'98 International Workshop /12./, Annual Conference of the EACSL. Brno (CZ), 24.08.1999-28.08.1999]
Grant - others:COST(XE) Action 15
Institutional research plan: AV0Z1030915
Keywords : fuzzy logic * undecidability * finite model theory
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0123899 - 7.0403343 - UIVT-O 970186 CZ eng V - Research Report
Hájek, Petr
Trakhtenbrot Theorem and Fuzzy Logic.
Prague: ICS AS CR, 1997. 6 s. Technical Report, V-737.
Grant - others:COST(XE) Action 15
Keywords : fuzzy logic * undecidability * finite model theory
Permanent Link: http://hdl.handle.net/11104/0123655File Download Size Commentary Version Access v737-97.pdf 9 143 KB Other open-access - 8.0402510 - UIVT-O 970004 NL eng J - Journal Article
Hájek, Petr
Fuzzy Logic and Arithmetical Hierarchy II.
Studia Logica. Roč. 58, č. 1 (1997), s. 129-141. ISSN 0039-3215. E-ISSN 1572-8730
R&D Projects: GA AV ČR IAA1030601
Keywords : fuzzy logic * undecidability * many-valued logic
Permanent Link: http://hdl.handle.net/11104/0122915File Download Size Commentary Version Access a0402510.pdf 3 297.3 KB Publisher’s postprint require - 9.0402186 - UIVT-O 950296 RIV NL eng J - Journal Article
Hájek, Petr
Fuzzy Logic and Arithmetical Hierarchy.
Fuzzy Sets and Systems. Roč. 73, č. 3 (1995), s. 359-363. ISSN 0165-0114. E-ISSN 1872-6801
R&D Projects: GA AV ČR IAA130108
Keywords : fuzzy logic * undecidability
Impact factor: 0.445, year: 1995
Permanent Link: http://hdl.handle.net/11104/0122597File Download Size Commentary Version Access a0402186.pdf 3 335.4 KB Publisher’s postprint require - 10.0357712 - ÚI 2012 RIV GB eng J - Journal Article
Hájek, Petr
Towards Metamathematics of Weak Arithmetics over Fuzzy Logic.
Logic Journal of the IGPL. Roč. 19, č. 3 (2011), s. 467-475. ISSN 1367-0751. E-ISSN 1368-9894
R&D Projects: GA AV ČR IAA100300503
Institutional research plan: CEZ:AV0Z10300504
Keywords : weak arithmetics * mathematical fuzzy logic * Gödel’s theorem * essential undecidability
Subject RIV: BA - General Mathematics
Impact factor: 0.913, year: 2011
Permanent Link: http://hdl.handle.net/11104/0195911