Image de couverture de livre

Rational Lukasiewicz logic and DMV-algebras

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Gerla, Brunella
Format:	Preprint
Publié:	2012
Sujets:	Logic 06D35, 03B50
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Normal forms and representable functions in Moisil logic
par: Sipos, Andrei
Publié: (2023)

A Basic Łukasiewicz m-valued conditional logic
par: Huo, Shuquan
Publié: (2024)

The unification type of Lukasiewicz logic with a bounded number of variables
par: Abbadini, Marco, et autres
Publié: (2025)

Algorithmic correspondence and analytic rules
par: De Domenico, Andrea, et autres
Publié: (2022)

A new representation of finite Hoops using a new type of product of structures
par: Botur, Michal
Publié: (2025)

Equivalence of finite non-deterministic logical matrices is undecidable
par: Caleiro, Carlos, et autres
Publié: (2024)

Correspondence Theory for Many-valued Modal Logic
par: Britz, Cecelia, et autres
Publié: (2024)

On actions and split extensions in varieties of hoops: the case of strong section
par: Mancini, Manuel, et autres
Publié: (2025)

An effective version of the Stone duality
par: Bazhenov, Nikolay A., et autres
Publié: (2026)

Maximality Principles in Modal Logic and the Axiom of Choice
par: Almeida, Rodrigo Nicolau, et autres
Publié: (2024)

A characterization of Continuous Logic by using quantale-valued logics
par: Reyes, David, et autres
Publié: (2021)

MV-frames
par: Nganou, Jean B
Publié: (2024)

Multiplicative logic in arithmetic
par: Zhuravlov, Volodymyr
Publié: (2024)

(Extra)ordinary equivalences with the ascending/descending sequence principle
par: Fiori-Carones, Marta, et autres
Publié: (2021)

Modular many-valued semantics for combined logics
par: Caleiro, Carlos, et autres
Publié: (2022)

Connexive logics and connexive semi-Heyting algebras
par: Cornejo, Juan M., et autres
Publié: (2025)

The most natural paradefinite logic relative to classical logic
par: Middelburg, C. A.
Publié: (2026)

On the minimization k-valued logic functions in the class of disjunctive normal forms
par: Kabulov, Anvar, et autres
Publié: (2024)

Tropicalization through the lens of Łukasiewicz logic, with a topos theoretic perspective
par: Di Nola, Antonio, et autres
Publié: (2024)

On three-valued presentations of classical logic
par: da Ré, Bruno, et autres
Publié: (2023)

A classical-logic view on a paraconsistent logic
par: Middelburg, C. A.
Publié: (2020)

Implications in pseudocomplemented and Stone lattices
par: Chajda, Ivan, et autres
Publié: (2024)

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

The interdefinability of expansions of Belnap-Dunn logic
par: Middelburg, C. A.
Publié: (2024)

$\mathbb{M}^*$, $\mathbb{N}^*$, and $\mathbb{H}^*$
par: Brian, Will, et autres
Publié: (2025)

A categorical equivalence for monadic algebras of first-order substructural logics motivated by Kalman's construction
par: Wang, Juntao, et autres
Publié: (2026)

Quasivarieties of p-algebras: some new results
par: Kowalski, Tomasz, et autres
Publié: (2024)

Decidable varieties of p-algebras
par: Kowalski, Tomasz, et autres
Publié: (2024)

Coexact completion of profinite Heyting algebras and uniform interpolation
par: Ye, Lingyuan
Publié: (2026)

Free algebras and coproducts in varieties of Gödel algebras
par: Carai, Luca
Publié: (2024)

Continuous and algebraic domains in univalent foundations
par: de Jong, Tom, et autres
Publié: (2024)

Intuitionism and computing with partial information
par: Ganchev, Hristo, et autres
Publié: (2026)

Possibility Semantics
par: Holliday, Wesley H.
Publié: (2024)

Embeddings into P(N)/fin and extension of automorphisms
par: Bella, A., et autres
Publié: (2001)

The prime spectrum of an $L$-algebra
par: Rump, W., et autres
Publié: (2022)

Some results on the $π$-weight of countable Fréchet-Urysohn spaces
par: Dow, Alan
Publié: (2025)

Varieties of MV-monoids and positive MV-algebras
par: Abbadini, Marco, et autres
Publié: (2024)

Failure of the Blok-Esakia Theorem in the monadic setting
par: Bezhanishvili, Guram, et autres
Publié: (2024)

Intuitionistic Sahlqvist theory for deductive systems
par: Fornasiere, Damiano, et autres
Publié: (2022)

On the equational theory of finite modular lattices
par: Herrmann, Christian
Publié: (2024)