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