Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2502.08257 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917919874613248 |
|---|---|
| author | Carrara, Massimiliano Baldi, Michele Pra |
| author_facet | Carrara, Massimiliano Baldi, Michele Pra |
| contents | A three-valued logic L is subclassical when it is defined by a single matrix having the classical two-element matrix as a subreduct. In this case, the language of L can be expanded with special unary connectives, called external operators. The resulting logic L^e is the external version of L, a notion originally introduced by D. Bochvar in 1938 with respect to his weak Kleene logic. In this paper we study the semantic properties of the external version of a three-valued subclassical logic L. We determine sufficient and necessary conditions to turn a model of L into a model of L^e . Moreover, we establish some distinctive semantic properties of L^e. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2502_08257 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | The external version of a subclassical logic Carrara, Massimiliano Baldi, Michele Pra Logic A three-valued logic L is subclassical when it is defined by a single matrix having the classical two-element matrix as a subreduct. In this case, the language of L can be expanded with special unary connectives, called external operators. The resulting logic L^e is the external version of L, a notion originally introduced by D. Bochvar in 1938 with respect to his weak Kleene logic. In this paper we study the semantic properties of the external version of a three-valued subclassical logic L. We determine sufficient and necessary conditions to turn a model of L into a model of L^e . Moreover, we establish some distinctive semantic properties of L^e. |
| title | The external version of a subclassical logic |
| topic | Logic |
| url | https://arxiv.org/abs/2502.08257 |