Admissibility in Finitely Generated Quasivarieties

DOI10.2168/LMCS-9(2:9)2013zbMath1297.03009arXiv1305.3530MaRDI QIDQ2838238

George Metcalfe, Christoph Röthlisberger

Publication date: 9 July 2013

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

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

zbMATH Keywords

free algebraquasivarietyunificationfinite algebraadmissibility

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50) Quasivarieties (08C15)

Related Items (12)

Almost structural completeness; an algebraic approach ⋮ Singly generated quasivarieties and residuated structures ⋮ Hereditarily structurally complete intermediate logics: Citkin's theorem via duality ⋮ Checking Admissibility Using Natural Dualities ⋮ Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic ⋮ Finitary extensions of the nilpotent minimum logic and (almost) structural completeness ⋮ Deciding active structural completeness ⋮ Sugihara algebras: admissibility algebras via the test spaces method ⋮ VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS ⋮ Structural completeness in many-valued logics with rational constants ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV ⋮ Admissibility via natural dualities

Uses Software

• TAFA

This page was built for publication: Admissibility in Finitely Generated Quasivarieties