scientific article; zbMATH DE number 4139716

MaRDI QIDQ3472080zbMATH OpenFDO

Authors Pierluigi Minari, Andrzej Wroński

Publication date 1988

zbMATH Keywords

disjunction propertyHarrop formulaintermediate predicate logic

Mathematics Subject Classification ID

Intermediate logics (03B55)

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

Cited in

(20)

• Some syntactical properties of intermediate predicate logics
• The disjunction property of intermediate propositional logics
• A new solution to a problem of Hosoi and Ono
• Inquisitive Heyting algebras
• Rasiowa-Harrop disjunction property
• On the rules of intermediate logics
• On rules
• Finitary unification in locally tabular modal logics characterized
• A syntactic approach to unification in transitive reflexive modal logics
• Consequence relations and admissible rules
• scientific article; zbMATH DE number 3853044 (Why is no real title available?)
• scientific article; zbMATH DE number 724625 (Why is no real title available?)
• Admissibility and refutation: some characterisations of intermediate logics
• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
• Singly generated quasivarieties and residuated structures
• UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
• Structural completeness and superintuitionistic inquisitive logics
• Admissible rules in the implication-negation fragment of intuitionistic logic
• Constructive validity of a generalized Kreisel-Putnam rule
• Inquisitive split and structural completeness

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)