Rules of inference with parameters for intuitionistic logic
From MaRDI portal
(Redirected from Publication:4032871)
Recommendations
Cited in
(44)- A tableau method for checking rule admissibility in S4
- Unification in linear temporal logic LTL
- Inference rules in Nelson's logics, admissibility and weak admissibility
- scientific article; zbMATH DE number 3557753 (Why is no real title available?)
- Linear temporal logic with until and next, logical consecutions
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
- Multiagent temporal logics, unification problems, and admissibilities
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
- Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property
- Intermediate logics and Visser's rules
- Unification, finite duality and projectivity in varieties of Heyting algebras
- Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition
- Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK
- 1995–1996 Winter Meeting of the Association for Symbolic Logic
- Admissibility and unification in the modal logics related to S4.2
- Rules and meta-rules in the framework of possibility theory and possibilistic logic
- Admissible bases via stable canonical rules
- Admissible and derivable rules in intuitionistic logic
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
- Canonical extensions, Esakia spaces, and universal models
- The decidability of dependency in intuitionistic propositional logic
- Best unifiers in transitive modal logics
- Extendible formulas in two variables in intuitionistic logic
- Rules with parameters in modal logic. I.
- scientific article; zbMATH DE number 5041127 (Why is no real title available?)
- Notes on my scientific life
- Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms
- Inference rules in multi-agents' temporal logics
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
- Relative unification in intuitionistic logic: towards the provability logic of HA
- Multi-agent logics with dynamic accessibly relations, projective unifiers
- On the admissible rules of intuitionistic propositional logic
- Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL
- The permutability of rules in the classical inferential calculus
- CRITERIA FOR ADMISSIBILITY OF RULES OF INFERENCE WITH PARAMETERS IN THE INTUITIONISTIC PROPOSITIONAL CALCULUS
- Describing a basis in semireduced form for inference rules of intuitionistic logic
- On Finite Model Property for Admissible Rules
- Admissible Rules of Lukasiewicz Logic
- The context of inference
- Investigating definability in propositional logic via sheaves on Grothendieck topologies
- Dynamic temporal logical operations in multi-agent logics
- On the theory of epistemic Łukasiewicz logic corresponding to the Chang algebra with application in immune system
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
- Multi-agent temporal logics, information, unification, and projectivity
This page was built for publication: Rules of inference with parameters for intuitionistic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4032871)
