scientific article; zbMATH DE number 91424

zbMATH Open0763.03018MaRDI QIDQ4017433FDOQ4017433

Authors: Hiroyoshi Tabata, Kenichi Aragane 

Publication date: 16 January 1993

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

Recommendations

• scientific article; zbMATH DE number 4035796
• scientific article; zbMATH DE number 4170989
• scientific article; zbMATH DE number 1873279
• Freeness in classes without equality
• A generalization of abstract model theory

zbMATH Keywords

consistencyuniversal Horn sentencescanonical structuresgeneralized free structure

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Basic properties of first-order languages and structures (03C07)

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 Q4017433)