Canonical rules

DOI10.2178/JSL/1254748686MaRDI QIDQ3655251zbMATH OpenOpenAlexWikidataFDO

Authors Emil Jeřábek

Publication date 7 January 2010

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2178/jsl/1254748686

zbMATH Keywords

intermediate logicmodal logicinference ruleadmissible rule.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Recommendations

• Admissible bases via stable canonical rules
• Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
• The decidability of admissibility problems for modal logics S4.2 and S4.2Grz and superintuitionistic logic KC
• Complexity of admissible rules
• Independent Bases of Admissible Rules
• CRITERIA FOR ADMISSIBILITY OF RULES OF INFERENCE WITH PARAMETERS IN THE INTUITIONISTIC PROPOSITIONAL CALCULUS
• On rules
• Admissible Rules of Lukasiewicz Logic
• Describing a basis in semireduced form for inference rules of intuitionistic logic
• Admissibility of logical inference rules

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3112788 (Why is no real title available?)
• A lattice of normal modal logics
• Admissible Rules of Modal Logics
• An almost general splitting theorem for modal logic
• Best solving modal equations
• Canonical formulas for K4. Part I: Basic results
• Complexity of admissible rules
• Decidable modal logic with undecidable admissibility problem
• Frege systems for extensible modal logics
• Independent Bases of Admissible Rules
• Intermediate logics and Visser's rules
• Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms
• Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
• Logical consecutions in discrete linear temporal logic
• MODAL COMPANIONS OF SUPERINTUITIONISTIC LOGICS: SYNTAX, SEMANTICS, AND PRESERVATION THEOREMS
• On the rules of intermediate logics
• Splitting lattices of logics
• Tense Logic Without Tense Operators
• Unification in intuitionistic logic
• Unification of concept terms in description logics

Cited in

(25)

• Canonical formulas for \(k\)-potent commutative, integral, residuated lattices
• Intermediate logics admitting a structural hypersequent calculus
• On rules
• Complexity of the universal theory of modal algebras
• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
• Rules with parameters in modal logic. II.
• A model theory of topology
• Admissibility in positive logics
• Admissible bases via stable canonical rules
• A meta-logic of inference rules: syntax
• Characteristic inference rules
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics
• Rules with parameters in modal logic. I.
• Computational complexity for bounded distributive lattices with negation
• Stable canonical rules for intuitionistic modal logics
• Blok-Esakia theorems via stable canonical rules
• On the Blok-Esakia theorem
• The bounded proof property via step algebras and step frames
• Canonicity!
• Stable canonical rules
• Rules and Derived Rules
• Multiple conclusion rules in logics with the disjunction property
• Stable modal logics
• Complexity of the universal theory of residuated ordered groupoids
• Cofinal stable logics

This page was built for publication: Canonical rules

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