Finite structural axiomatization of every finite-valued propositional calculus

DOI10.1007/BF00373093zbMath0446.03023OpenAlexW2300739MaRDI QIDQ1145693

Zdzisław Dywan

Publication date: 1980

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00373093

zbMATH Keywords

finite structural axiomatizationfinite-valued propositional calculusstrongly finite consequence operation

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Many-valued logic (03B50) General logic (03B99)

Cites Work

• On finitely based consequence operations
• Unnamed Item

This page was built for publication: Finite structural axiomatization of every finite-valued propositional calculus