Admissibility of logical inference rules
From MaRDI portal
Publication:1309039
zbMath0872.03002MaRDI QIDQ1309039
Vladimir Vladimirovich Rybakov
Publication date: 25 November 1993
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
modal logicpossible worlds semanticsderivabilityalgebraic semanticsintuitionistic logictemporal logicadmissible rulesfree algebrassuperintuitionistic logicsyntaxstructural completenesspropositional logicsKripke-type semanticssolvability of logical equationsHeyting logicsubstitution problemquasi-equational theoriesalgebraizable consequence relationsfinite bases for quasi-identitiesformal logical systemslogical consequence relationslogical inference rules
Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Classical propositional logic (03B05) Equational classes, universal algebra in model theory (03C05) Abstract deductive systems (03B22) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)
Related Items
On rules, Admissible inference rules and semantic property of modal logics, Yankov Characteristic Formulas (An Algebraic Account), Almost structural completeness; an algebraic approach, Multiple Conclusion Rules in Logics with the Disjunction Property, Admissible bases via stable canonical rules, A syntactic approach to unification in transitive reflexive modal logics, About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \), Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements, Structural completeness in relevance logics, Consequence relations and admissible rules, Closure properties for the class of behavioral models, UNIFICATION IN INTERMEDIATE LOGICS, Tutorial on Admissible Rules in Gudauri, Admissibility and Unifiability in Contact Logics, A Tableau Method for Checking Rule Admissibility in S4, Structural completeness in propositional logics of dependence, Satisfiability in Boolean Logic (SAT problem) is polynomial?, Unnamed Item, Unnamed Item, Unnamed Item, Complexity of admissible rules, Unification, finite duality and projectivity in varieties of Heyting algebras, On unification and admissible rules in Gabbay-de Jongh logics, Variants of multi-relational semantics for propositional non-normal modal logics, Unification in epistemic logics, KD is nullary, Description of modal logics which enjoy co-cover property, Admissibility in positive logics, Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL, Admissible rules for six intuitionistic modal logics, Globally admissible inference rules, Bases of admissible rules for \(K\)-saturated logics, An explicit basis for admissible inference rules in table modal logics of width 2, Table admissible inference rules, Projective Beth property in extensions of Grzegorczyk logic, HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS, Strong decidability and strong recognizability, How many varieties of cylindric algebras are there, Singly generated quasivarieties and residuated structures, Admissible rules in the implication-negation fragment of intuitionistic logic, An axiomatization for the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation, Hereditarily structurally complete intermediate logics: Citkin's theorem via duality, Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification, Realisability for infinitary intuitionistic set theory, Checking Admissibility Using Natural Dualities, 2006–07 Winter Meeting of the Association for Symbolic Logic, A meta-logic of inference rules: Syntax, 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, A note on admissible rules and the disjunction property in intermediate logics, Contact Logic is Finitary for Unification with Constants, Algebraic Representation, Dualities and Beyond, The simplest protoalgebraic logic, Profiniteness and representability of spectra of Heyting algebras, On the admissible rules of intuitionistic propositional logic, LC and Its Pretabular Relatives, Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation, Unification in pretabular extensions of S4, Inference Rules in Multi-agents’ Temporal Logics, Recognizable and perceptible logics and varieties, Probabilization of logics: completeness and decidability, Recognizability in pre-Heyting and well-composed logics, New constants in two pretabular superintuitionistic logics, PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS, Rules and arithmetics, Intermediate logics and Visser's rules, On the rules of intermediate logics, The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\), Frege systems for extensible modal logics, Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic, Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics, Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic, A(nother) characterization of intuitionistic propositional logic, Finitary extensions of the nilpotent minimum logic and (almost) structural completeness, Hereditarily structurally complete superintuitionistic deductive systems, The Context of Inference, STABLE CANONICAL RULES, Solving the \$100 modal logic challenge, STABLE MODAL LOGICS, The bounded proof property via step algebras and step frames, The Structure of Rigid Frames of Depth 3 Only, Unification and Passive Inference Rules for Modal Logics, On Algebraisation of Superintuitionistic Predicate Logics, Proof Complexity of Non-classical Logics, Announcement as effort on topological spaces, Deductive systems with multiple-conclusion rules and the disjunction property, Complexity of the universal theory of modal algebras, Proof theory for admissible rules, VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS, Structural completeness in many-valued logics with rational constants, On the proof complexity of logics of bounded branching, Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK, Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality, DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV, REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION, Characteristic inference rules, Distributive bilattices from the perspective of natural duality theory., Rules with parameters in modal logic. I., Admissibility via natural dualities, THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY, Explicit basis for admissible rules in \(K\)-saturated tabular logics, The algebraic significance of weak excluded middle laws, The Deduction Theorem (Before and After Herbrand), Admissibility and unification in the modal logics related to S4.2, Conservative translations revisited, Admissible inference rules of modal WCP-logics, An explicit basis for \textit{WCP}-globally admissible inference rules
