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