scientific article; zbMATH DE number 3557746
From MaRDI portal
Publication:4133597
zbMATH Open0358.02024MaRDI QIDQ4133597FDOQ4133597
Authors: Tadeusz Prucnal 
Publication date: 1976
Title of this publication is not available (Why is that?)
Recommendations
Cited In (12)
- Title not available (Why is that?)
- On rules
- A syntactic approach to unification in transitive reflexive modal logics
- 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)
