scientific article; zbMATH DE number 3339356
From MaRDI portal
Publication:5616120
zbMath0214.00704MaRDI QIDQ5616120
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (17)
On rules ⋮ Almost structural completeness; an algebraic approach ⋮ Multiple Conclusion Rules in Logics with the Disjunction Property ⋮ Consequence relations and admissible rules ⋮ Program-substitution and admissibility of rules in algorithmic logic ⋮ Tutorial on Admissible Rules in Gudauri ⋮ Structural completeness and superintuitionistic inquisitive logics ⋮ Singly generated quasivarieties and residuated structures ⋮ The deducibilities of S5 ⋮ UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS ⋮ BCK is not structurally complete ⋮ On structural completeness of implicational logics ⋮ Structural completeness of Gödel's and Dummett's propositional calculi ⋮ Hereditarily structurally complete superintuitionistic deductive systems ⋮ Derivability of admissible rules ⋮ Deciding active structural completeness ⋮ Definitional equivalence and algebraizability of generalized logical systems
This page was built for publication:
