LC and Its Pretabular Relatives

DOI10.1007/978-3-319-29300-4_5zbMath1439.03051OpenAlexW2466055390MaRDI QIDQ3305421

Larisa 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

zbMATH Keywords

modal logicsuperintuitionistic logicminimal 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)

Related Items (4)

A second pretabular classical relevance logic ⋮ Unification in pretabular extensions of S4 ⋮ Two pretabular linear extensions of relevance logic R ⋮ Simple axiomatizations for pretabular classical relevance logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Der Verband der normalen verzweigten Modallogiken
• Recognizable logics
• Constructive negations and paraconsistency
• Pretabular varieties of modal algebras
• A lattice of normal modal logics
• Pretabular extensions of Lewis S4
• Admissibility of logical inference rules
• Complexity of some problems in positive and related calculi
• Pretabular superintuitionistic logic
• A propositional calculus with denumerable matrix
• A method of proving interpolation in paraconsistent extensions of the minimal logic
• Five critical modal systems
• Strongly decidable properties of modal and intuitionistic calculi
• Complexity of interpolation and related problems in positive calculi
• Computer Science 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
• Algebraic completeness results for R-mingle and its extensions
• Algebraic Completeness Results for Dummett's LC and Its Extensions
• On intermediate propositional logics
• Some theorems about the sentential calculi of Lewis and Heyting
• Extensions of the Lewis system S5

This page was built for publication: LC and Its Pretabular Relatives