Some analytic systems of rules
type: Item
instance of: scholarly article
title: Some analytic systems of rules
DOI: 10.1007/978-3-031-43513-3_6
author: Timo Lang
publication date: 2024-05-17T00:00:00Z
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7850740
MaRDI profile type: Publication
cites work: UNSOUND INFERENCES MAKE PROOFS SHORTER
cites work: Q3837723
cites work: Hypersequent Calculi for S5: The Methods of Cut Elimination
cites work: Display logic
cites work: Q3408862
cites work: A cut-free Gentzen-type system for the logic of the weak law of excluded middle
cites work: Deep sequent systems for modal logic
cites work: Hypersequents and Systems of Rules
cites work: Pseudo two-valued evaluation method for intermediate logics
cites work: Grafting hypersequents onto nested sequents
cites work: From Frame Properties to Hypersequent Rules in Modal Logics
cites work: Strongly analytic tableaux for normal modal logics
cites work: Proof analysis in modal logic
cites work: Proof analysis beyond geometric theories: from rule systems to systems of rules
cites work: Generic Modal Cut Elimination Applied to Conditional Logics
cites work: Q5457387
cites work: Q3474634
cites work: The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
description: scientific article; zbMATH DE number 7850740