Tutorial on admissible rules in Gudauri

DOI10.1007/978-3-662-46906-4_2MaRDI QIDQ3455180zbMATH OpenOpenAlexFDO

Authors Rosalie Iemhoff

Publication date 3 December 2015

Published in Logic, Language, and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-46906-4_2

zbMATH Keywords

admissible rulesconsequence relationslogic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Abstract deductive systems (03B22) Decidability of theories and sets of sentences (03B25)

Recommendations

• Proof theory for admissible rules
• Admissible rules: from characterizations to applications
• ADMISSIBILITY OF RULES OF INFERENCE, AND LOGICAL EQUATIONS, IN MODAL LOGICS AXIOMATIZING PROVABILITY
• Rule-Generation Theorem and its Applications
• Admissible Rules of Modal Logics

Cites work

• A Resolution/Tableaux Algorithm for Projective Approximations in IPC
• A structurally complete fragment of relevant logic
• Admissibility of logical inference rules
• Admissible rules in the implication-negation fragment of intuitionistic logic
• Admissible Rules of Modal Logics
• Algebraic semantics for the (, )-fragment of IPC
• An alternative rule of disjunction in modal logic
• Blending margins: the modal logic K has nullary unification type
• Complexity of admissible rules
• Decidable modal logic with undecidable admissibility problem
• scientific article; zbMATH DE number 31604 (Why is no real title available?)
• scientific article; zbMATH DE number 3557746 (Why is no real title available?)
• scientific article; zbMATH DE number 3557753 (Why is no real title available?)
• scientific article; zbMATH DE number 2108198 (Why is no real title available?)
• scientific article; zbMATH DE number 3339356 (Why is no real title available?)
• Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
• Intermediate logics and Visser's rules
• Linear temporal logic LTL: basis for admissible rules
• On the structural completeness of some pure implicational propositional calculi
• On unification and admissible rules in Gabbay-de Jongh logics
• Proof theory for admissible rules
• Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition
• Rules and arithmetics
• Simple consequence relations
• Structural completeness of Gödel's and Dummett's propositional calculi
• Structural completeness of the first‐order predicate calculus
• Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
• Undecidability of the unification and admissibility problems for modal and description logics
• Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
• UNIFICATION IN INTERMEDIATE LOGICS
• Unification in intuitionistic logic
• Unification, finite duality and projectivity in varieties of Heyting algebras
• Writing out Unifiers in Linear Temporal Logic

This page was built for publication: Tutorial on admissible rules in Gudauri

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