Encoding two-valued non-classical logics in classic logic

Andreas Nonnengart, Hans Jürgen Ohlbach, Dov M. Gabbay

Max Planck Institute for Plasma Physics · 2001 · 15 citations · 0 references

Concepts