General logic-systems and finite consequence operators

DOI10.1007/S11787-006-0010-7zbMath1163.03012OpenAlexW2052908083MaRDI QIDQ874755

Robert A. Herrmann

Publication date: 10 April 2007

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

Full work available at URL: https://doi.org/10.1007/s11787-006-0010-7

zbMATH Keywords

consequence operatorrules of inferencelogic-system

Mathematics Subject Classification ID

Logic of natural languages (03B65) Abstract deductive systems (03B22)

This page was built for publication: General logic-systems and finite consequence operators