Automatic checking properties of non-classical logics

DOI10.3166/jancl.16.507-516zbMath1186.03022OpenAlexW2025362088MaRDI QIDQ3647252

Pavel Schreiner

Publication date: 30 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.16.507-516

zbMATH Keywords

modal logicsinterpolation propertiessuperintuitionistic logicsautomatic recognitionpositive logicspretabular propertytabular property

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Mechanization of proofs and logical operations (03B35) Intermediate logics (03B55)

Cites Work

• Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
• Interpolation theorems in modal logics. Sufficient conditions
• Pretabular superintuitionistic logic
• Unnamed Item

This page was built for publication: Automatic checking properties of non-classical logics