Structural Completeness in Substructural Logics
From MaRDI portal
Recommendations
Cited in
(48)- Structural completeness in fuzzy logics
- The strong version of a sentential logic
- Varieties of De Morgan monoids: minimality and irreducible algebras
- Finitary extensions of the nilpotent minimum logic and (almost) structural completeness
- Hereditarily structurally complete superintuitionistic deductive systems
- Metacompleteness of substructural logics
- An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics
- Structural completeness in many-valued logics with rational constants
- Projectivity in (bounded) commutative integral residuated lattices
- Admissibility in De Morgan algebras
- Structural rules for multi-valued logics
- Proper semantics for substructural logics, from a stalker theoretic point of view
- BCK is not structurally complete
- On rules
- Almost structural completeness; an algebraic approach
- A syntactic approach to unification in transitive reflexive modal logics
- Structural completeness in relevance logics
- Varieties of skew Boolean algebras with intersections
- Algebraic semantics for the (, )-fragment of IPC
- scientific article; zbMATH DE number 3865251 (Why is no real title available?)
- scientific article; zbMATH DE number 3873295 (Why is no real title available?)
- Structural completeness in propositional logics of dependence
- UNIFICATION IN INTERMEDIATE LOGICS
- scientific article; zbMATH DE number 5289966 (Why is no real title available?)
- scientific article; zbMATH DE number 4008369 (Why is no real title available?)
- scientific article; zbMATH DE number 3557785 (Why is no real title available?)
- scientific article; zbMATH DE number 3639589 (Why is no real title available?)
- Tarskian Structured Consequence Relations and Functional Completeness
- scientific article; zbMATH DE number 2108194 (Why is no real title available?)
- scientific article; zbMATH DE number 844484 (Why is no real title available?)
- Algebraic semantics for the \((\leftrightarrow,\neg)\)-fragment of \(\mathsf{IPC}\) and its properties
- Hereditarily structurally complete positive logics
- Singly generated quasivarieties and residuated structures
- VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS
- Idempotent residuated structures: Some category equivalences and their applications
- Substructural logic and partial correctness
- scientific article; zbMATH DE number 2196598 (Why is no real title available?)
- Structural completeness and superintuitionistic inquisitive logics
- Structural and universal completeness in algebra and logic
- Admissible rules in the implication-negation fragment of intuitionistic logic
- Contextual deduction theorems
- On pretabular extensions of relevance logic
- Quasivarieties of p-algebras: some new results
- Structurally complete finitary extensions of positive Łukasiewicz logic
- Free \(\mathrm{p}\)-algebras revisited: an algebraic investigation of implication-free intuitionism
- Inquisitive split and structural completeness
- Quasivarieties of Wajsberg hoops
- Algebraic semantics for a mixed type fragment of IPC
This page was built for publication: Structural Completeness in Substructural Logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3544316)
