scientific article; zbMATH DE number 4139716

MaRDI QIDQ3472080zbMATH OpenFDO

Authors Pierluigi Minari, Andrzej Wroński

Publication date 1988

zbMATH Keywords

disjunction propertyintermediate predicate logicHarrop formula

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

(18)

• On rules
• A syntactic approach to unification in transitive reflexive modal logics
• Inquisitive split and structural completeness
• 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
• scientific article; zbMATH DE number 3853044 (Why is no real title available?)
• On the rules of intermediate logics
• Singly generated quasivarieties and residuated structures
• Finitary unification in locally tabular modal logics characterized
• Admissibility and refutation: some characterisations of intermediate logics
• scientific article; zbMATH DE number 724625 (Why is no real title available?)
• Constructive validity of a generalized Kreisel-Putnam rule
• 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)