Image de couverture de livre

On the minimization k-valued logic functions in the class of disjunctive normal forms

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kabulov, Anvar, Baizhumanov, Abdussattar, Berdimurodov, Mansur
Format:	Preprint
Publié:	2024
Sujets:	Logic 03B50
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

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

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

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

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

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

Hierarchical formula classes with respect to semi-classical prenex normalization
par: Fujiwara, Makoto, et autres
Publié: (2025)

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

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

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

Generating proof systems for three-valued propositional logics
par: Greati, Vitor, et autres
Publié: (2024)

On logical parameterizations and functional representability in local set theories
par: Hernández, Enrique Ruiz, et autres
Publié: (2021)

Rational Lukasiewicz logic and DMV-algebras
par: Gerla, Brunella
Publié: (2012)

ST and TS as Product and Sum
par: Blomet, Quentin, et autres
Publié: (2024)

A declarative approach to specifying distributed algorithms using three-valued modal logic
par: Gabbay, Murdoch J., et autres
Publié: (2025)

Topological semantics for a non-self-extensional LFI
par: Jain, Esha, et autres
Publié: (2025)

On an ordinary expansion of first-order Belnap-Dunn logic
par: Middelburg, C. A.
Publié: (2023)

An analogue of U-rank for atomic classes
par: Baldwin, John T., et autres
Publié: (2025)

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

A taxonomy for controlling (in)consistency
par: Coniglio, Marcelo E., et autres
Publié: (2026)

The Compatibility of the Minimalist Foundation with Homotopy Type Theory
par: Contente, Michele, et autres
Publié: (2022)

Algebraizable Weak Logics
par: Nakov, Georgi, et autres
Publié: (2022)

Lewis and Brouwer meet Strong Löb
par: Visser, Albert, et autres
Publié: (2024)

Expansions of the group $Z_8$ (Part I)
par: Ploščica, Miroslav, et autres
Publié: (2026)

Modal logics of almost sure validities in some classes of euclidean and transitive frames
par: Sliusarev, Vladislav
Publié: (2024)

A vector logic for extensional formal semantics
par: Quigley, Daniel
Publié: (2024)

Towards a logic of affordances
par: Gruszczynski, Rafal, et autres
Publié: (2025)

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
par: Coniglio, Marcelo E.
Publié: (2023)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
par: Stanković, Marko, et autres
Publié: (2025)

Cardinality in a paraconsistent and paracomplete set theory
par: Oddsson, Hrafn Valtýr
Publié: (2026)

Encoding argumentation frameworks with set attackers to propositional logic systems
par: Tang, Shuai, et autres
Publié: (2025)

Satisfaction classes with approximate disjunctive correctness
par: Enayat, Ali
Publié: (2023)

On Many-logic modal structures and information-based logics
par: Martins, Manuel, et autres
Publié: (2026)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
par: Tang, Shuai
Publié: (2025)

A general approach to asymptotic elimination of aggregation functions and generalized quantifiers
par: Koponen, Vera, et autres
Publié: (2023)

A minimalist two-level foundation for constructive mathematics
par: Maietti, Maria Emilia
Publié: (2008)

Uniformization of ladder system colorings and stationary precaliber forcings
par: Aoki, Yushiro
Publié: (2025)

A vector logic for intensional formal semantics
par: Quigley, Daniel
Publié: (2026)

Weak compactness cardinals for strong logics and subtlety properties of the class of ordinals
par: Lücke, Philipp
Publié: (2024)

The Myhill isomorphism theorem does not generalize much
par: Pradic, Cécilia
Publié: (2025)