:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Kabulov, Anvar, Baizhumanov, Abdussattar, Berdimurodov, Mansur
Format:	Preprint
Published:	2024
Subjects:	Logic 03B50
Online Access:	https://arxiv.org/abs/2401.17413
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

Multiplicative logic in arithmetic
by: Zhuravlov, Volodymyr
Published: (2024)

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

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

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

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

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

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

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

Rational Lukasiewicz logic and DMV-algebras
by: Gerla, Brunella
Published: (2012)

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

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

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

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

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

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

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

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

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

Algebraizable Weak Logics
by: Nakov, Georgi, et al.
Published: (2022)

A vector logic for extensional formal semantics
by: Quigley, Daniel
Published: (2024)

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

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

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

A vector logic for intensional formal semantics
by: Quigley, Daniel
Published: (2026)

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

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

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

Satisfaction classes with approximate disjunctive correctness
by: Enayat, Ali
Published: (2023)

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

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

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

Towards a logic of affordances
by: Gruszczynski, Rafal, et al.
Published: (2025)

Rotations of Gödel algebras with modal operators
by: Flaminio, Tommaso, et al.
Published: (2024)

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

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

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