scientific article; zbMATH DE number 4139716

zbMATH Open0696.03009MaRDI QIDQ3472080FDOQ3472080

Authors: Pierluigi Minari, Andrzej Wroński 

Publication date: 1988

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 3853044
• scientific article; zbMATH DE number 4045716
• On maximal intermediate logics with the disjunction property
• Two classes of intermediate propositional logics without disjunction property
• Some syntactical properties of intermediate predicate logics

zbMATH Keywords

disjunction propertyintermediate predicate logicHarrop formula

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cited In (16)

• On rules
• A syntactic approach to unification in transitive reflexive modal logics
• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
• Admissible rules in the implication-negation fragment of intuitionistic logic
• Consequence relations and admissible rules
• UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
• The disjunction property of intermediate propositional logics
• Title not available (Why is that?)
• On the rules of intermediate logics
• Singly generated quasivarieties and residuated structures
• Finitary unification in locally tabular modal logics characterized
• Title not available (Why is that?)
• Admissibility and refutation: some characterisations of intermediate logics
• Inquisitive Heyting algebras
• Rasiowa-Harrop disjunction property
• Structural completeness and superintuitionistic inquisitive logics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3472080)