Tracks of relations and equivalences-based reasoning
type: Item
instance of: scholarly article
title: Tracks of relations and equivalences-based reasoning
zbMATH Open document ID: 1232.03024
author: Yong-Cai Geng
author: Sumit K. Garg
published in: Studia Logica
publication date: 2011-05-27T00:00:00Z
Mathematics Subject Classification ID: 03C07
Mathematics Subject Classification ID: 03B20
zbMATH DE Number: 5900602
zbMATH Keywords: restricted predicate calculus
zbMATH Keywords: elementary theories
zbMATH Keywords: embedding procedure
zbMATH Keywords: tracks of relation
zbMATH Keywords: finite axiomatizability
MaRDI profile type: Publication
full work available at URL: s11225-011-9316-4
OpenAlex ID: W2081293693
cites work: Q3235339
cites work: Q5610989
cites work: Steps toward a constructive nominalism
cites work: Q5687861
cites work: THE TERNARY DESCRIPTION LANGUAGE AS A FORMALISM FOR THE PARAMETRIC GENERAL SYSTEMS THEORY: PART 1
DOI: 10.1007/S11225-011-9316-4
description: scientific article; zbMATH DE number 5900602