• Computer Science, Mathematics
  • Published in J. Symb. Log. 1959
  • DOI:10.2307/2964754

Modalities in Ackermann's "Rigorous Implication"

@article{Anderson1959ModalitiesIA,
  title={Modalities in Ackermann's "Rigorous Implication"},
  author={Alan Ross Anderson and Nuel Belnap},
  journal={J. Symb. Log.},
  year={1959},
  volume={24},
  pages={107-111}
}

Topics from this paper.

Citations

Publications citing this paper.

References

Publications referenced by this paper.
SHOWING 1-5 OF 5 REFERENCES

Begrundung Einer Strengen Implikation

  • J. Symb. Log.
  • 1956
VIEW 15 EXCERPTS
HIGHLY INFLUENTIAL

review of [1

ABRAHAM ROBINSON
  • Mathematical reviews, vol. 18
  • 1957

review of [1

ALAN Ross ANDERSON
  • this JOURNAL, vol. 22
  • 1957
VIEW 2 EXCERPTS

Der Minimalkalkiil

I. JOHANNSON
  • ein reduzierter intuitionistischer Formalismus, Compositio mathematica, vol. 4
  • 1936
VIEW 2 EXCERPTS