Výsledky vyhledávání
- 1.0556685 - MÚ 2023 RIV DE eng J - Článek v odborném periodiku
Jeřábek, Emil
The theory of hereditarily bounded sets.
Mathematical Logic Quarterly. Roč. 68, č. 2 (2022), s. 243-256. ISSN 0942-5616. E-ISSN 1521-3870
Grant CEP: GA ČR(CZ) GA19-05497S
Institucionální podpora: RVO:67985840
Klíčová slova: hereditarily finite sets * pairing function * decidability
Obor OECD: Pure mathematics
Impakt faktor: 0.3, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1002/malq.202100020
Trvalý link: http://hdl.handle.net/11104/0330805Název souboru Staženo Velikost Komentář Verze Přístup Jerabek.pdf 2 473 KB Vydavatelský postprint vyžádat - 2.0546146 - FLÚ 2022 RIV AU eng J - Článek v odborném periodiku
Tedder, Andrew
On Consistency and Decidability in Some Paraconsistent Arithmetics.
Australasian Journal of Logic. Roč. 18, č. 5 (2021), s. 473-502. E-ISSN 1448-5052
Institucionální podpora: RVO:67985955
Klíčová slova: Consistency * Decidability * Paraconsistent logics * Paraconssistent Arithmetics
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Open access
https://doi.org/10.26686/ajl.v18i5.6921
Trvalý link: http://hdl.handle.net/11104/0322697Název souboru Staženo Velikost Komentář Verze Přístup 2021_J_0546146.pdf 1 386.1 KB Vydavatelský postprint povolen - 3.0505107 - ÚI 2021 RIV NL eng J - Článek v odborném periodiku
Bílková, Marta - Colacito, A.
Proof Theory for Positive Logic with Weak Negation.
Studia Logica. Roč. 108, č. 4 (2020), s. 649-686. ISSN 0039-3215. E-ISSN 1572-8730
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Klíčová slova: Minimal propositional logic * Weak negation * Intuitionistic propositional logic * Sequent calculus * Terminating sequent calculus * Decidability * Complexity
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.585, rok: 2020
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1007/s11225-019-09869-y
Trvalý link: http://hdl.handle.net/11104/0296624 - 4.0477047 - ÚI 2019 RIV NL eng J - Článek v odborném periodiku
Moraschini, Tommaso
A Computational Glimpse at the Leibniz and Frege Hierarchies.
Annals of Pure and Applied Logic. Roč. 169, č. 1 (2018), s. 1-20. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA ČR GA13-14654S
Institucionální podpora: RVO:67985807
Klíčová slova: abstract algebraic logic * Leibniz hierarchy * Frege hierarchy Leibniz congruence * decidability * Diophantine equations * relation algebras
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.829, rok: 2018
Trvalý link: http://hdl.handle.net/11104/0273441Název souboru Staženo Velikost Komentář Verze Přístup a0477047.pdf 10 463.1 KB Vydavatelský postprint vyžádat - 5.0473662 - ÚI 2018 RIV US eng J - Článek v odborném periodiku
Horčík, Rostislav
On Square-Increasing Ordered Monoids and Idempotent Semirings.
Semigroup Forum. Roč. 94, č. 2 (2017), s. 297-313. ISSN 0037-1912. E-ISSN 1432-2137
Grant CEP: GA ČR GAP202/11/1632
Institucionální podpora: RVO:67985807
Klíčová slova: idempotent semiring * ordered monoid * universal theory * finite embeddability property * decidability
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.492, rok: 2017
Trvalý link: http://hdl.handle.net/11104/0270794 - 6.0459689 - ÚI 2017 RIV CH eng A - Abstrakt
Ratschan, Stefan
Decidability from a Numerical Point of View.
Mathematical Aspects of Computer and Information Sciences. Springer, 2016 - (Kotsireas, I.; Rump, S.; Yao, C.). XVI-XVI. ISBN 978-3-319-32858-4. ISSN 0302-9743.
[MACIS 2015. International Conference on Mathematical Aspects of Computer and Information Sciences /6./. 11.11.2015-13.11.2015, Berlin]
Grant CEP: GA ČR GA15-14484S
Institucionální podpora: RVO:67985807
Klíčová slova: decidability * numerical computation
Kód oboru RIV: IN - Informatika
http://macis2015.zib.de/invited.html
Trvalý link: http://hdl.handle.net/11104/0259862Název souboru Staženo Velikost Komentář Verze Přístup a0459689 Ratschan.pdf 6 47.6 KB Vydavatelský postprint povolen - 7.0449388 - ÚI 2017 RIV NL eng J - Článek v odborném periodiku
Franek, Peter - Ratschan, Stefan - Zgliczynski, P.
Quasi-Decidability of a Fragment of the First-Order Theory of Real Numbers.
Journal of Automated Reasoning. Roč. 57, č. 2 (2016), s. 157-185. ISSN 0168-7433. E-ISSN 1573-0670
Grant CEP: GA ČR GCP202/12/J060; GA MŠMT OC10048; GA ČR GA15-14484S
Institucionální podpora: RVO:67985807
Klíčová slova: decidability * decision procedure * real numbers
Kód oboru RIV: IN - Informatika
Impakt faktor: 1.636, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0250958Název souboru Staženo Velikost Komentář Verze Přístup a0449388.pdf 9 702.4 KB Vydavatelský postprint vyžádat - 8.0442807 - ÚI 2017 RIV US eng J - Článek v odborném periodiku
Chvalovský, Karel - Horčík, Rostislav
Full Lambek Calculus with Contraction is Undecidable.
Journal of Symbolic Logic. Roč. 81, č. 2 (2016), s. 524-540. ISSN 0022-4812. E-ISSN 1943-5886
Grant CEP: GA ČR GAP202/11/1632
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logic * full Lambek calculus * contraction rule * square-increasing residuated lattice * equational theory * decidability
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.511, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0245628Název souboru Staženo Velikost Komentář Verze Přístup a0442807.pdf 8 369.7 KB Vydavatelský postprint vyžádat - 9.0423370 - ÚI 2014 RIV US eng J - Článek v odborném periodiku
Ratschan, Stefan
Safety verification of non-linear hybrid systems is quasi-decidable.
Formal Methods in System Design. Roč. 44, č. 1 (2014), s. 71-90. ISSN 0925-9856. E-ISSN 1572-8102
Grant CEP: GA ČR GCP202/12/J060
Institucionální podpora: RVO:67985807
Klíčová slova: hybrid systems * safety verification * decidability * robustness
Kód oboru RIV: IN - Informatika
Impakt faktor: 0.875, rok: 2014
Trvalý link: http://hdl.handle.net/11104/0229467 - 10.0381410 - ÚI 2013 JP eng A - Abstrakt
Horčík, Rostislav
Quasiequational Theory of Square-increasing Residuated Lattices is Undecidable.
Logic, Algebra and Truth Degrees 2012. Book of Abstracts. JAIST, 2012 - (Terui, K.; Preining, N.). s. 2-2
[Logic, Algebra and Truth Degrees 2012. 10.09.2012-14.09.2012, Kanazawa]
Institucionální podpora: RVO:67985807
Klíčová slova: residuated lattices * decidability * quasiequational theory
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0007308