Exponentials as Projections fromParaconsistent

@inproceedings{Patterson1997ExponentialsAP,
  title={Exponentials as Projections fromParaconsistent},
  author={L F Patterson},
  year={1997}
}
An exponential is a unary operator, reminiscent of a modality. We suggest that exponentials be regarded as logic transformers, transforming paraconsistent logics to consistent logics. Consistent logics may appear as certain syntactic subsets of para-consistent logics. We consider this embedding algebraically and see that an exponential is both a projection and an interior operation. We consider herein a logic constructible duality which is a conservative extension of the paraconsistent version… CONTINUE READING

Citations

Publications citing this paper.

On strong negation as linear duality

View 4 Excerpts
Highly Influenced

References

Publications referenced by this paper.
Showing 1-2 of 2 references

Linear logic

David Nelson
Theoretical Computer Science • 1987

Constructible falsity

David Nelson, Ahmad Almukdad
Journal of Symbolic Logic • 1949

Similar Papers

Loading similar papers…