A Sound Interpretation of Leśniewski's Epsilon in Modal Logic KTB
In this paper, we shall show that the following translation \(I^M\) from the propositional fragment \(\bf L_1\) of Leśniewski's ontology to modal logic \(\bf KTB\) is sound: for any formula \(\phi\) and \(\psi\) of \(\bf L_1\), it is defined as (M1) \(I^M(\phi \vee \psi) = I^M(\phi) \vee I^M(...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Lodz University Press
2022-03-01
|
| Series: | Bulletin of the Section of Logic |
| Subjects: | |
| Online Access: | https://www.czasopisma.uni.lodz.pl/bulletin/article/view/8071 |