Search results
- 1.0586504 - ÚI 2025 NL eng J - Journal Article
Fussner, Daniel Wesley - Galatos, N.
Semiconic idempotent logic I: Structure and local deduction theorems.
Annals of Pure and Applied Logic. Roč. 175, č. 7 (2024), č. článku 103443. ISSN 0168-0072. E-ISSN 1873-2461
Institutional support: RVO:67985807
Keywords : Substructural logics * Semiconic idempotent logic * Semilinear residuated lattices * Congruence extension property * Deduction theorems
OECD category: Applied mathematics
Impact factor: 0.8, year: 2022
Method of publishing: Limited access
Permanent Link: https://hdl.handle.net/11104/0353977 - 2.0576355 - MÚ 2025 RIV NL eng J - Journal Article
Honzík, R. - Lambie-Hanson, Christopher - Stejskalová, Š.
Indestructibility of some compactness principles over models of PFA.
Annals of Pure and Applied Logic. Roč. 175, č. 1 (2024), č. článku 103359. ISSN 0168-0072. E-ISSN 1873-2461
Institutional support: RVO:67985840
Keywords : Guessing models * indestructibility * the tree property * weak Kurepa Hypothesis
OECD category: Pure mathematics
Impact factor: 0.8, year: 2022
Method of publishing: Limited access
https://doi.org/10.1016/j.apal.2023.103359
Permanent Link: https://hdl.handle.net/11104/0345924File Download Size Commentary Version Access Lambie-Hanson.pdf 0 498.3 KB Publisher’s postprint require - 3.0576354 - MÚ 2025 RIV NL eng J - Journal Article
Chodounský, David - Guzmán, O. - Hrušák, M.
HL ideals and Sacks indestructible ultrafilters.
Annals of Pure and Applied Logic. Roč. 175, č. 1 (2024), č. článku 103326. ISSN 0168-0072. E-ISSN 1873-2461
Institutional support: RVO:67985840
Keywords : Halpern-Läuchli * ideal * Sacks forcing * ultrafilter
OECD category: Pure mathematics
Impact factor: 0.8, year: 2022
Method of publishing: Limited access
https://doi.org/10.1016/j.apal.2023.103326
Permanent Link: https://hdl.handle.net/11104/0345923File Download Size Commentary Version Access Chodounsky.pdf 0 493.7 KB Publisher’s postprint require - 4.0570761 - MÚ 2024 RIV NL eng J - Journal Article
Jeřábek, Emil
Elementary analytic functions in VTC^0.
Annals of Pure and Applied Logic. Roč. 174, č. 6 (2023), č. článku 103269. ISSN 0168-0072. E-ISSN 1873-2461
R&D Projects: GA ČR(CZ) GA23-04825S
Institutional support: RVO:67985840
Keywords : bounded arithmetic * elementary analytic functions * models of arithmetic * threshold circuits
OECD category: Pure mathematics
Impact factor: 0.8, year: 2022
Method of publishing: Limited access
https://doi.org/10.1016/j.apal.2023.103269
Permanent Link: https://hdl.handle.net/11104/0342097File Download Size Commentary Version Access Jerabek1.pdf 0 743.8 KB Publisher’s postprint require - 5.0562184 - FLÚ 2023 RIV NL eng J - Journal Article
Punčochář, Vít
Iterated team semantics for a hierarchy of informational types.
Annals of Pure and Applied Logic. Roč. 173, č. 10 (2022), č. článku 103156. ISSN 0168-0072. E-ISSN 1873-2461
R&D Projects: GA ČR(CZ) GM21-23610M
Institutional support: RVO:67985955
Keywords : dependence logic * team semantics * information * contexts * conditionals * modalities
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 0.8, year: 2022
Method of publishing: Limited access
https://doi.org/10.1016/j.apal.2022.103156
Permanent Link: https://hdl.handle.net/11104/0334713 - 6.0560281 - MÚ 2024 RIV NL eng J - Journal Article
Kostana, Ziemowit
Cohen-like first order structures.
Annals of Pure and Applied Logic. Roč. 174, č. 1 (2023), č. článku 103172. ISSN 0168-0072. E-ISSN 1873-2461
R&D Projects: GA ČR(CZ) GX20-31529X
Institutional support: RVO:67985840
Keywords : Cohen forcing * Fraisse limit * generic structure * homogeneous structure
OECD category: Pure mathematics
Impact factor: 0.8, year: 2022
Method of publishing: Limited access
https://doi.org/10.1016/j.apal.2022.103172
Permanent Link: https://hdl.handle.net/11104/0333268File Download Size Commentary Version Access Kostana.pdf 0 368.8 KB Publisher’s postprint require - 7.0560276 - MÚ 2024 RIV NL eng J - Journal Article
Jeřábek, Emil
On the proof complexity of logics of bounded branching.
Annals of Pure and Applied Logic. Roč. 174, č. 1 (2023), č. článku 103181. ISSN 0168-0072. E-ISSN 1873-2461
R&D Projects: GA ČR(CZ) GA19-05497S
Institutional support: RVO:67985840
Keywords : proof complexity * modal logic * intermediate logic * extended Frege system
OECD category: Pure mathematics
Impact factor: 0.8, year: 2022
Method of publishing: Limited access
https://doi.org/10.1016/j.apal.2022.103181
Permanent Link: https://hdl.handle.net/11104/0333265File Download Size Commentary Version Access Jerabek.pdf 0 789.5 KB Publisher’s postprint require - 8.0549748 - MÚ 2022 NL eng J - Journal Article
Jalali Keshavarz, Raheleh
Proof complexity of substructural logics.
Annals of Pure and Applied Logic. Roč. 172, č. 7 (2021), č. článku 102972. ISSN 0168-0072. E-ISSN 1873-2461
R&D Projects: GA ČR(CZ) GA19-05497S
Institutional support: RVO:67985840
Keywords : proof complexity * subintuitionistic logics * substructural logics
OECD category: Pure mathematics
Impact factor: 0.776, year: 2021
Method of publishing: Limited access
https://doi.org/10.1016/j.apal.2021.102972
Permanent Link: http://hdl.handle.net/11104/0325667File Download Size Commentary Version Access Jalali.pdf 4 558.1 KB Publisher’s postprint require - 9.0546445 - ÚI 2022 NL eng J - Journal Article
Fernández-Duque, David - Joosten, J.J.
The omega-rule interpretation of transfinite provability logic.
Annals of Pure and Applied Logic. Roč. 169, č. 4 (2018), s. 333-371. ISSN 0168-0072. E-ISSN 1873-2461
Keywords : completeness * induction * proof * Provability logic * Arithmetic interpretation * Iterated provability
Impact factor: 0.829, year: 2018
Permanent Link: http://hdl.handle.net/11104/0322949 - 10.0544167 - MÚ 2022 RIV NL eng J - Journal Article
Krawczyk, A. - Kubiś, Wieslaw
Games with finitely generated structures.
Annals of Pure and Applied Logic. Roč. 172, č. 10 (2021), č. článku 103016. ISSN 0168-0072. E-ISSN 1873-2461
R&D Projects: GA ČR(CZ) GX20-31529X
Institutional support: RVO:67985840
Keywords : Banach-Mazur game * Fraïssé class * weak amalgamation property
OECD category: Pure mathematics
Impact factor: 0.776, year: 2021
Method of publishing: Limited access
https://doi.org/10.1016/j.apal.2021.103016
Permanent Link: http://hdl.handle.net/11104/0321216