Tracks of relations and equivalences-based reasoning

DOI10.1007/s11225-011-9316-4zbMath1232.03024OpenAlexW2081293693MaRDI QIDQ539158

Yong-Cai Geng, Sumit K. Garg

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

zbMATH Keywords

finite axiomatizabilityelementary theoriesembedding procedurerestricted predicate calculustracks of relation

Mathematics Subject Classification ID

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

Related Items (1)

Propositional epistemic logics with quantification over agents of knowledge (an alternative approach)

Cites Work

• THE TERNARY DESCRIPTION LANGUAGE AS A FORMALISM FOR THE PARAMETRIC GENERAL SYSTEMS THEORY: PART 1
• Steps toward a constructive nominalism
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Tracks of relations and equivalences-based reasoning