Search results
- 1.0574131 - ÚI 2025 GB eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GA22-01137S; GA ČR(CZ) GA18-00113S
Institutional support: RVO:67985807
Keywords : relevant entailment * substructural logics * multiset consequence relations * multiple conclusions
Impact factor: 0.6, year: 2022
Method of publishing: Limited access
Permanent Link: https://hdl.handle.net/11104/0344479File Download Size Commentary Version Access 0574131-pre.pdf 0 393.3 KB Author´s preprint open-access - 2.0572117 - ÚI 2025 GB eng J - Journal Article
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
Institutional support: RVO:67985807
Keywords : relevant logic * epistemic logic * non-Tarskian quantifiers * first-order epistemic logic
Impact factor: 0.6, year: 2022
Method of publishing: Limited access
Permanent Link: https://hdl.handle.net/11104/0342944 - 3.0558050 - ÚI 2025 GB eng J - Journal Article
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
Institutional support: RVO:67985807
Keywords : modal logic * topological semantics * expressivity
OECD category: Pure mathematics
Impact factor: 0.6, year: 2022
Method of publishing: Limited access
http://dx.doi.org/10.1017/S1755020322000120
Permanent Link: http://hdl.handle.net/11104/0331859File Download Size Commentary Version Access 0558050-aonl.pdf 0 304.2 KB Publisher’s postprint open-access - 4.0544080 - FLÚ 2022 RIV GB eng J - Journal Article
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 - others:AV ČR(CZ) AP1602
Program: Akademická prémie - Praemium Academiae
Institutional support: RVO:67985955
Keywords : Frege * Schröder * Leibniz * lingua characterica * calculus ratiocinator * concept-script * algebra of logic
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 1.217, year: 2021
Method of publishing: Limited access
https://doi.org/10.1017/S175502031900025X
Permanent Link: http://hdl.handle.net/11104/0321141 - 5.0542368 - ÚI 2024 RIV GB eng J - Journal Article
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
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985807
Keywords : Belnap-Dunn logic * Kleene logic * Logic of Paradox * four-valued logic * paraconsistent logic * abstract algebraic logic
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 0.6, year: 2022
Method of publishing: Limited access
http://dx.doi.org/10.1017/S1755020321000204
Permanent Link: http://hdl.handle.net/11104/0319795 - 6.0524384 - FLÚ 2021 RIV GB eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GB14-37038G
Institutional support: RVO:67985955
Keywords : scholastic logic * mathematisation * second scholasticism * syllogistic reasoning * substructural logic
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 1.000, year: 2020
Method of publishing: Limited access
https://doi.org/10.1017/S1755020318000357
Permanent Link: http://hdl.handle.net/11104/0308737 - 7.0523434 - ÚI 2023 RIV GB eng J - Journal Article
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
R&D Projects: GA ČR GA17-04630S
Institutional support: RVO:67985807
Keywords : undecidability * substructural logic * Robinson arithmetic
OECD category: Pure mathematics
Impact factor: 0.6, year: 2022
Method of publishing: Limited access
http://dx.doi.org/10.1017/S175502032000012X
Permanent Link: http://hdl.handle.net/11104/0307787 - 8.0505202 - FLÚ 2020 RIV GB eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GC16-07954J
Institutional support: RVO:67985955
Keywords : inquisitive semantics * logic of questions * substructural logic * classical logic * intuitionistic logic * fuzzy logic
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 0.750, year: 2019
Method of publishing: Limited access
https://www.cambridge.org/core/journals/review-of-symbolic-logic/article/substructural-inquisitive-logics/81285524FFC11723B452B2D8434FEF79
Permanent Link: http://hdl.handle.net/11104/0296698 - 9.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 - 10.0504138 - ÚI 2020 GB eng J - Journal Article
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
Keywords : inconsistent models
Impact factor: 0.588, year: 2015
Permanent Link: http://hdl.handle.net/11104/0295837