Natural Deduction for Assertibility and Deniability
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F22%3A00559695" target="_blank" >RIV/67985955:_____/22:00559695 - isvavai.cz</a>
Result on the web
<a href="https://doi.org/10.4204/EPTCS.358.4" target="_blank" >https://doi.org/10.4204/EPTCS.358.4</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.4204/EPTCS.358.4" target="_blank" >10.4204/EPTCS.358.4</a>
Alternative languages
Result language
angličtina
Original language name
Natural Deduction for Assertibility and Deniability
Original language description
In this paper we split every basic propositional connective into two versions, one is called extensional and the other one intensional. The extensional connectives are semantically characterized by standard truth conditions that are relative to possible worlds. Assertibility and deniability of sentences built out of atomic sentences by extensional connectives are defined in terms of the notion of truth. The intensional connectives are characterized directly by assertibility and deniability conditions without the notion of truth. We pay special attention to the deniability condition for intensional implication. We characterize the logic of this mixed language by a system of natural deduction that sheds some light on the inferential behaviour of these two kinds of connectives and on the way they can interact.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
60301 - Philosophy, History and Philosophy of science and technology
Result continuities
Project
<a href="/en/project/GM21-23610M" target="_blank" >GM21-23610M: Logical Structure of Information Channels</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2022
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, Łódź, Poland, 14-18 March 2022
ISBN
—
ISSN
2075-2180
e-ISSN
2075-2180
Number of pages
14
Pages from-to
41-54
Publisher name
Open Publishing Association
Place of publication
online
Event location
Łódź
Event date
Mar 14, 2022
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—