Three-element non-finitely axiomatizable matrices and term-equivalence

DOI10.12775/LLP.2014.010zbMath1364.03020OpenAlexW2034524712MaRDI QIDQ2987725

Katarzyna Pałasińska

Publication date: 18 May 2017

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.2014.010

zbMATH Keywords

matrixterm-equivalencefinite axiomatizaton

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 2-element matrices
• Three-element nonfinitely axiomatizable matrices
• No matrix term-equivalent to Wroński's 3-element matrix is finitely based
• Algebraizable logics
• FINITE REPLACEMENT AND FINITE HILBERT‐STYLE AXIOMATIZABILITY

This page was built for publication: Three-element non-finitely axiomatizable matrices and term-equivalence