Výsledky vyhledávání
- 1.0574131 - ÚI 2025 GB eng J - Článek v odborném periodiku
Badia, G. - Běhounek, L. - Cintula, Petr - Tedder, A.
Relevant Consequence Relations: An Invitation.
Review of Symbolic Logic. Online 30 June 2023 (2024). ISSN 1755-0203. E-ISSN 1755-0211
Grant CEP: GA ČR(CZ) GA22-01137S; GA ČR(CZ) GA18-00113S
Institucionální podpora: RVO:67985807
Klíčová slova: relevant entailment * substructural logics * multiset consequence relations * multiple conclusions
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Omezený přístup
Trvalý link: https://hdl.handle.net/11104/0344479Název souboru Staženo Velikost Komentář Verze Přístup 0574131-pre.pdf 0 393.3 KB Autorský preprint povolen - 2.0560680 - ÚI 2024 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Cintula, Petr - Metcalfe, G. - Tokuda, N.
Algebraic Semantics for One-Variable Lattice-Valued Logics.
Advances in Modal Logic. Volume 14. London: College Publications, 2022 - (Fernández-Duque, D.; Palmigiano, A.; Pinchinat, S.), s. 237-257. ISBN 978-1-84890-413-2.
[AIML 2022: Advances in Modal Logic. Rennes (FR), 22.08.2022-25.08.2022]
Grant CEP: GA ČR(CZ) GA22-01137S
Institucionální podpora: RVO:67985807
Klíčová slova: Modal Logic * Substructural Logics * Lattice-Valued Logics * One-Variable Fragment * Superamalgamation * Sequent Calculus * Interpolation
Obor OECD: Pure mathematics
http://www.collegepublications.co.uk/aiml/?00011
Trvalý link: https://hdl.handle.net/11104/0333542 - 3.0549748 - MÚ 2022 NL eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR(CZ) GA19-05497S
Institucionální podpora: RVO:67985840
Klíčová slova: proof complexity * subintuitionistic logics * substructural logics
Obor OECD: Pure mathematics
Impakt faktor: 0.776, rok: 2021
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.apal.2021.102972
Trvalý link: http://hdl.handle.net/11104/0325667Název souboru Staženo Velikost Komentář Verze Přístup Jalali.pdf 4 558.1 KB Vydavatelský postprint vyžádat - 4.0537049 - ÚI 2021 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Sedlár, Igor
Finitely-valued propositional dynamic logics.
Advances in Modal Logic. London: College Publications, 2020 - (Olivetti, N.; Verbrugge, R.; Negri, S.; Sandu, G.), s. 561-579. ISBN 978-1-84890-341-8.
[AiML 2020: Conference on Advances in Modal Logic /14./. Helsinki / Online (FI), 24.08.2020-28.08.2020]
Grant CEP: GA ČR(CZ) GJ18-19162Y
Institucionální podpora: RVO:67985807
Klíčová slova: FL-algebras * Many-valued modal logic * Propositional Dynamic Logic * Residuated lattices * Substructural logics * Weighted structures
Obor OECD: Pure mathematics
Trvalý link: http://hdl.handle.net/11104/0314800Název souboru Staženo Velikost Komentář Verze Přístup 0537049-pre.pdf 0 262.3 KB z ArXiv.org Autorský preprint povolen - 5.0524930 - ÚI 2022 RIV CH eng B - Monografie kniha jako celek
Cintula, Petr - Noguera, Carles
Logic and Implication: An introduction to the General Algebraic Study of Non-classical Logics.
Cham: Springer, 2021. 465 s. ISBN 978-3-030-85674-8
Grant CEP: GA ČR GA13-14654S; GA ČR(CZ) GA18-00113S
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: Non-Classical Logics * Algebraic Logic * Abstract Algebraic Logic * Completeness Theorems * Logical Matrices * Weakly Implicative Logics * Substructural Logics * Generalized Disjunctions * Semilinear Logics * First-Order Logics
Obor OECD: Pure mathematics; Applied mathematics (UTIA-B)
https://link.springer.com/book/9783030856748
Trvalý link: http://hdl.handle.net/11104/0309152Název souboru Staženo Velikost Komentář Verze Přístup 0524930-errata3.pdf 16 207 KB Errata 9. 8. 2022 Jiná povolen - 6.0508255 - ÚI 2020 CH eng A - Abstrakt
Punčochář, Vít - Sedlár, Igor
From the positive fragment of PDL to its non-classical extensions.
AiML 2018: Accepted Short Papers. Bern: Universität Bern, 2018. s. 100-104.
[AiML 2018: Advances in Modal Logic /12./. 27.08.2019-31.08.2019, Bern]
Grant CEP: GA ČR(CZ) GJ18-19162Y
Institucionální podpora: RVO:67985807
Klíčová slova: Lambek calculus * dynamic logic * First Degree Entailment * paraconsistent logic * Propositional Dynamic Logic * substructural logics
http://www.aiml2018.unibe.ch/Booklet%20of%20Short%20Papers.pdf
Trvalý link: http://hdl.handle.net/11104/0299216Název souboru Staženo Velikost Komentář Verze Přístup 0508255-aw.pdf 2 525.5 KB volně online Vydavatelský postprint povolen - 7.0508234 - ÚI 2020 NL eng A - Abstrakt
Cintula, Petr
First-order substructural logics.
WoLLIC 2019. Programme. Utrecht: Utrecht University, 2019.
[WoLLIC 2019. International Workshop on Logic, Language, Information and Computation /26./. 02.07.2019-05.07.2019, Utrecht]
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logics
https://wollic2019.sites.uu.nl/wp-content/uploads/sites/455/2019/06/Cintula.pdf
Trvalý link: http://hdl.handle.net/11104/0299200Název souboru Staženo Velikost Komentář Verze Přístup 0508234-aw.pdf 1 115.7 KB volně online Vydavatelský postprint povolen - 8.0479305 - FLÚ 2018 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Punčochář, Vít
A general framework for logics of questions.
The Logica Yearbook 2016. London: College Publications, 2017 - (Arazim, P.; Lávička, T.), s. 223-238. ISBN 978-1-84890-243-5.
[Logica 2016. Hejnice (CZ), 20.06.2016-24.06.2016]
Grant CEP: GA ČR(CZ) GC16-07954J
Institucionální podpora: RVO:67985955
Klíčová slova: inquisitive semantics * logic of questions * substructural logics
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0275513 - 9.0478145 - ÚI 2018 SK eng J - Článek v odborném periodiku
Sedlár, Igor
An Outline of a Substructural Model of BTA Belief.
Organon F. Roč. 20, suppl. 2 (2013), s. 160-170. ISSN 1335-0668
Klíčová slova: logic * Belief * epistemic logic * logical omniscience * substructural logics
Trvalý link: http://hdl.handle.net/11104/0274489 - 10.0478133 - ÚI 2018 GB eng J - Článek v odborném periodiku
Sedlár, Igor
Epistemic extensions of modal distributive substructural logics.
Journal of Logic and Computation. Roč. 26, č. 6 (2016), s. 1787-1813. ISSN 0955-792X. E-ISSN 1465-363X
Klíčová slova: revision functions * belief revision * relevant logics * semantics * contraction * entailment * Belief revision * epistemic logics * knowledge representation * non-monotonic reasoning * substructural logics
Impakt faktor: 0.909, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0274491