Abstract
Explicit axioms relating and appear to be needed if is taken to be primitive. We prove that such axioms are in fact indispensable.
Citation
Richmond Thomason. "Independence of the Dual Axiom in Modal with Primitive ." Notre Dame J. Formal Logic 59 (3) 381 - 385, 2018. https://doi.org/10.1215/00294527-3817906
Information
Received: 20 October 2012; Accepted: 10 July 2014; Published: 2018
First available in Project Euclid: 9 February 2017
zbMATH: 06939326
MathSciNet: MR3832087
Digital Object Identifier: 10.1215/00294527-3817906
Subjects:
Primary:
03B45
Secondary:
03B50
Keywords:
many-valued logic
,
modal logic
Rights: Copyright © 2018 University of Notre Dame