Výsledky vyhledávání
- 1.0559695 - FLÚ 2023 RIV AU eng C - Conference Paper (international conference)
Punčochář, Vít - Grimau, Berta
Natural Deduction for Assertibility and Deniability.
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, Łódź, Poland, 14-18 March 2022. online: Open Publishing Association, 2022 - (Indrzejczak, A.; Zawidzki, M.), s. 41-54. Electronic Proceedings in Theoretical Computer Science (EPTCS), 358. E-ISSN 2075-2180.
[Non-Classical Logics. Theory and Applications (NCL) /10./. Łódź (PL), 14.03.2022-18.03.2022]
R&D Projects: GA ČR(CZ) GM21-23610M
Institutional support: RVO:67985955
Keywords : semantics * natural deduction * assertibility * deniability * possible worlds
OECD category: Philosophy, History and Philosophy of science and technology
https://doi.org/10.4204/EPTCS.358.4
Permanent Link: https://hdl.handle.net/11104/0334055 - 2.0546967 - FLÚ 2022 DE eng C - Konferenční příspěvek (zahraniční konf.)
Pezlar, Ivo
The Placeholder View of Assumptions and the Curry–Howard Correspondence (Extended Abstract).
Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings. Cham: Springer, 2021 - (Baroni, P.; Benzmüller, C.; Wáng, Y.), s. 513-520. Lecture Notes in Artificial Intelligence, 13040. ISBN 978-3-030-89390-3.
[CLAR 2021: International Conference on Logic and Argumentation /4./. online (CN), 20.10.2021-22.10.2021]
Grant CEP: GA ČR(CZ) GA19-12420S
Institucionální podpora: RVO:67985955
Klíčová slova: Placeholder view of assumptions * Assumption withdrawing * Curry–Howard correspondence * Natural deduction * Intuitionistic propositional logic
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-030-89391-0_31
Trvalý link: http://hdl.handle.net/11104/0323339 - 3.0546332 - FLÚ 2022 RIV NL eng J - Článek v odborném periodiku
Pezlar, Ivo
The placeholder view of assumptions and the Curry–Howard correspondence.
Synthese. Roč. 198, č. 11 (2021), s. 10109-10125. ISSN 0039-7857. E-ISSN 1573-0964
Grant CEP: GA ČR(CZ) GA19-12420S
Institucionální podpora: RVO:67985955
Klíčová slova: Placeholder view of assumptions * Assumption withdrawing * Curry-Howard correspondence * Natural deduction * Intuitionistic propositional logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 1.595, rok: 2021
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s11229-020-02706-z
Trvalý link: http://hdl.handle.net/11104/0322869 - 4.0543414 - FLÚ 2022 RIV CZ cze J - Článek v odborném periodiku
Drobňák, Matej - Peregrin, Jaroslav - Matějíček, P. - Hubálek, M.
Experimentální studie akceptace pravidel přirozené dedukce v českém jazyce.
[An Experimental Study of the Acceptance of the Rules of Natural Deduction in Czech.]
Slovo a slovesnost. Roč. 82, č. 1 (2021), s. 67-83. ISSN 0037-7031. E-ISSN 2571-0885
Grant CEP: GA ČR(CZ) GA17-15645S
Institucionální podpora: RVO:67985955
Klíčová slova: natural deduction * natural language * natural language semantics * natural deduction * disjunction * negation
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.227, rok: 2021
Způsob publikování: Omezený přístup
http://sas.ujc.cas.cz/archiv.php?art=4477
Trvalý link: http://hdl.handle.net/11104/0320629 - 5.0534286 - FLÚ 2021 RIV SE eng J - Článek v odborném periodiku
Punčochář, Vít - Gauker, Ch.
Indicative Conditionals in Objective Contexts.
Theoria. Roč. 86, č. 5 (2020), s. 651-687. ISSN 1755-2567. E-ISSN 1755-2567
Grant CEP: GA ČR(CZ) GA20-18675S
Institucionální podpora: RVO:67985955
Klíčová slova: indicative conditionals * objective contexts * natural deduction * assertibility
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Omezený přístup
https://doi.org/10.1111/theo.12277
Trvalý link: http://hdl.handle.net/11104/0312511 - 6.0510490 - FLÚ 2020 RIV NL eng J - Článek v odborném periodiku
Klev, Ansten
The harmony of identity.
Journal of Philosophical Logic. Roč. 48, č. 5 (2019), s. 867-884. ISSN 0022-3611. E-ISSN 1573-0433
Grant CEP: GA ČR(CZ) GJ17-18344Y
Institucionální podpora: RVO:67985955
Klíčová slova: identity * natural deduction * definition
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Omezený přístup
https://link.springer.com/article/10.1007%2Fs10992-018-09499-0
Trvalý link: http://hdl.handle.net/11104/0300953 - 7.0447718 - FLÚ 2016 RIV NL eng J - Článek v odborném periodiku
Punčochář, Vít
Weak negation in inquisitive semantics.
Journal of Logic, Language, and Information. Roč. 24, č. 3 (2015), s. 323-355. ISSN 0925-8531. E-ISSN 1572-9583
Grant CEP: GA ČR(CZ) GA13-21076S
Institucionální podpora: RVO:67985955
Klíčová slova: inquisitive semantics * negation * possible worlds * Fitch-style natural deduction * denial
Kód oboru RIV: AA - Filosofie a náboženství
Impakt faktor: 0.450, rok: 2015
http://link.springer.com/article/10.1007%2Fs10849-015-9219-2
Trvalý link: http://hdl.handle.net/11104/0249484 - 8.0436789 - FLÚ 2015 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Punčochář, Vít
Intensionalisation of Logical Operators.
The logica yearbook 2013. London: College Publications, 2014 - (Dančák, M.; Punčochář, V.), s. 173-185. ISBN 978-1-84890-144-5.
[Logica 2013. Hejnice (CZ), 17.06.2013-21.06.2013]
Grant CEP: GA ČR(CZ) GA13-21076S
Institucionální podpora: RVO:67985955
Klíčová slova: semantics * assertibility * intensionality * logical operators * natural deduction
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0240453 - 9.0394194 - FLÚ 2014 RIV SK cze J - Článek v odborném periodiku
Peregrin, Jaroslav
Odkud se berou axiomy logiky?
[Where do the Axioms of Logic Come from.]
Organon F. Roč. 20, Supp.2 (2013), s. 117-139. ISSN 1335-0668. E-ISSN 2585-7150
Grant CEP: GA ČR(CZ) GA13-21076S
Institucionální podpora: RVO:67985955
Klíčová slova: axioms * logic * natural deduction * negation
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0222500