scientific article; zbMATH DE number 5592264

MaRDI QIDQ5324977zbMATH OpenFDO

Authors I. G. Simonova

Publication date 8 August 2009

zbMATH Keywords

local tabularitylattice of expansionsprelocal tabularityprovable-intuitionistic logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Tableaux for intuitionistic logics
• Finite axiomatizability of locally tabular superintuitionistic logics
• Tableau calculus for local cubic modal logic and its implementation
• A Local System for Intuitionistic Logic
• Some locally tabular logics with contraction and mingle
• A tableaux calculus for default intuitionistic logic
• scientific article; zbMATH DE number 1292293
• Table-analytical axiomatizations of expansions of logic Par
• Logics for extensional, locally complete analysis via domain refinements
• A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications

Cited in

(1)

• Locality and Applications to Subsumption Testing in EL and Some of its Extensions

This page was built for publication:

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