Hereditarily structurally complete positive logics
From MaRDI portal
Publication:5117590
Recommendations
Cites work
- scientific article; zbMATH DE number 3112788 (Why is no real title available?)
- scientific article; zbMATH DE number 4012606 (Why is no real title available?)
- scientific article; zbMATH DE number 4031761 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 3463707 (Why is no real title available?)
- scientific article; zbMATH DE number 3557746 (Why is no real title available?)
- scientific article; zbMATH DE number 3557753 (Why is no real title available?)
- scientific article; zbMATH DE number 3577181 (Why is no real title available?)
- scientific article; zbMATH DE number 1226187 (Why is no real title available?)
- scientific article; zbMATH DE number 2108194 (Why is no real title available?)
- scientific article; zbMATH DE number 4196186 (Why is no real title available?)
- scientific article; zbMATH DE number 3230245 (Why is no real title available?)
- scientific article; zbMATH DE number 3310052 (Why is no real title available?)
- scientific article; zbMATH DE number 3363517 (Why is no real title available?)
- scientific article; zbMATH DE number 3419181 (Why is no real title available?)
- scientific article; zbMATH DE number 3198011 (Why is no real title available?)
- Admissibility of logical inference rules
- Admissible rules and the Leibniz hierarchy
- Admissible rules in the implication-negation fragment of intuitionistic logic
- Algebras Whose Congruence Lattices are Distributive.
- Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
- Concerning the notion of completeness of invariant propositional calculi
- Constructive negations and paraconsistency
- Finite axiomatizability of locally tabular superintuitionistic logics
- Hereditarily structurally complete modal logics
- Injective and Projective Heyting Algebras
- Locally finite varieties of Heyting algebras
- On decision procedures for sentential logics
- On not strengthening intuitionistic logic
- On the structural completeness of some pure implicational propositional calculi
- Positive universal classes in locally finite varieties
- Residuated lattices. An algebraic glimpse at substructural logics
- Structural Completeness in Substructural Logics
- Structural completeness of Gödel's and Dummett's propositional calculi
- THE CALCULUS OF THE WEAK "LAW OF EXCLUDED MIDDLE"
- Universal algebra. Fundamentals and selected topics
- Varieties of implicative semi-lattices. II
- Well quasi-order in combinatorics: embeddings and homomorphisms
Cited in
(8)- Singly generated quasivarieties and residuated structures
- Unification types and union splittings in intermediate logics
- Structural completeness in many-valued logics with rational constants
- scientific article; zbMATH DE number 2108194 (Why is no real title available?)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
- Hereditarily structurally complete modal logics
- Structural Completeness in Substructural Logics
- Hereditarily structurally complete superintuitionistic deductive systems
This page was built for publication: Hereditarily structurally complete positive logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5117590)
