DISTRIBUTIVE NORMAL FORMS AND DEDUCTIVE INTERPOLATION

DOI10.1002/malq.19640101302zbMath0207.29001OpenAlexW1983765202MaRDI QIDQ5607955

Jaakko Hintikka

Publication date: 1964

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19640101302

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10)

Related Items (2)

A sequent calculus for a negative free logic ⋮ Inductive systematization: Definition and a critical survey

This page was built for publication: DISTRIBUTIVE NORMAL FORMS AND DEDUCTIVE INTERPOLATION