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.0572117 - ÚI 2025 GB eng J - Článek v odborném periodiku
Ferenz, Nicholas
First-Order Relevant Reasoners in Classical Worlds.
Review of Symbolic Logic. Online 21 March 2023 (2024), č. článku PII S1755020323000096. ISSN 1755-0203. E-ISSN 1755-0211
Institucionální podpora: RVO:67985807
Klíčová slova: relevant logic * epistemic logic * non-Tarskian quantifiers * first-order epistemic logic
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Omezený přístup
Trvalý link: https://hdl.handle.net/11104/0342944 - 3.0558050 - ÚI 2025 GB eng J - Článek v odborném periodiku
Fernández-Duque, David
Taming the 'Elsewhere': On Expressivity of Topological Languages.
Review of Symbolic Logic. Online 28 March 2022 (2024). ISSN 1755-0203. E-ISSN 1755-0211
Institucionální podpora: RVO:67985807
Klíčová slova: modal logic * topological semantics * expressivity
Obor OECD: Pure mathematics
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1017/S1755020322000120
Trvalý link: http://hdl.handle.net/11104/0331859Název souboru Staženo Velikost Komentář Verze Přístup 0558050-aonl.pdf 0 304.2 KB Vydavatelský postprint povolen - 4.0544080 - FLÚ 2022 RIV GB eng J - Článek v odborném periodiku
Bertran-San Millán, Joan
Lingua characterica and calculus ratiocinator: The Leibnizian background of the Frege-Schröder polemic.
Review of Symbolic Logic. Roč. 14, č. 2 (2021), s. 411-446. ISSN 1755-0203. E-ISSN 1755-0211
Grant ostatní: AV ČR(CZ) AP1602
Program: Akademická prémie - Praemium Academiae
Institucionální podpora: RVO:67985955
Klíčová slova: Frege * Schröder * Leibniz * lingua characterica * calculus ratiocinator * concept-script * algebra of logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 1.217, rok: 2021
Způsob publikování: Omezený přístup
https://doi.org/10.1017/S175502031900025X
Trvalý link: http://hdl.handle.net/11104/0321141 - 5.0542368 - ÚI 2024 RIV GB eng J - Článek v odborném periodiku
Přenosil, Adam
The Lattice of Super-Belnap Logics.
Review of Symbolic Logic. Roč. 16, č. 1 (2023), s. 114-163. ISSN 1755-0203. E-ISSN 1755-0211
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: Belnap-Dunn logic * Kleene logic * Logic of Paradox * four-valued logic * paraconsistent logic * abstract algebraic logic
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1017/S1755020321000204
Trvalý link: http://hdl.handle.net/11104/0319795 - 6.0524384 - FLÚ 2021 RIV GB eng J - Článek v odborném periodiku
Hanke, Miroslav
Seventeenth-Century Scholastic Syllogistics: Between Logic and Mathematics?
Review of Symbolic Logic. Roč. 13, č. 2 (2020), s. 219-248. ISSN 1755-0203. E-ISSN 1755-0211
Grant CEP: GA ČR(CZ) GB14-37038G
Institucionální podpora: RVO:67985955
Klíčová slova: scholastic logic * mathematisation * second scholasticism * syllogistic reasoning * substructural logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 1.000, rok: 2020
Způsob publikování: Omezený přístup
https://doi.org/10.1017/S1755020318000357
Trvalý link: http://hdl.handle.net/11104/0308737 - 7.0523434 - ÚI 2023 RIV GB eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Klíčová slova: undecidability * substructural logic * Robinson arithmetic
Obor OECD: Pure mathematics
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1017/S175502032000012X
Trvalý link: http://hdl.handle.net/11104/0307787 - 8.0505202 - FLÚ 2020 RIV GB eng J - Článek v odborném periodiku
Punčochář, Vít
Substructural inquisitive logics.
Review of Symbolic Logic. Roč. 12, č. 2 (2019), s. 296-330. ISSN 1755-0203. E-ISSN 1755-0211
Grant CEP: GA ČR(CZ) GC16-07954J
Institucionální podpora: RVO:67985955
Klíčová slova: inquisitive semantics * logic of questions * substructural logic * classical logic * intuitionistic logic * fuzzy logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.750, rok: 2019
Způsob publikování: Omezený přístup
https://www.cambridge.org/core/journals/review-of-symbolic-logic/article/substructural-inquisitive-logics/81285524FFC11723B452B2D8434FEF79
Trvalý link: http://hdl.handle.net/11104/0296698 - 9.0504824 - ÚI 2020 RIV GB eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR(CZ) GF15-34650L; GA MŠMT(CZ) EF17_050/0008361
Institucionální podpora: RVO:67985807
Klíčová slova: positive modal logic * modal logic * structural completeness * admissible rule * abstract algebraic logic * algebraization of Gentzen systems
Obor OECD: Pure mathematics
Impakt faktor: 0.750, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1017/S1755020319000236
Trvalý link: http://hdl.handle.net/11104/0296383 - 10.0504138 - ÚI 2020 GB eng J - Článek v odborném periodiku
Tedder, Andrew
Axioms for Finite Collapse Models of Arithmetic.
Review of Symbolic Logic. Roč. 8, č. 3 (2015), s. 529-539. ISSN 1755-0203. E-ISSN 1755-0211
Klíčová slova: inconsistent models
Impakt faktor: 0.588, rok: 2015
Trvalý link: http://hdl.handle.net/11104/0295837