Automatic checking properties of non-classical logics

DOI10.3166/JANCL.16.507-516MaRDI QIDQ3647252zbMATH OpenOpenAlexFDO

Authors 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

automatic recognitioninterpolation propertiesmodal logicspositive logicspretabular propertysuperintuitionistic logicstabular property

Mathematics Subject Classification ID

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

Cites work

• Algorithms for the recognition of tabularity and pretabularity in extensions of the intuitionistic calculus
• Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
• Interpolation theorems in modal logics. Sufficient conditions
• Pretabular superintuitionistic logic

Cited in

(1)

• Combining and automating classical and non-classical logics in classical higher-order logics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3647252)