Zobrazeno 1 - 10
of 61
pro vyhledávání: '"Joanna Golińska-Pilarek"'
Publikováno v:
Axioms, Vol 8, Iss 4, p 115 (2019)
We study deduction systems for the weakest, extensional and two-valued non-Fregean propositional logic SCI . The language of SCI is obtained by expanding the language of classical propositional logic with a new binary connective ≡ that expresses th
Externí odkaz:
https://doaj.org/article/c8726c91f8cb454ea8c8854a9a281109
Publikováno v:
Automated Deduction – CADE 28 ISBN: 9783030798758
Sentential Calculus with Identity (SCI) is an extension of classical propositional logic, featuring a new connective of identity between formulas. In SCI two formulas are said to be identical if they share the same denotation. In the semantics of the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2a627c4d36135dc73cf14290b7f502c8
https://doi.org/10.1007/978-3-030-79876-5_3
https://doi.org/10.1007/978-3-030-79876-5_3
Autor:
Joanna Golińska-Pilarek
Publikováno v:
Ruch Filozoficzny. 76:251
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::479bf1740dbbb50eca068f80784f34a8
https://doi.org/10.12775/rf.2020.018
https://doi.org/10.12775/rf.2020.018
Publikováno v:
Outstanding Contributions to Logic ISBN: 9783319978789
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::506f0bc4f1572bc27a8f4b197ae418f7
https://doi.org/10.1007/978-3-319-97879-6
https://doi.org/10.1007/978-3-319-97879-6
Publikováno v:
Outstanding Contributions to Logic ISBN: 9783319978789
This chapter provides a concise overview of Ewa Orlowska’s research contributions and the content of the volume.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d478409ee248c7e77fa57d86ffd75ad3
https://doi.org/10.1007/978-3-319-97879-6_1
https://doi.org/10.1007/978-3-319-97879-6_1
Publikováno v:
Studies in Universal Logic ISBN: 9783319654294
In 2011, Andrzej Grzegorczyk formulated Logic of Descriptions (LD), a new logical system in which the classical equivalence has been replaced with the descriptive equivalence. Two sentences are descriptively equivalent whenever they describe the same
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::68723bb52b82934bf9755f5cda26b8cb
https://doi.org/10.1007/978-3-319-65430-0_51
https://doi.org/10.1007/978-3-319-65430-0_51
Publikováno v:
Outstanding Contributions to Logic ISBN: 9783319978789
The chapter is a transcription of editors’ discussion with Ewa Orlowska. It reveals some extracurricular flavors of Ewa Orlowska’s biography, brings to light a difficult historical context of her academic career and life, and shows how much inter
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::68f51c0f6dd6398e0ccfd77c0aed2136
https://doi.org/10.1007/978-3-319-97879-6_3
https://doi.org/10.1007/978-3-319-97879-6_3
This book is a tribute to Professor Ewa Orłowska, a Polish logician who was celebrating the 60th year of her scientific career in 2017. It offers a collection of contributed papers by different authors and covers the most important areas of her rese
Autor:
Joanna Golińska-Pilarek
Publikováno v:
Studia Logica. 104:209-234
The paper concerns Grzegorczyk's non-Fregean logics that are intended to be a formal representation of the equimeaning relation defined on descriptions. We argue that the main Grzegorczyk logics discussed in the literature are too strong and we propo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3d04441c3129e8dbf84a52ccf365595e
https://doi.org/10.1007/s11225-015-9635-y
https://doi.org/10.1007/s11225-015-9635-y
Publikováno v:
Logic Journal of IGPL. 23:410-420
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::70512eb9632a29731b41e27606488577
https://doi.org/10.1093/jigpal/jzv012
https://doi.org/10.1093/jigpal/jzv012