On covers of quasivarieties of p-algebras
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | Gyenis, Zalán |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
Varieties of modal algebras without the congruence extension property
von: Gyenis, Zalán, et al.
Veröffentlicht: (2024)
von: Gyenis, Zalán, et al.
Veröffentlicht: (2024)
Probabilities are always axiomatizable
von: Gyenis, Zalán
Veröffentlicht: (2025)
von: Gyenis, Zalán
Veröffentlicht: (2025)
More on modal logics and deduction
von: Gyenis, Zalán, et al.
Veröffentlicht: (2026)
von: Gyenis, Zalán, et al.
Veröffentlicht: (2026)
Permutations, substitutions and finite axiomatizability
von: Andréka, Hajnal, et al.
Veröffentlicht: (2025)
von: Andréka, Hajnal, et al.
Veröffentlicht: (2025)
Substitutions of variables are finitely axiomatizable over quantifications and permutations
von: Andréka, Hajnal, et al.
Veröffentlicht: (2025)
von: Andréka, Hajnal, et al.
Veröffentlicht: (2025)
Structural completeness in quasivarieties
von: Aglianó, Paolo, et al.
Veröffentlicht: (2024)
von: Aglianó, Paolo, et al.
Veröffentlicht: (2024)
Congruence permutability in quasivarieties
von: Carai, Luca, et al.
Veröffentlicht: (2025)
von: Carai, Luca, et al.
Veröffentlicht: (2025)
Ultrafilter extensions of bounded graphs are elementary
von: Molnár, Zalán
Veröffentlicht: (2024)
von: Molnár, Zalán
Veröffentlicht: (2024)
Notes on ultrafilter extensions of almost bounded structures
von: Molnár, Zalán
Veröffentlicht: (2025)
von: Molnár, Zalán
Veröffentlicht: (2025)
A choice-free proof of Mal'cev's theorem on quasivarieties
von: Shen, Guozhen
Veröffentlicht: (2025)
von: Shen, Guozhen
Veröffentlicht: (2025)
Distinguishing colorings, proper colorings, and covering properties without the Axiom of Choice
von: Banerjee, Amitayu, et al.
Veröffentlicht: (2023)
von: Banerjee, Amitayu, et al.
Veröffentlicht: (2023)
Difference-restriction algebras with operators
von: Borlido, Célia, et al.
Veröffentlicht: (2025)
von: Borlido, Célia, et al.
Veröffentlicht: (2025)
Convex algebras on an interval with semicontinuous monotone operations
von: Sokolova, Ana, et al.
Veröffentlicht: (2026)
von: Sokolova, Ana, et al.
Veröffentlicht: (2026)
Nelson algebras, residuated lattices and rough sets: A survey
von: Järvinen, Jouni, et al.
Veröffentlicht: (2024)
von: Järvinen, Jouni, et al.
Veröffentlicht: (2024)
On the preservation of unification type of Heyting algebras and interior algebras
von: Düntsch, Ivo, et al.
Veröffentlicht: (2025)
von: Düntsch, Ivo, et al.
Veröffentlicht: (2025)
A concrete model for a typed linear algebraic lambda calculus
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2018)
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2018)
A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
von: Alvarez, David Quinn
Veröffentlicht: (2025)
von: Alvarez, David Quinn
Veröffentlicht: (2025)
Minimal covers in the Weihrauch degrees
von: Lempp, Steffen, et al.
Veröffentlicht: (2023)
von: Lempp, Steffen, et al.
Veröffentlicht: (2023)
On the Rainbow Ramsey theorem and the Canonical Ramsey Theorem for pairs without AC
von: Banerjee, Amitayu, et al.
Veröffentlicht: (2024)
von: Banerjee, Amitayu, et al.
Veröffentlicht: (2024)
Local structure of idempotent algebras I
von: Bulatov, Andrei A.
Veröffentlicht: (2020)
von: Bulatov, Andrei A.
Veröffentlicht: (2020)
Hemi-Nelson algebras
von: Lubomirsky, Noemí, et al.
Veröffentlicht: (2026)
von: Lubomirsky, Noemí, et al.
Veröffentlicht: (2026)
Implicative-orthomodular algebras
von: Ciungu, Lavinia Corina
Veröffentlicht: (2023)
von: Ciungu, Lavinia Corina
Veröffentlicht: (2023)
Obligations and permissions, algebraically
von: De Domenico, Andrea, et al.
Veröffentlicht: (2024)
von: De Domenico, Andrea, et al.
Veröffentlicht: (2024)
Unfoldings and coverings of weighted graphs
von: Courcelle, Bruno
Veröffentlicht: (2022)
von: Courcelle, Bruno
Veröffentlicht: (2022)
Bounded depth in Hilbert algebras
von: Carai, Luca, et al.
Veröffentlicht: (2026)
von: Carai, Luca, et al.
Veröffentlicht: (2026)
Duality for finitely valued algebras
von: Abbadini, Marco, et al.
Veröffentlicht: (2025)
von: Abbadini, Marco, et al.
Veröffentlicht: (2025)
Centers of quantum-Wajsberg algebras
von: Ciungu, Lavinia Corina
Veröffentlicht: (2023)
von: Ciungu, Lavinia Corina
Veröffentlicht: (2023)
Generalizations of quantum-Wajsberg algebras
von: Ciungu, Lavinia Corina
Veröffentlicht: (2024)
von: Ciungu, Lavinia Corina
Veröffentlicht: (2024)
Model theory of term algebras revisited
von: Carolillo, Davide, et al.
Veröffentlicht: (2026)
von: Carolillo, Davide, et al.
Veröffentlicht: (2026)
Strong quasi-MV* algebras and their logics
von: Cai, Lei, et al.
Veröffentlicht: (2025)
von: Cai, Lei, et al.
Veröffentlicht: (2025)
The logic of quasi MV star algebras
von: Cai, Lei, et al.
Veröffentlicht: (2025)
von: Cai, Lei, et al.
Veröffentlicht: (2025)
Embedding stable groups into algebraic groups
von: Bartnick, Charlotte
Veröffentlicht: (2025)
von: Bartnick, Charlotte
Veröffentlicht: (2025)
The completeness and congruences of quasi-Boolean algebras
von: Liu, Xiaohao, et al.
Veröffentlicht: (2025)
von: Liu, Xiaohao, et al.
Veröffentlicht: (2025)
On Fidel Vakarelov construction for Monadic Godel algebras
von: Alonso, Maria Valentina, et al.
Veröffentlicht: (2024)
von: Alonso, Maria Valentina, et al.
Veröffentlicht: (2024)
An essentially algebraic glance to Kripke semantics: the S5 case
von: De Berardinis, Matteo, et al.
Veröffentlicht: (2025)
von: De Berardinis, Matteo, et al.
Veröffentlicht: (2025)
Orthogonality relations and operators on bounded quasi-implication algebras
von: McDonald, Joseph
Veröffentlicht: (2025)
von: McDonald, Joseph
Veröffentlicht: (2025)
Model-theoretic properties of nilpotent groups and Lie algebras
von: d'Elbée, Christian, et al.
Veröffentlicht: (2023)
von: d'Elbée, Christian, et al.
Veröffentlicht: (2023)
A two-sorted theory of nilpotent Lie algebras
von: d'Elbée, Christian, et al.
Veröffentlicht: (2024)
von: d'Elbée, Christian, et al.
Veröffentlicht: (2024)
Etale algebras over finite Heyting algebras
von: Evgeny, Kuznetsov
Veröffentlicht: (2024)
von: Evgeny, Kuznetsov
Veröffentlicht: (2024)
Brooks' type theorems for coloring parameters of locally finite graphs and Konig's Lemma
von: Banerjee, Amitayu, et al.
Veröffentlicht: (2024)
von: Banerjee, Amitayu, et al.
Veröffentlicht: (2024)
Ähnliche Einträge
-
Varieties of modal algebras without the congruence extension property
von: Gyenis, Zalán, et al.
Veröffentlicht: (2024) -
Probabilities are always axiomatizable
von: Gyenis, Zalán
Veröffentlicht: (2025) -
More on modal logics and deduction
von: Gyenis, Zalán, et al.
Veröffentlicht: (2026) -
Permutations, substitutions and finite axiomatizability
von: Andréka, Hajnal, et al.
Veröffentlicht: (2025) -
Substitutions of variables are finitely axiomatizable over quantifications and permutations
von: Andréka, Hajnal, et al.
Veröffentlicht: (2025)