Zobrazeno 1 - 10
of 278
pro vyhledávání: '"J Pym"'
Autor:
Alexander V. Gheorghiu, David J. Pym
Publikováno v:
Bulletin of the Section of Logic, Vol 52, Iss 2, Pp 239-266 (2023)
Proof-theoretic semantics (P-tS) is the paradigm of semantics in which meaning in logic is based on proof (as opposed to truth). A particular instance of P-tS for intuitionistic propositional logic (IPL) is its base-extension semantics (B-eS). This s
Externí odkaz:
https://doaj.org/article/e5f5ca43b33a4dfeab0075c8ab70d229
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Richard J. Pym
Publikováno v:
The Routledge Hispanic Studies Companion to Early Modern Spanish Literature and Culture ISBN: 9781351108713
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::47a3704659630516845e1a70540746a7
https://doi.org/10.4324/9781351108713-40
https://doi.org/10.4324/9781351108713-40
Autor:
Alexander V. Gheorghiu, David J. Pym
We give a novel approach to proving soundness and completeness for a logic (henceforth: the object-logic) that bypasses truth-in-a-model to work directly with validity. Instead of working with specific worlds in specific models, we reason with eigenw
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::04323f9bad1121fad10a358c8363ae27
Autor:
David J. Pym
‘Cyberspace’ is a romantic term, introduced in the elegant science-fiction writing of William Gibson, but the concepts that make up the environment called ‘cyberspace’ are the stuff of real science, with origins that can be traced to ancient
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6f12e030f2f89e93aec5b8cc7451df0b
https://doi.org/10.1093/oxfordhb/9780198800682.013.1
https://doi.org/10.1093/oxfordhb/9780198800682.013.1
Autor:
David J. Pym
Publikováno v:
ACM SIGLOG News. 6:5-41
The Logic of Bunched Implications (BI) was introduced by O'Hearn and Pym. The original presentation of BI emphasised its role as a system for formal logic (broadly in the tradition of relevant logic) that has some interesting properties, combining a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::35e4d764fc2019849bcfdce595278e30
https://doi.org/10.1145/3326938.3326940
https://doi.org/10.1145/3326938.3326940
Publikováno v:
European journal of operational research, 2019, Vol.274(2), pp.638-653 [Peer Reviewed Journal]
Information security is concerned with protecting the confidentiality, integrity, and availability of information systems. System managers deploy their resources with the aim of maintaining target levels of these attributes in the presence of reactiv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::df057a4c22faae2a886dafff0e23beda
https://doi.org/10.1016/j.ejor.2018.10.020
https://doi.org/10.1016/j.ejor.2018.10.020
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030559571
STAST
STAST
Security policy-makers (influencers) in an organization set security policies that embody intended behaviours for employees (as decision-makers) to follow. Decision-makers then face choices, where this is not simply a binary decision of whether to co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9ace55bb45cbbdecc245ac401929628d
https://doi.org/10.1007/978-3-030-55958-8_4
https://doi.org/10.1007/978-3-030-55958-8_4
Publikováno v:
Trauma Case Reports
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6559eff3dd7380d13ec357f65a26e362
http://europepmc.org/articles/PMC6260448
http://europepmc.org/articles/PMC6260448