LC and its pretabular relatives

DOI10.1007/978-3-319-29300-4_5zbMATH Open1439.03051OpenAlexW2466055390MaRDI QIDQ3305421FDOQ3305421

Authors: L. L. Maksimova 

Publication date: 7 August 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-29300-4_5

Recommendations

• Two pretabular linear extensions of relevance logic R
• A second pretabular classical relevance logic
• A pretabular classical relevance logic
• There exists an uncountable set of pretabular extensions of the relevant logic R and each logic of this set is generated by a variety of finite height
• On pretabular logics in NExtK4. II

zbMATH Keywords

modal logicminimal logicsuperintuitionistic logicpretabular logictabularity problem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Title not available (Why is that?)
• Admissibility of logical inference rules
• A propositional calculus with denumerable matrix
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some theorems about the sentential calculi of Lewis and Heyting
• Extensions of the Lewis system S5
• Constructive negations and paraconsistency
• Algebraic completeness results for R-mingle and its extensions
• Title not available (Why is that?)
• A method of proving interpolation in paraconsistent extensions of the minimal logic
• A lattice of normal modal logics
• Pretabular extensions of Lewis S4
• Five critical modal systems
• Pretabular varieties of modal algebras
• Title not available (Why is that?)
• Der Verband der normalen verzweigten Modallogiken
• Pretabular superintuitionistic logic
• Recognizable logics
• Complexity of some problems in positive and related calculi
• Complexity of interpolation and related problems in positive calculi
• Computer Science Logic
• Title not available (Why is that?)
• Algebraic Completeness Results for Dummett's LC and Its Extensions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Strongly decidable properties of modal and intuitionistic calculi
• On intermediate propositional logics
• There exists an uncountable set of pretabular extensions of the relevant logic R and each logic of this set is generated by a variety of finite height

Cited In (6)

• Unification in pretabular extensions of S4
• Title not available (Why is that?)
• On pretabular extensions of relevance logic
• Simple axiomatizations for pretabular classical relevance logics
• A second pretabular classical relevance logic
• Two pretabular linear extensions of relevance logic R

This page was built for publication: LC and its pretabular relatives

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