On rules
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3112788 (Why is no real title available?)
- scientific article; zbMATH DE number 4139716 (Why is no real title available?)
- scientific article; zbMATH DE number 31604 (Why is no real title available?)
- scientific article; zbMATH DE number 3534489 (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 3639589 (Why is no real title available?)
- scientific article; zbMATH DE number 1497485 (Why is no real title available?)
- scientific article; zbMATH DE number 2108194 (Why is no real title available?)
- scientific article; zbMATH DE number 2108198 (Why is no real title available?)
- scientific article; zbMATH DE number 759441 (Why is no real title available?)
- scientific article; zbMATH DE number 3339356 (Why is no real title available?)
- scientific article; zbMATH DE number 966894 (Why is no real title available?)
- A Resolution/Tableaux Algorithm for Projective Approximations in IPC
- A structurally complete fragment of relevant logic
- A syntactic approach to unification in transitive reflexive modal logics
- Admissibility of logical inference rules
- Admissible Rules of Lukasiewicz Logic
- Admissible Rules of Modal Logics
- Admissible rules in the implication-negation fragment of intuitionistic logic
- Algebraic semantics for the \((\leftrightarrow, \neg \neg)\)-fragment of IPC
- An alternative rule of disjunction in modal logic
- Bases of admissible rules of Łukasiewicz logic
- Best solving modal equations
- Canonical formulas for K4. Part I: Basic results
- Canonical formulas for K4. Part II: Cofinal subframe logics
- Canonical formulas for K4. Part III: the finite model property
- Canonical rules
- Complexity of admissible rules
- Decidable modal logic with undecidable admissibility problem
- Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
- Independent Bases of Admissible Rules
- Intermediate logics and Visser's rules
- Linear temporal logic LTL: basis for admissible rules
- MODAL COMPANIONS OF SUPERINTUITIONISTIC LOGICS: SYNTAX, SEMANTICS, AND PRESERVATION THEOREMS
- On the admissible rules of intuitionistic propositional logic
- On the structural completeness of some pure implicational propositional calculi
- On two problems of Harvey Friedman
- 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
- Some admissible rules in nonnormal modal systems
- Structural Completeness in Substructural Logics
- Structural completeness in fuzzy logics
- Structural completeness of the first‐order predicate calculus
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
- Theory of logical calculi. Basic theory of consequence operations
- UNIFICATION IN INTERMEDIATE LOGICS
- 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 intuitionistic logic
- Unification theory
- Unification, finite duality and projectivity in varieties of Heyting algebras
- Writing out Unifiers in Linear Temporal Logic
Cited in
(19)- Escapist policy rules
- A syntactic approach to unification in transitive reflexive modal logics
- Complexity of the universal theory of modal algebras
- Intermediate logics and Visser's rules
- Logic Discovered and Logic Imposed (A Purim Story)
- Almost structural completeness; an algebraic approach
- Consequence relations and admissible rules
- Rules and arithmetics
- Policy rules in practice
- scientific article; zbMATH DE number 1956550 (Why is no real title available?)
- Computational complexity for bounded distributive lattices with negation
- Deductive systems with multiple-conclusion rules and the disjunction property
- What is an inference rule?
- Preservation of admissible rules when combining logics
- Admissible Rules of Lukasiewicz Logic
- Canonical rules
- scientific article; zbMATH DE number 3873309 (Why is no real title available?)
- Rules and Derived Rules
- Complexity of the universal theory of residuated ordered groupoids
This page was built for publication: On rules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q266650)
