Rough Indeterminacy in Non-Algebraizable Logics
摘要
We introduce a general rough set–based semantic framework for propositional logics that are not algebraizable in the sense of Blok–Pigozzi. The approach is based on the identification of a well-behaved algebraizable fragment of the language, which is interpreted as an observational level over the space of algebraic valuations. This restriction induces a natural indistinguishability relation and, consequently, non-trivial rough approximations in the sense of Pawlak. Within this setting, semantic indeterminacy emerges as a structural phenomenon generated by the loss of algebraic information under projection onto the chosen fragment. In particular, formulas whose semantic values cannot be reconstructed from the observational level give rise to non-empty rough boundaries. This motivates the notion of rough indeterminacy, which is defined and characterized independently of the derivability of explicit contradictions. The paraconsistent logic