Nonstandard Consequence Operators Generated By Mixed Logic-Systems

TL;DR

This paper demonstrates that mixed logic-systems with standard and nonstandard values generate internal nonstandard consequence operators, expanding understanding of their logical properties.

Contribution

It introduces a method to generate internal nonstandard consequence operators from mixed logic-systems, a novel approach in logic theory.

Findings

Mixed logic-systems produce internal nonstandard consequence operators.

The paper establishes a link between mixed logic-systems and nonstandard consequence operators.

Abstract

Mixed logic-systems contain both standard and nonstandard coordinate values. In this paper, it is shown that each of the specifically defined mixed logic-systems generates an internal nonstandard consequence operator.