Buchumschlag

FCA using the Concept Explorer in 2024

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Vargas-GarcÍa, Edith, Wachtel, Andreas
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic Logic in Computer Science 06D50 (Primary), 06B05, 06A06 (Secondary) D.m; G.4; I.3.8
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On the symmetry behind duality
von: Abbadini, Marco, et al.
Veröffentlicht: (2025)

Free p-algebras revisited: an algebraic investigation of implication-free intuitionism
von: Kowalski, Tomasz, et al.
Veröffentlicht: (2024)

MV-frames
von: Nganou, Jean B
Veröffentlicht: (2024)

Duality for distributive and implicative semi-lattices
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2024)

Kites and representations of pseudo MV-algebras
von: Botur, Michal, et al.
Veröffentlicht: (2025)

On the axiomatisability of the dual of compact ordered spaces
von: Abbadini, Marco
Veröffentlicht: (2025)

Blockwise Gluings And Amalgamation Failures in Integral Residuated Lattices
von: Giustarini, Valeria, et al.
Veröffentlicht: (2024)

Correspondence Theory for Many-valued Modal Logic
von: Britz, Cecelia, et al.
Veröffentlicht: (2024)

Esakia order-compactifications and locally Esakia spaces
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2025)

Locally Integral Involutive PO-Semigroups
von: Gil-Férez, José, et al.
Veröffentlicht: (2023)

Unital Specker $\ell$-groups and boolean multispaces
von: Abbadini, Marco, et al.
Veröffentlicht: (2025)

Johnson's axioms revisited: Bases for Boolean algebras containing identities of associative type. I
von: Sankappanavar, Hanamantagouda P.
Veröffentlicht: (2025)

(Extra)ordinary equivalences with the ascending/descending sequence principle
von: Fiori-Carones, Marta, et al.
Veröffentlicht: (2021)

Apartness relations between propositions
von: Kocsis, Zoltan A.
Veröffentlicht: (2022)

Filters and congruences in weakly complemented lattices
von: Jeufack, Yannick Léa Tenkeu, et al.
Veröffentlicht: (2025)

Degrees of join-distributivity via Bruns-Lakser towers
von: Bezhanishvili, G., et al.
Veröffentlicht: (2024)

Amalgamation in classes of involutive commutative residuated lattices
von: Jenei, Sándor
Veröffentlicht: (2020)

Unorthodox Algebras and their associated Unorthodox Logics
von: Sankappanavar, Hanamantagouda P.
Veröffentlicht: (2025)

Connexive logics and connexive semi-Heyting algebras
von: Cornejo, Juan M., et al.
Veröffentlicht: (2025)

Many subalgebras of $\mathcal{P}(ω)/\mathit{fin}$
von: Hart, Klaas Pieter
Veröffentlicht: (2023)

Bourbaki--Zorn Normal Forms for Maximality Arguments
von: Liu, You-Chang
Veröffentlicht: (2026)

Ultracontact algebras and stack systems
von: Carai, Luca, et al.
Veröffentlicht: (2026)

Quasivarieties of p-algebras: some new results
von: Kowalski, Tomasz, et al.
Veröffentlicht: (2024)

On the equational theory of finite modular lattices
von: Herrmann, Christian
Veröffentlicht: (2024)

Rational Lukasiewicz logic and DMV-algebras
von: Gerla, Brunella
Veröffentlicht: (2012)

Dense Chains, Antichains, and Universal Partial Orders Inside a Bounded Finite-One Degree
von: Cintioli, Patrizio
Veröffentlicht: (2026)

Cutsets in ${\mathcal P}(X)$
von: Ginsburg, John, et al.
Veröffentlicht: (2025)

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
von: Holliday, Wesley H.
Veröffentlicht: (2022)

Decidable varieties of p-algebras
von: Kowalski, Tomasz, et al.
Veröffentlicht: (2024)

Generalized Higman's Theorem and iterated ideals
von: Pakhomov, Fedor, et al.
Veröffentlicht: (2025)

Normal forms and representable functions in Moisil logic
von: Sipos, Andrei
Veröffentlicht: (2023)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
von: Knudstorp, Søren Brinck
Veröffentlicht: (2025)

More Shattering News
von: Sali, Attila, et al.
Veröffentlicht: (2026)

Subresiduated Nelson Algebras
von: Lubomirsky, Noemí, et al.
Veröffentlicht: (2024)

Diagrams of opposition: an algebraic viewpoint
von: Wu, Chai Wah
Veröffentlicht: (2024)

An explicit Kuznetsov-Muravitsky enrichment
von: Jibladze, Mamuka, et al.
Veröffentlicht: (2024)

A new proof of Funayama's theorem
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2026)

Hypercontact semilattices
von: Lipparini, Paolo
Veröffentlicht: (2023)

Free algebras and coproducts in varieties of Gödel algebras
von: Carai, Luca
Veröffentlicht: (2024)

Algorithmic correspondence and analytic rules
von: De Domenico, Andrea, et al.
Veröffentlicht: (2022)