Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Kabulov, Anvar, Baizhumanov, Abdussattar, Berdimurodov, Mansur
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic 03B50
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Modular many-valued semantics for combined logics
di: Caleiro, Carlos, et al.
Pubblicazione: (2022)

A Basic Łukasiewicz m-valued conditional logic
di: Huo, Shuquan
Pubblicazione: (2024)

On three-valued presentations of classical logic
di: da Ré, Bruno, et al.
Pubblicazione: (2023)

Normal forms and representable functions in Moisil logic
di: Sipos, Andrei
Pubblicazione: (2023)

Multiplicative logic in arithmetic
di: Zhuravlov, Volodymyr
Pubblicazione: (2024)

The most natural paradefinite logic relative to classical logic
di: Middelburg, C. A.
Pubblicazione: (2026)

Hierarchical formula classes with respect to semi-classical prenex normalization
di: Fujiwara, Makoto, et al.
Pubblicazione: (2025)

A classical-logic view on a paraconsistent logic
di: Middelburg, C. A.
Pubblicazione: (2020)

Equivalence of finite non-deterministic logical matrices is undecidable
di: Caleiro, Carlos, et al.
Pubblicazione: (2024)

The interdefinability of expansions of Belnap-Dunn logic
di: Middelburg, C. A.
Pubblicazione: (2024)

Generating proof systems for three-valued propositional logics
di: Greati, Vitor, et al.
Pubblicazione: (2024)

On logical parameterizations and functional representability in local set theories
di: Hernández, Enrique Ruiz, et al.
Pubblicazione: (2021)

Rational Lukasiewicz logic and DMV-algebras
di: Gerla, Brunella
Pubblicazione: (2012)

ST and TS as Product and Sum
di: Blomet, Quentin, et al.
Pubblicazione: (2024)

A declarative approach to specifying distributed algorithms using three-valued modal logic
di: Gabbay, Murdoch J., et al.
Pubblicazione: (2025)

Topological semantics for a non-self-extensional LFI
di: Jain, Esha, et al.
Pubblicazione: (2025)

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

An analogue of U-rank for atomic classes
di: Baldwin, John T., et al.
Pubblicazione: (2025)

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

A taxonomy for controlling (in)consistency
di: Coniglio, Marcelo E., et al.
Pubblicazione: (2026)

The Compatibility of the Minimalist Foundation with Homotopy Type Theory
di: Contente, Michele, et al.
Pubblicazione: (2022)

Algebraizable Weak Logics
di: Nakov, Georgi, et al.
Pubblicazione: (2022)

Lewis and Brouwer meet Strong Löb
di: Visser, Albert, et al.
Pubblicazione: (2024)

Expansions of the group $Z_8$ (Part I)
di: Ploščica, Miroslav, et al.
Pubblicazione: (2026)

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

A vector logic for extensional formal semantics
di: Quigley, Daniel
Pubblicazione: (2024)

Towards a logic of affordances
di: Gruszczynski, Rafal, et al.
Pubblicazione: (2025)

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

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
di: Stanković, Marko, et al.
Pubblicazione: (2025)

Cardinality in a paraconsistent and paracomplete set theory
di: Oddsson, Hrafn Valtýr
Pubblicazione: (2026)

Encoding argumentation frameworks with set attackers to propositional logic systems
di: Tang, Shuai, et al.
Pubblicazione: (2025)

Satisfaction classes with approximate disjunctive correctness
di: Enayat, Ali
Pubblicazione: (2023)

On Many-logic modal structures and information-based logics
di: Martins, Manuel, et al.
Pubblicazione: (2026)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
di: Tang, Shuai
Pubblicazione: (2025)

A general approach to asymptotic elimination of aggregation functions and generalized quantifiers
di: Koponen, Vera, et al.
Pubblicazione: (2023)

A minimalist two-level foundation for constructive mathematics
di: Maietti, Maria Emilia
Pubblicazione: (2008)

Uniformization of ladder system colorings and stationary precaliber forcings
di: Aoki, Yushiro
Pubblicazione: (2025)

A vector logic for intensional formal semantics
di: Quigley, Daniel
Pubblicazione: (2026)

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

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