Ingrid M. Rewitzky

1968

• Dualities for structures of applied logics
• Proof-theoretic semantics