From the research on logics without tautologies (part 2)

DOI10.1093/JIGPAL/JZS041zbMath1272.03067OpenAlexW2916504384MaRDI QIDQ4925171

Leszek Jaworski

Publication date: 11 June 2013

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzs041

zbMATH Keywords

consequence operationlogical matrixlogic without tautologiesrule characterization

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

This page was built for publication: From the research on logics without tautologies (part 2)