scientific article; zbMATH DE number 5592264

zbMATH Open1199.03002MaRDI QIDQ5324977FDOQ5324977

Authors: I. G. Simonova 

Publication date: 8 August 2009

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

local tabularitylattice of expansionsprelocal tabularityprovable-intuitionistic logic

Mathematics Subject Classification ID

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

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)