Pretabular superintuitionistic logic

DOI10.1007/BF02330744zbMATH Open0275.02027MaRDI QIDQ2265416FDOQ2265416

Authors: L. L. Maksimova 

Publication date: 1974

Published in: Algebra and Logic (Search for Journal in Brave)

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cites Work

• A propositional calculus with denumerable matrix
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic Completeness Results for Dummett's LC and Its Extensions
• Some results for implicational calculi

Cited In (31)

• Dummett Logic, Irreflexive Modality and Novikov Completeness
• Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi
• Epimorphisms in varieties of residuated structures
• Generalized Kripke semantics for Nelson's logic
• A semantic hierarchy for intuitionistic logic
• The interpolation problem in finite-layered pre-Heyting logics
• Profiniteness and representability of spectra of Heyting algebras
• LC and Its Pretabular Relatives
• Layers over minimal logic
• Irreflexive modality, the Dummett logic, and continual chains
• On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview
• A “Reply” to My “Critics”
• Irreflexive modality on a chain of type \(\omega\) and P. S. Novikov completeness
• Unification types and union splittings in intermediate logics
• Automatic checking properties of non-classical logics
• Profinite completions and canonical extensions of Heyting algebras
• The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
• Irreflexive modality as a new logical connective in the Dummett logic
• New constants in two pretabular superintuitionistic logics
• Finitary unification in locally tabular modal logics characterized
• On pretabular extensions of relevance logic
• Natural extensions and profinite completions of algebras
• Constructive classifications of modal logics and extensions of minimal logic
• A new constant in superintuitionistic logic L3
• The structure of slices over minimal logic
• Recognizable logics
• Pretabularity and Craig's interpolation property
• A second pretabular classical relevance logic
• The tabularity problem over the minimal logic
• A pretabular classical relevance logic
• Two pretabular linear extensions of relevance logic R

This page was built for publication: Pretabular superintuitionistic logic

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