Cover Image

Connexive logics and connexive semi-Heyting algebras

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Cornejo, Juan M., Sankappanavar, Hanamantagouda P.
Format:	Preprint
Published:	2025
Subjects:	Logic 03G25, 06D20, 06D15 (Primary) 08B26, 08B15 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Amalgamation Property in the subvarieties of Gautama and Almost Gautama algebras
by: Cornejo, Juan M., et al.
Published: (2024)

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

Varieties of MV-monoids and positive MV-algebras
by: Abbadini, Marco, et al.
Published: (2024)

Decidable varieties of p-algebras
by: Kowalski, Tomasz, et al.
Published: (2024)

Splittings in varieties of logic
by: Davey, Brian A., et al.
Published: (2025)

Epimorphisms between finitely generated algebras
by: Carai, Luca, et al.
Published: (2024)

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

Functional monadic ortholattices and locally finite $σ$-free polyadic ortholattices
by: Lin, Chun-Yu, et al.
Published: (2025)

Free p-algebras revisited: an algebraic investigation of implication-free intuitionism
by: Kowalski, Tomasz, et al.
Published: (2024)

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

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
by: Holliday, Wesley H.
Published: (2022)

On pre-local tabularity above $\mathrm{S4}\times \mathrm{S4}$
by: Shapirovsky, Ilya B., et al.
Published: (2025)

Semilinear idempotent distributive l-monoids
by: Santschi, Simon
Published: (2022)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)

Generalizations of The Finite Height Criterion for Local Tabularity
by: Shapirovsky, Ilya B.
Published: (2025)

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

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

Stone type representation theorems via games
by: Aslan, Tuğba, et al.
Published: (2018)

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

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

Induced orthogonality in semilattices with 0 and in pseudocomplemented lattices and posets
by: Chajda, Ivan, et al.
Published: (2024)

Correspondence Theory for Many-valued Modal Logic
by: Britz, Cecelia, et al.
Published: (2024)

Quantifier-free formulas and quantifier alternation depth in doctrines
by: Abbadini, Marco, et al.
Published: (2024)

Transposition of variables is hard to describe
by: Andréka, H., et al.
Published: (2024)

Tense logics based on posets
by: Chajda, Ivan, et al.
Published: (2024)

Assume-guarantee contract algebras are dp-algebras
by: Castiglioni, Jose Luis, et al.
Published: (2024)

Normal forms and representable functions in Moisil logic
by: Sipos, Andrei
Published: (2023)

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

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

On some algebraic properties of Plonka sums and regularized varieties
by: Bonzio, S., et al.
Published: (2026)

On the structure of modal and tense operators on a boolean algebra
by: Bezhanishvili, Guram, et al.
Published: (2023)

Degree of Satisfiability in Heyting Algebras
by: Bumpus, Benjamin Merlin, et al.
Published: (2021)

Neighborhood and algebraic models for predicate modal logics with $ω$-rules
by: Tanaka, Yoshihito
Published: (2025)

Locally Integral Involutive PO-Semigroups
by: Gil-Férez, José, et al.
Published: (2023)

Kites and representations of pseudo MV-algebras
by: Botur, Michal, et al.
Published: (2025)

Term algebras of elementarily equivalent atom structures
by: Andréka, H., et al.
Published: (2018)

The logic of bunched implications is undecidable
by: Galatos, Nick, et al.
Published: (2026)

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