Exact Unification and Admissibility

DOI10.2168/LMCS-11(3:23)2015zbMath1384.08001arXiv1410.5583MaRDI QIDQ3196355

George Metcalfe, Leonardo Manuel Cabrer

Publication date: 29 October 2015

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1410.5583

zbMATH Keywords

free algebraunificationadmissibilityequational class

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Other algebras related to logic (03G25) Pseudocomplemented lattices (06D15) Free algebras (08B20) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)

Related Items (3)

E-Unification based on Generalized Embedding ⋮ Structural and universal completeness in algebra and logic ⋮ UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS

This page was built for publication: Exact Unification and Admissibility