A Determinate Logic

DOI10.1017/S002776300001357XMaRDI QIDQ5590053zbMATH OpenOpenAlexFDO

Authors Gaisi Takeuti

Publication date 1970

Published in Nagoya Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s002776300001357x

zbMATH Keywords

algebraic logic, model theory

Cites work

• A formal system of first-order predicate calculus with infinitely long expressions

Cited in

(2)

• A heterogeneous interpolant
• Completeness of infinitary heterogeneous logic

This page was built for publication: A Determinate Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5590053)