scientific article; zbMATH DE number 3557746
From MaRDI portal
Publication:4133597
zbMath0358.02024MaRDI QIDQ4133597
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (11)
On rules ⋮ Almost structural completeness; an algebraic approach ⋮ Multiple Conclusion Rules in Logics with the Disjunction Property ⋮ A syntactic approach to unification in transitive reflexive modal logics ⋮ On the modal logic of Jeffrey conditionalization ⋮ Tutorial on Admissible Rules in Gudauri ⋮ On two problems of Harvey Friedman ⋮ STANDARD BAYES LOGIC IS NOT FINITELY AXIOMATIZABLE ⋮ HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS ⋮ Admissible rules in the implication-negation fragment of intuitionistic logic ⋮ Hereditarily structurally complete superintuitionistic deductive systems
This page was built for publication:
