Tracks of relations and equivalences-based reasoning
From MaRDI portal
Publication:539158
DOI10.1007/s11225-011-9316-4zbMath1232.03024MaRDI QIDQ539158
Publication date: 27 May 2011
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-011-9316-4
finite axiomatizability; elementary theories; embedding procedure; restricted predicate calculus; tracks of relation
03B20: Subsystems of classical logic (including intuitionistic logic)
03C07: Basic properties of first-order languages and structures