Authors: Raclavský, Jiří

Subject Terms: Computer Science - Logic in Computer Science, F.4.1

Relation: http://arxiv.org/abs/2204.06726; EPTCS 358, 2022, pp. 68-83

Availability: https://doi.org/10.4204/EPTCS.358.6
http://arxiv.org/abs/2204.06726

Authors: Kuchyňka, Petr, Raclavský, Jiří

Superior Title: Journal of Logic & Computation; Jan2024, Vol. 34 Issue 1, p1-32, 32p

Subject Terms: LOGIC

Authors: Raclavský, Jiří

Superior Title: Logic and Logical Philosophy; Vol. 31 No. 1 (2022): March; 105-141 ; Logic and Logical Philosophy; Tom 31 Nr 1 (2022): Marzec; 105-141 ; 2300-9802 ; 1425-3305

Subject Terms: existential generalisation, quantifying in, explicit substitution, hyperintensional logic, natural deduction in sequent style, 03B16, 03B38, 03B65

File Description: application/pdf

Relation: https://apcz.umk.pl/LLP/article/view/31855/30016; https://apcz.umk.pl/LLP/article/view/31855

Availability: https://apcz.umk.pl/LLP/article/view/31855

Authors: Raclavský, Jiří^Aff16

Contributors: Andreka, Hajnal, Editorial board^Aff1, Béziau, Jean-Yves, Series editor^{Aff2, Aff14}, Burgin, Mark, Editorial board^Aff3, Diaconescu, Razvan, Editorial board^Aff4, Font, Josep Maria, Editorial board^Aff5, Herzig, Andreas, Editorial board^Aff6, Koslow, Arnold, Editorial board^Aff7, Lee, Jui-Lin, Editorial board^Aff8, Maksimova, Larisa, Editorial board^Aff9, Malinowski, Grzegorz, Editorial board^Aff10, Sarenac, Darko, Editorial board^Aff11, Schroeder-Heister, Peter, Editorial board^Aff12, Vasyukov, Vladimir, Editorial board^Aff13, Basti, Gianfranco, editor^Aff15

Superior Title: The Square of Opposition: A Cornerstone of Thought. :119-142

Authors: Raclavský, Jiří¹ raclavsky@phil.muni.cz

Superior Title: Logic & Logical Philosophy. Mar2022, Vol. 31 Issue 1, p105-141. 37p.

Authors: Kuchyňka, Petr, Raclavský, Jiří

Superior Title: Journal of Logic and Computation ; ISSN 0955-792X 1465-363X

Subject Terms: Logic, Hardware and Architecture, Arts and Humanities (miscellaneous), Software, Theoretical Computer Science

Availability: https://doi.org/10.1093/logcom/exac089

Authors: Raclavský, Jiří

Superior Title: KRITERION – Journal of Philosophy. 31(1):76-100

Availability: https://www.degruyter.com/document/doi/10.1515/krt-2017-310106/html

Authors: Raclavský, Jiří^Aff5

Contributors: Wansing, Heinrich, Editor-in-chief^{Aff1, Aff3}, Ciuni, Roberto, editor^Aff2, Willkommen, Caroline, editor^Aff4

Superior Title: Recent Trends in Philosophical Logic. 41:167-177

Authors: Raclavský, Jiří

Superior Title: Prolegomena : Časopis za filozofiju ; ISSN 1333-4395 (Print) ; ISSN 1846-0593 (Online) ; Volume 17 ; Issue 1

Subject Terms: Church-Fitch’s knowability paradox revenge paradox typing knowledge ramified theory of types Vicious Circle Principle

File Description: application/pdf

Relation: https://hrcak.srce.hr/212752

Availability: https://doi.org/10.26362/20180202
https://hrcak.srce.hr/212752
https://hrcak.srce.hr/file/311034

Authors: Raclavský, Jiří

Contributors: Stalmaszczyk, Piotr, editor

Superior Title: Philosophy of Language and Linguistics: Volume I: The Formal Turn; Volume II: The Philosophical Turn. :229-244

Availability: https://www.degruyter.com/document/doi/10.1515/9783110330472.229/html

Authors: Raclavský, Jiří

Superior Title: Logic and Logical Philosophy; Vol. 27 No. 3 (2018): September; 271-300 ; Logic and Logical Philosophy; Tom 27 Nr 3 (2018): September; 271-300 ; 2300-9802 ; 1425-3305

Subject Terms: existential import, categorical statements, Square of Opposition, properties, quantified modal logic, partiality, type theory, 03B99, 03A99, 03B45, 03B15, 03B60, 03B65

File Description: application/pdf

Relation: https://apcz.umk.pl/LLP/article/view/LLP.2017.026/12818; https://apcz.umk.pl/LLP/article/view/LLP.2017.026

Availability: https://apcz.umk.pl/LLP/article/view/LLP.2017.026

Authors: Raclavský, Jiří^{j_s13374-011-0026-4_aff_001}

Superior Title: Human Affairs. 21(3):249-261

Availability: https://www.degruyter.com/document/doi/10.2478/s13374-011-0026-4/html

Authors: Raclavský, Jiří¹ raclavsky@phil.muni.cz

Superior Title: Logic & Logical Philosophy. Sep2018, Vol. 27 Issue 3, p271-300. 30p.

Authors: Raclavský, Jiří

Superior Title: Logic and Logical Philosophy; Vol. 23 No. 1 (2014): March; 57–68 ; Logic and Logical Philosophy; Tom 23 Nr 1 (2014): March; 57–68 ; 2300-9802 ; 1425-3305

Subject Terms: logical analysis, deduction, entailment, Transparent Intensional Logic

File Description: application/pdf

Relation: https://apcz.umk.pl/LLP/article/view/LLP.2013.035/1898; https://apcz.umk.pl/LLP/article/view/LLP.2013.035

Availability: https://apcz.umk.pl/LLP/article/view/LLP.2013.035

Authors: Raclavský, Jiří, Kuchyňka, Petr

Superior Title: Logic and Logical Philosophy; Vol. 20 No. 1-2 (2011); 159–174 ; Logic and Logical Philosophy; Tom 20 Nr 1-2 (2011); 159–174 ; 2300-9802 ; 1425-3305

Subject Terms: concepts, conceptual systems, deduction, derivation systems

File Description: application/pdf

Relation: https://apcz.umk.pl/LLP/article/view/LLP.2011.008/799; https://apcz.umk.pl/LLP/article/view/LLP.2011.008

Availability: https://apcz.umk.pl/LLP/article/view/LLP.2011.008

Authors: Raclavský, Jiří

Subject Terms: paradox holiče, Russellův paradox, the Barber paradox, Russell‘s paradox, Philosophy

File Description: text/pdf

Relation: https://digilib.phil.muni.cz/en/handle/11222.digilib/130246; https://digilib.phil.muni.cz/_flysystem/fedora/pdf/139048.pdf; https://hdl.handle.net/11222.digilib/139048

Availability: https://hdl.handle.net/11222.digilib/139048

Authors: Raclavský, Jiří

Superior Title: Human Affairs ; volume 21, issue 3 ; ISSN 1337-401X 1210-3055

Subject Terms: Philosophy, Sociology and Political Science, Law

Availability: https://doi.org/10.2478/s13374-011-0024-6
https://www.degruyter.com/view/j/humaff.2011.21.issue-3/s13374-011-0024-6/s13374-011-0024-6.pdf

Authors: Raclavský, Jiří

Subject Terms: obecné termíny, rigidita, designátory, reference, general terms, rigidity, designators, Philosophy

File Description: text/pdf

Relation: https://digilib.phil.muni.cz/en/handle/11222.digilib/130246; https://digilib.phil.muni.cz/_flysystem/fedora/pdf/139020.pdf; https://hdl.handle.net/11222.digilib/139020

Availability: https://hdl.handle.net/11222.digilib/139020

Authors: Raclavský, Jiří

Subject Terms: pravdivost, sémantické paradoxy, Russell, Tarski, Kripke, truth-predicate, semantic paradoxes, Philosophy

File Description: text/pdf

Relation: https://digilib.phil.muni.cz/en/handle/11222.digilib/130246; https://digilib.phil.muni.cz/_flysystem/fedora/pdf/138989.pdf; https://hdl.handle.net/11222.digilib/138989

Availability: https://hdl.handle.net/11222.digilib/138989

Authors: Raclavský, Jiří

Subject Terms: Philosophy

File Description: text/pdf

Relation: https://digilib.phil.muni.cz/en/handle/11222.digilib/106163; https://digilib.phil.muni.cz/_flysystem/fedora/pdf/107357.pdf; https://hdl.handle.net/11222.digilib/107357

Availability: https://hdl.handle.net/11222.digilib/107357