scientific article; zbMATH DE number 2154091

zbMath1061.03032MaRDI QIDQ4664638

M. V. Stukacheva

Publication date: 8 April 2005

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

paraconsistencydisjunction propertyminimal logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Related Items (8)

Recognizability of all WIP-minimal logics ⋮ Recognizable logics ⋮ The decidability of Craig's interpolation property in well-composed J-logics ⋮ Perceptibility in pre-Heyting logics ⋮ Interpolation and definability over the logic Gl ⋮ On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic ⋮ Recognizability in pre-Heyting and well-composed logics ⋮ Decidability of the weak interpolation property over the minimal logic

This page was built for publication: