Globally admissible inference rules

DOI10.26516/1997-7670.2022.42.138OpenAlexW4312592590MaRDI QIDQ2685547

Vitaliĭ Valentinovich Rimatskiĭ

Publication date: 22 February 2023

Published in: Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika (Search for Journal in Brave)

Full work available at URL: https://mathizv.isu.ru/en/article/file?id=1436

zbMATH Keywords

modal logicframe and model Kripkeadmissible and globally admissible inference rule

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Relative consistency and interpretations (03F25)

Cites Work

• Table admissible inference rules
• Admissible inference rules and semantic property of modal logics
• Independent bases for admissible rules of pretabular modal logic and its extensions
• Bases of admissible rules of the logics S4 and Int
• Admissibility of logical inference rules
• One hundred and two problems in mathematical logic
• A(nother) characterization of intuitionistic propositional logic
• Unnamed Item

This page was built for publication: Globally admissible inference rules