The External Version of a Subclassical Logic
Year: 2025
Type: article
Abstract: A three-valued logic 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 can be expanded with special unary connectives, called external operators . The resulting logic is called the external version of , 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 . We determine sufficient and necessary conditions to turn a model of into a model of . Moreover, we establish some distinctive semantic properties of .
Source: The Review of Symbolic Logic
Authors: MASSIMILIANO CARRARA, MICHELE PRA BALDI
Institution: University of Padua
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
Estimated APC paid: $3,550
OpenAlex ID: W4416731345
FWCI:
Cites:
Cited by:
Related to: