scientific article
From MaRDI portal
Publication:3472080
zbMath0696.03009MaRDI QIDQ3472080
Pierluigi Minari, Andrzej Wroński
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (14)
On rules ⋮ Rasiowa-Harrop disjunction property ⋮ A syntactic approach to unification in transitive reflexive modal logics ⋮ Consequence relations and admissible rules ⋮ Finitary unification in locally tabular modal logics characterized ⋮ Structural completeness and superintuitionistic inquisitive logics ⋮ Singly generated quasivarieties and residuated structures ⋮ Admissible rules in the implication-negation fragment of intuitionistic logic ⋮ UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS ⋮ Admissibility and refutation: some characterisations of intermediate logics ⋮ The disjunction property of intermediate propositional logics ⋮ On the rules of intermediate logics ⋮ Inquisitive Heyting algebras ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
This page was built for publication:
