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