ASSERTIONALLY EQUIVALENT QUASIVARIETIES
From MaRDI portal
Publication:3519801
DOI10.1142/S0218196708004627zbMATH Open1148.08002MaRDI QIDQ3519801FDOQ3519801
Publication date: 19 August 2008
Published in: International Journal of Algebra and Computation (Search for Journal in Brave)
Cites Work
- The semantics and proof theory of linear logic
- Fragments of R-mingle
- A propositional logic with explicit fixed points
- The structure of finite algebras
- Residuated lattices. An algebraic glimpse at substructural logics
- A survey of abstract algebraic logic
- Adding involution to residuated structures
- Congruence lattices of semilattices
- Boolean skew algebras
- THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
- Ideals in universal algebras
- Note on algebraic models for relevance logic
- On subtractive varieties. III: From ideals to congruences
- On subtractive varieties II: General properties
- On subtractive varieties. I
- Algebraic semantics for deductive systems
- Varieties of commutative residuated integral pomonoids and their residuation subreducts
- The Relationship Between Two Commutators
- On the degrees of permutability of subregular varieties
- An algebra related with a propositional calculus
- Characterizing equivalential and algebraizable logics by the Leibniz operator
- Skew Boolean algebras
- Algebraic completeness results for R-mingle and its extensions
- A note on R-Mingle and Sobociński's three-valued logic
- Multiplicative Conjunction as an Extensional Conjunction
- Every BCK-algebra is a set of residuables in an integral pomonoid
- Algebraic aspects of cut elimination
- Logics without the contraction rule
- Weakly algebraizable logics
- \(n\)-permutable varieties satisfy non trivial congruence identities
- On \(n\)-permutable congruences
- Basic Propositional Calculus I
- Ideal determined varieties need not be congruence 3-permutable
- Equivalential and algebraizable logics
- IDEAL DETERMINED VARIETIES HAVE UNBOUNDED DEGREES OF PERMUTABILITY
- From semirings to residuated Kleene lattices
- On the lattice of quasivarieties of Sugihara algebras
- Solution to the P − W problem
- On the quasivariety of BCK-algebras and its subvarieties
- Rule separation and embedding theorems for logics without weakening
- Conservative extension in relevant implication
- Relevance and paraconsistency - a new approach. II: The formal systems
- Speaking about transitive frames in propositional languages
- Impossibility of defining the class of \(L_ 0\)-algebras by means of identities
- A finite model property for RMImin
- Relevance and paraconsistency—a new approach
- Distributivity and modularity of lattices of tolerance relations
- On a property of BCK-identities
- Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic
- On congruence modularity in varieties of logic.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (25)
- Bilattice Logics and Demi-Negation
- Title not available (Why is that?)
- On prevarieties of logic
- Semi-linear Varieties of Lattice-Ordered Algebras
- Lattice BCK logics with Modus Ponens as unique rule
- An algebraic view of super-Belnap logics
- Quasi-subtractive varieties
- Some properties of pseudo-BCK- and pseudo-BCI-algebras
- Contextual deduction theorems
- Natural examples of quasivarieties with EDPM
- VARIETIES OF SKEW BOOLEAN ALGEBRAS WITH INTERSECTIONS
- 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
- AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS
- Constructive logic with strong negation is a substructural logic. II
- Willem Blok's contribution to abstract algebraic logic
- Splittings in subreducts of hoops
- Beyond Rasiowa's algebraic approach to non-classical logics
- A new view of effects in a Hilbert space
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- Intuitionistic logic is a connexive 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)
