Nonstandard Consequence Operators Generated By Mixed Logic-Systems

From MaRDI portal



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.












This page was built for publication: Nonstandard Consequence Operators Generated By Mixed Logic-Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6474912)