Search results
- 1.0505123 - ÚI 2020 RIV GB eng J - Journal Article
Sedlár, Igor - Punčochář, Vít
From positive PDL to its non-classical extensions.
Logic Journal of the IGPL. Roč. 27, č. 4 (2019), s. 522-542. ISSN 1367-0751. E-ISSN 1368-9894
R&D Projects: GA ČR(CZ) GJ18-19162Y
Institutional support: RVO:67985807
Keywords : Lambek calculus * modal logic * paraconsistent logic * positive modal logic * propositional dynamic logic * substructural logic
OECD category: Pure mathematics
Impact factor: 0.931, year: 2019
Method of publishing: Limited access
http://dx.doi.org/10.1093/jigpal/jzz017
Permanent Link: http://hdl.handle.net/11104/0296635 - 2.0504824 - ÚI 2020 RIV GB eng J - Journal Article
Moraschini, Tommaso
Varieties of positive modal algebras and structural completeness.
Review of Symbolic Logic. Roč. 12, č. 3 (2019), s. 557-588. ISSN 1755-0203. E-ISSN 1755-0211
R&D Projects: GA ČR(CZ) GF15-34650L; GA MŠMT(CZ) EF17_050/0008361
Institutional support: RVO:67985807
Keywords : positive modal logic * modal logic * structural completeness * admissible rule * abstract algebraic logic * algebraization of Gentzen systems
OECD category: Pure mathematics
Impact factor: 0.750, year: 2019
Method of publishing: Limited access
http://dx.doi.org/10.1017/S1755020319000236
Permanent Link: http://hdl.handle.net/11104/0296383 - 3.0436118 - ÚI 2015 RIV GB eng C - Conference Paper (international conference)
Přenosil, Adam
A Duality for Distributive Unimodal Logic.
Advances in Modal Logic. London: College Publications, 2014 - (Goré, T.; Kooi, B.; Kurucz, A.), s. 423-438. 10. ISBN 978-1-84890-151-3.
[Advances in Modal Logic. Groningen (NL), 05.08.2014-08.08.2014]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : modal logic * distributive modal logic * intuitionistic modal logic * positive modal logic * bi-intuitionistic modal logic * duality theory
Subject RIV: BA - General Mathematics
http://www.aiml.net/volumes/volume10/Prenosil.pdf
Permanent Link: http://hdl.handle.net/11104/0239896File Download Size Commentary Version Access a0436118.pdf 0 379.8 KB Publisher’s postprint require