Almost structurally complete infinitary consequence operations extending S4.3

DOI10.1093/JIGPAL/JZV024zbMath1405.03050OpenAlexW2293905273MaRDI QIDQ4644526

Wojciech Dzik, Piotr Wojtylak

Publication date: 8 January 2019

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

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

zbMATH Keywords

unificationmodal logicsadmissible rulealmost structural completenessfinite approximability

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

Related Items (1)

UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS

This page was built for publication: Almost structurally complete infinitary consequence operations extending S4.3