Explicit basis for admissible rules in K-saturated tabular logics

DOI10.1515/DMA-2023-0011OpenAlexW4363673393MaRDI QIDQ6043885FDOQ6043885

Authors: V. V. Rimatskij 

Publication date: 25 May 2023

Published in: Discrete Mathematics and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/dma-2023-0011

zbMATH Keywords

admissible inference rulebasis admissible rulesKripke frame (model)

Mathematics Subject Classification ID

General logic (03Bxx) Mathematical logic and foundations (03-XX) Algebraic logic (03Gxx)

Cites Work

• Admissibility of logical inference rules
• On the admissible rules of intuitionistic propositional logic
• Title not available (Why is that?)
• Construction of an explicit basis for rules admissible in modal system S4
• One hundred and two problems in mathematical logic
• Title not available (Why is that?)
• A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
• Bases of admissible rules for \(K\)-saturated logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• An explicit basis for admissible rules of modal logics of finite width
• Independent bases for admissible rules of pretabular modal logic and its extensions
• Bases of admissible inference rules in tabular modal logics of depth 2

Cited In (1)

• Tabular Logics with no Finite Bases for Inference Rules

This page was built for publication: Explicit basis for admissible rules in \(K\)-saturated tabular logics

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