Admissibility in Finitely Generated Quasivarieties
From MaRDI portal
Publication:2838238
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
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
This page was built for publication: Admissibility in Finitely Generated Quasivarieties
