Recognizable and perceptible logics and varieties (Q683376)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Recognizable and perceptible logics and varieties	scientific article

Statements

scholarly article

0 references

Recognizable and perceptible logics and varieties (English)

0 references

Algebra and Logic

0 references

publication date

6 February 2018

0 references

Larisa L. Maksimova

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/s10469-017-9444-7

0 references

Strongly decidable properties of modal and intuitionistic calculi

0 references

0 references

Recognizable logics

0 references

Strong decidability and strong recognizability

0 references

Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)

0 references

Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras

0 references

The tabularity problem over the minimal logic

0 references

Decidability of the weak interpolation property over the minimal logic

0 references

The projective Beth property in well-composed logics

0 references

Pretabular extensions of Lewis S4

0 references

Five critical modal systems

0 references

Restricted interpolation over modal logic S4

0 references

Interpolation in weakly transitive modal logics

0 references

Admissibility of logical inference rules

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

10.1007/S10469-017-9444-7

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:683376

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q683376&oldid=38444872"