scientific article; zbMATH DE number 3557746
From MaRDI portal
Publication:4133597
Recommendations
Cited in
(12)- On rules
- A syntactic approach to unification in transitive reflexive modal logics
- scientific article; zbMATH DE number 2108198 (Why is no real title available?)
- Admissible rules in the implication-negation fragment of intuitionistic logic
- Almost structural completeness; an algebraic approach
- On the modal logic of Jeffrey conditionalization
- On two problems of Harvey Friedman
- Standard Bayes logic is not finitely axiomatizable
- Hereditarily structurally complete superintuitionistic deductive systems
- Tutorial on admissible rules in Gudauri
- Hereditarily structurally complete positive logics
- Multiple conclusion rules in logics with the disjunction property
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 Q4133597)
