scientific article; zbMATH DE number 3639589
From MaRDI portal
Publication:4198474
Recommendations
Cited in
(36)- A result on the completeness of superintuitionistic logics
- Finite approximability of forest superintuitionistic logics
- Some investigations of varieties of \({\mathcal N}\)-lattices
- A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
- Program-substitution and admissibility of rules in algorithmic logic
- Admissible rules for pretable modal logics
- Superintuitionistic companions of classical modal logics
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
- Hereditarily structurally complete superintuitionistic deductive systems
- Halldén-completeness in super-intuitionistic predicate logics
- Structural completeness in many-valued logics with rational constants
- Profiniteness and representability of spectra of Heyting algebras
- On rules
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
- scientific article; zbMATH DE number 6350981 (Why is no real title available?)
- scientific article; zbMATH DE number 3861126 (Why is no real title available?)
- Stratified and positive comprehension seen as superclass rules over ordinary set theory
- scientific article; zbMATH DE number 3906478 (Why is no real title available?)
- scientific article; zbMATH DE number 4075019 (Why is no real title available?)
- scientific article; zbMATH DE number 1163394 (Why is no real title available?)
- scientific article; zbMATH DE number 3993545 (Why is no real title available?)
- scientific article; zbMATH DE number 1867304 (Why is no real title available?)
- scientific article; zbMATH DE number 823592 (Why is no real title available?)
- A new constant in superintuitionistic logic L3
- Singly generated quasivarieties and residuated structures
- VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS
- scientific article; zbMATH DE number 3316016 (Why is no real title available?)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics
- An Application of the Yankov Characteristic Formulas
- On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview
- Structural completeness and superintuitionistic inquisitive logics
- Admissible rules in the implication-negation fragment of intuitionistic logic
- A note on admissible rules and the disjunction property in intermediate logics
- Inquisitive split and structural completeness
- Hereditarily structurally complete extensions of \(\mathbf{RM}\)
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
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 Q4198474)
