scientific article; zbMATH DE number 3382303

zbMATH Open0242.02018MaRDI QIDQ5652648FDOQ5652648

John A. Kalman

Publication date: 1971

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Many-valued logic (03B50) Abelian groups (20K99) General logic (03B99) Axiomatic model classes (08C10) Foundations (20A99)

Cited In (2)

• A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains
• The two-property and condensed detachment

This page was built for publication:

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