Pages that link to "Item:Q1309039"
From MaRDI portal
The following pages link to Admissibility of logical inference rules (Q1309039):
Displaying 50 items.
- On rules (Q266650) (← links)
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Admissible bases via stable canonical rules (Q284230) (← links)
- A syntactic approach to unification in transitive reflexive modal logics (Q286704) (← links)
- Structural completeness in relevance logics (Q295911) (← links)
- Consequence relations and admissible rules (Q300835) (← links)
- Structural completeness in propositional logics of dependence (Q334998) (← links)
- On unification and admissible rules in Gabbay-de Jongh logics (Q386639) (← links)
- Bases of admissible rules for \(K\)-saturated logics (Q431663) (← links)
- An explicit basis for admissible inference rules in table modal logics of width 2 (Q431673) (← links)
- Table admissible inference rules (Q431693) (← links)
- Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation (Q498234) (← links)
- Intermediate logics and Visser's rules (Q558441) (← links)
- Unification, finite duality and projectivity in varieties of Heyting algebras (Q598304) (← links)
- Admissible rules in the implication-negation fragment of intuitionistic logic (Q638480) (← links)
- A note on admissible rules and the disjunction property in intermediate logics (Q661289) (← links)
- Recognizable and perceptible logics and varieties (Q683376) (← links)
- New constants in two pretabular superintuitionistic logics (Q695769) (← links)
- Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic (Q723257) (← links)
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- Admissible inference rules and semantic property of modal logics (Q823963) (← links)
- About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \) (Q831218) (← links)
- Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements (Q833736) (← links)
- Complexity of admissible rules (Q868660) (← links)
- 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 (Q929294) (← links)
- Solving the \$100 modal logic challenge (Q1006738) (← links)
- Proof theory for admissible rules (Q1023055) (← links)
- Admissibility in positive logics (Q1689558) (← links)
- Strong decidability and strong recognizability (Q1703280) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- Finitary extensions of the nilpotent minimum logic and (almost) structural completeness (Q1790605) (← links)
- Hereditarily structurally complete superintuitionistic deductive systems (Q1790607) (← links)
- Recognizability in pre-Heyting and well-composed logics (Q2003246) (← links)
- Announcement as effort on topological spaces (Q2053358) (← links)
- Structural completeness in many-valued logics with rational constants (Q2080696) (← links)
- On the proof complexity of logics of bounded branching (Q2084964) (← links)
- Profiniteness and representability of spectra of Heyting algebras (Q2232709) (← links)
- Unification in pretabular extensions of S4 (Q2239389) (← links)
- Probabilization of logics: completeness and decidability (Q2254552) (← links)
- Deductive systems with multiple-conclusion rules and the disjunction property (Q2306638) (← links)
- Complexity of the universal theory of modal algebras (Q2307300) (← links)
- Characteristic inference rules (Q2342800) (← links)
- Distributive bilattices from the perspective of natural duality theory. (Q2343033) (← links)
- Rules with parameters in modal logic. I. (Q2346953) (← links)
- Admissibility via natural dualities (Q2349950) (← links)
- Closure properties for the class of behavioral models (Q2373706) (← links)
- Projective Beth property in extensions of Grzegorczyk logic (Q2433106) (← links)
- An axiomatization for the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation (Q2436101) (← links)
- On the rules of intermediate logics (Q2501166) (← links)
- Frege systems for extensible modal logics (Q2503409) (← links)
