Rules of inference with parameters for intuitionistic logic
From MaRDI portal
Publication:4032871
DOI10.2307/2275439zbMath0788.03007OpenAlexW2168410054MaRDI QIDQ4032871
Vladimir Vladimirovich Rybakov
Publication date: 1 April 1993
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275439
intuitionistic propositional calculusfinite Kripke modelsalgorithm for deciding admissibility with parameters
Related Items
Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property, 1995–1996 Winter Meeting of the Association for Symbolic Logic, Admissible bases via stable canonical rules, A Tableau Method for Checking Rule Admissibility in S4, Multiagent temporal logics, unification problems, and admissibilities, Multi-agent logics with dynamic accessibly relations, projective unifiers, 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 admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\), Dynamic temporal logical operations in multi-agent logics, Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL, Admissibility and unification in the modal logics related to S4.2, Hereditarily structurally complete intermediate logics: Citkin's theorem via duality, Best unifiers in transitive modal logics, Extendible formulas in two variables in intuitionistic logic, 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, Linear temporal logic with until and next, logical consecutions, Inference Rules in Multi-agents’ Temporal Logics, Unification in linear temporal logic LTL, The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\), Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic, The Context of Inference, On Finite Model Property for Admissible Rules, Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK, DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV, Canonical Extensions, Esakia Spaces, and Universal Models, Inference rules in Nelson's logics, admissibility and weak admissibility
Cites Work
