Recommendations
Cites work
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 1302497 (Why is no real title available?)
- scientific article; zbMATH DE number 596497 (Why is no real title available?)
- scientific article; zbMATH DE number 1489627 (Why is no real title available?)
- scientific article; zbMATH DE number 3261581 (Why is no real title available?)
- A finite model property for RMImin
- A note on R-Mingle and Sobociński's three-valued logic
- A propositional logic with explicit fixed points
- A survey of abstract algebraic logic
- Adding involution to residuated structures
- Algebraic aspects of cut elimination
- Algebraic completeness results for R-mingle and its extensions
- Algebraic semantics for deductive systems
- An algebra related with a propositional calculus
- Basic Propositional Calculus I
- Boolean skew algebras
- Characterizing equivalential and algebraizable logics by the Leibniz operator
- Congruence lattices of semilattices
- Conservative extension in relevant implication
- Distributivity and modularity of lattices of tolerance relations
- Equivalential and algebraizable logics
- Every BCK-algebra is a set of residuables in an integral pomonoid
- Fragments of R-mingle
- From semirings to residuated Kleene lattices
- IDEAL DETERMINED VARIETIES HAVE UNBOUNDED DEGREES OF PERMUTABILITY
- Ideal determined varieties need not be congruence 3-permutable
- Ideals in universal algebras
- Impossibility of defining the class of \(L_ 0\)-algebras by means of identities
- Logics without the contraction rule
- Multiplicative Conjunction as an Extensional Conjunction
- Note on algebraic models for relevance logic
- On \(n\)-permutable congruences
- On a property of BCK-identities
- On congruence modularity in varieties of logic.
- On subtractive varieties II: General properties
- On subtractive varieties. I
- On subtractive varieties. III: From ideals to congruences
- On the degrees of permutability of subregular varieties
- On the lattice of quasivarieties of Sugihara algebras
- On the quasivariety of BCK-algebras and its subvarieties
- Relevance and paraconsistency - a new approach. II: The formal systems
- Relevance and paraconsistency—a new approach
- Residuated lattices. An algebraic glimpse at substructural logics
- Rule separation and embedding theorems for logics without weakening
- Skew Boolean algebras
- Solution to the P − W problem
- Speaking about transitive frames in propositional languages
- Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic
- THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
- The Relationship Between Two Commutators
- The semantics and proof theory of linear logic
- The structure of finite algebras
- Varieties of commutative residuated integral pomonoids and their residuation subreducts
- Weakly algebraizable logics
- n-permutable varieties satisfy non trivial congruence identities
Cited in
(30)- Intuitionistic logic is a connexive logic
- On prevarieties of logic
- An algebraic view of super-Belnap logics
- Varieties of skew Boolean algebras with intersections
- Some properties of pseudo-BCK- and pseudo-BCI-algebras
- Quasi-subtractive varieties
- Contextual deduction theorems
- Classical logic with n truth values as a symmetric many-valued logic
- scientific article; zbMATH DE number 4137850 (Why is no real title available?)
- Subquasivarieties of implicative locally-finite quasivarieties
- Natural examples of quasivarieties with EDPM
- Compatible idempotent terms in universal algebra.
- Lattice BCK logics with modus ponens as unique rule
- ON EQUATIONAL COMPLETENESS THEOREMS
- The poset of all logics. III: Finitely presentable logics
- Boolean-like algebras
- Quasi-discriminator varieties
- Joins and subdirect products of varieties
- Semisimplicity and the discriminator in bounded BCK-algebras
- Bilattice logics and demi-negation
- Constructive logic with strong negation is a substructural logic. II
- AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS
- Willem Blok's contribution to abstract algebraic logic
- Assertional logics and the frege hierarchy
- A gentle introduction to the Leibniz hierarchy
- Splittings in subreducts of hoops
- Beyond Rasiowa's algebraic approach to non-classical logics
- Semi-linear varieties of lattice-ordered algebras.
- A new view of effects in a Hilbert space
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
This page was built for publication: ASSERTIONALLY EQUIVALENT QUASIVARIETIES
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3519801)
