Cover Image

Degree of Satisfiability in Heyting Algebras

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bumpus, Benjamin Merlin, Kocsis, Zoltan A.
Format:	Preprint
Published:	2021
Subjects:	Logic Combinatorics 06D20, 03B20, 03C13
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Apartness relations between propositions
by: Kocsis, Zoltan A.
Published: (2022)

Coexact completion of profinite Heyting algebras and uniform interpolation
by: Ye, Lingyuan
Published: (2026)

Colimits of Heyting Algebras through Esakia Duality
by: Almeida, Rodrigo Nicolau
Published: (2024)

Intuitionism and computing with partial information
by: Ganchev, Hristo, et al.
Published: (2026)

Proof-theoretic methods in quantifier-free definability
by: Kocsis, Zoltan A.
Published: (2023)

Intuitionistic Sahlqvist theory for deductive systems
by: Fornasiere, Damiano, et al.
Published: (2022)

Implications in pseudocomplemented and Stone lattices
by: Chajda, Ivan, et al.
Published: (2024)

The prime spectrum of an $L$-algebra
by: Rump, W., et al.
Published: (2022)

Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)

On actions and split extensions in varieties of hoops: the case of strong section
by: Mancini, Manuel, et al.
Published: (2025)

Preconditionals
by: Holliday, Wesley H.
Published: (2024)

Connexive logics and connexive semi-Heyting algebras
by: Cornejo, Juan M., et al.
Published: (2025)

Modal group theory: homomorphisms
by: Wołoszyn, Wojciech Aleksander
Published: (2026)

An explicit Kuznetsov-Muravitsky enrichment
by: Jibladze, Mamuka, et al.
Published: (2024)

Maximality Principles in Modal Logic and the Axiom of Choice
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)

Myhill-Nerode for hypergraphs and an application to gain-graphic matroids
by: Funk, Daryl, et al.
Published: (2025)

Pseudofiniteness in Hrushovski Constructions
by: Valizadeh, Ali N., et al.
Published: (2018)

Failure of the Blok-Esakia Theorem in the monadic setting
by: Bezhanishvili, Guram, et al.
Published: (2024)

Modal group theory
by: Wołoszyn, Wojciech Aleksander
Published: (2026)

Uniform Interpolation
by: van Gool, Sam
Published: (2025)

Quasivarieties of p-algebras: some new results
by: Kowalski, Tomasz, et al.
Published: (2024)

On Cohesive Products of Fields
by: Dimitrov, Rumen, et al.
Published: (2026)

Definable Functions to Quotients in Ordered Abelian Groups
by: Wells, Harper
Published: (2026)

Determining the normal subgroups of the automorphism groups of ultrahomogeneous structures via stabilisers
by: Bernert, Thomas, et al.
Published: (2026)

Ramsey expansions of $Λ$-ultrametric spaces
by: Braunfeld, Samuel
Published: (2017)

Compactness in Team Semantics
by: Puljujärvi, Joni, et al.
Published: (2022)

Weihrauch reducibility between Ramsey-type theorems and well-ordering principles at the level of $Σ^0_2$-induction: A pilot study
by: Carlucci, Lorenzo, et al.
Published: (2025)

L-algebras and their ideals: from simplicity to semidirect products
by: Properzi, Silvia, et al.
Published: (2025)

Free algebras and coproducts in varieties of Gödel algebras
by: Carai, Luca
Published: (2024)

Extensive embeddings into Fraïssé structures and stationary weak independence relations
by: Kwiatkowska, Aleksandra, et al.
Published: (2025)

A Linear-Size Block-Partition Fibonacci Encoding for Gödel Numbering
by: Sóstai, Zoltán
Published: (2026)

A note on the degree structure of primitive recursive m-reducibility
by: Kalmurzayev, Birzhan, et al.
Published: (2023)

Definability of complex functions in o-minimal structures
by: Padgett, Adele, et al.
Published: (2025)

Unorthodox Algebras and their associated Unorthodox Logics
by: Sankappanavar, Hanamantagouda P.
Published: (2025)

Stable reducts of elementary extensions of Presburger arithmetic
by: Alouf, Eran, et al.
Published: (2024)

Distality in Ordered Abelian Groups
by: Okura, Koki
Published: (2026)

Stability, corners, and other 2-dimensional shapes
by: Martin-Pizarro, Amador, et al.
Published: (2022)

A characterization of Continuous Logic by using quantale-valued logics
by: Reyes, David, et al.
Published: (2021)

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

Embeddings into the generic poset
by: Kwiatkowska, Aleksandra, et al.
Published: (2025)