Three-element nonfinitely axiomatizable matrices
From MaRDI portal
Publication:1337599
DOI10.1007/BF01057933zbMath0808.03004MaRDI QIDQ1337599
Publication date: 10 November 1994
Published in: Studia Logica (Search for Journal in Brave)
Related Items
Axiomatizing non-deterministic many-valued generalized consequence relations ⋮ Three-element non-finitely axiomatizable matrices and term-equivalence
Cites Work