Buchumschlag

A Basic Łukasiewicz m-valued conditional logic

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Huo, Shuquan
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic 03B50, 03B45
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On three-valued presentations of classical logic
von: da Ré, Bruno, et al.
Veröffentlicht: (2023)

Rational Lukasiewicz logic and DMV-algebras
von: Gerla, Brunella
Veröffentlicht: (2012)

Modular many-valued semantics for combined logics
von: Caleiro, Carlos, et al.
Veröffentlicht: (2022)

Multiplicative logic in arithmetic
von: Zhuravlov, Volodymyr
Veröffentlicht: (2024)

Towards a logic of affordances
von: Gruszczynski, Rafal, et al.
Veröffentlicht: (2025)

Lewis and Brouwer meet Strong Löb
von: Visser, Albert, et al.
Veröffentlicht: (2024)

A classical-logic view on a paraconsistent logic
von: Middelburg, C. A.
Veröffentlicht: (2020)

On the minimization k-valued logic functions in the class of disjunctive normal forms
von: Kabulov, Anvar, et al.
Veröffentlicht: (2024)

Equivalence of finite non-deterministic logical matrices is undecidable
von: Caleiro, Carlos, et al.
Veröffentlicht: (2024)

Conditional reasoning and the shadows it casts onto the first-order logic: the Nelsonian case
von: Olkhovikov, Grigory
Veröffentlicht: (2024)

On Many-logic modal structures and information-based logics
von: Martins, Manuel, et al.
Veröffentlicht: (2026)

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

The most natural paradefinite logic relative to classical logic
von: Middelburg, C. A.
Veröffentlicht: (2026)

Cut-free sequent calculi for the provability logic D
von: Kashima, Ryo, et al.
Veröffentlicht: (2023)

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

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
von: Stanković, Marko, et al.
Veröffentlicht: (2025)

On connexivity in modal and conditional contexts
von: Olkhovikov, Grigory K.
Veröffentlicht: (2025)

Models for the common knowledge logic
von: Tanaka, Yoshihito
Veröffentlicht: (2024)

Monotonicity versus positivity in modal logics
von: Dvorkin, Lev
Veröffentlicht: (2026)

Modal weak Kleene logics: axiomatizations and relational semantics
von: Bonzio, Stefano, et al.
Veröffentlicht: (2024)

Modal logics of almost sure validities in some classes of euclidean and transitive frames
von: Sliusarev, Vladislav
Veröffentlicht: (2024)

The interdefinability of expansions of Belnap-Dunn logic
von: Middelburg, C. A.
Veröffentlicht: (2024)

Blok-Esakia Theorems via Stable Canonical Rules
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2022)

A proof system for the positive fragment of GL
von: Tanaka, Yoshihito
Veröffentlicht: (2026)

Rotations of Gödel algebras with modal operators
von: Flaminio, Tommaso, et al.
Veröffentlicht: (2024)

Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
von: Sato, Yuta
Veröffentlicht: (2025)

Intuitionistic Common Knowledge
von: Zenger, Lukas
Veröffentlicht: (2026)

On the unification problem for GLP
von: Beklemishev, Lev D.
Veröffentlicht: (2024)

On the expressive power of inquisitive epistemic logic
von: Ciardelli, Ivano, et al.
Veröffentlicht: (2023)

Visser frames for sublogics of $\mathbf{IL}$
von: Okawa, Yuya, et al.
Veröffentlicht: (2022)

Pretabular Tense Logics over S4t
von: Chen, Qian
Veröffentlicht: (2024)

Degree of Kripke-incompleteness of Tense Logics
von: Chen, Qian
Veröffentlicht: (2025)

Failure of Esakia's theorem in the monadic setting
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2024)

Modal Semantics for Reasoning with Probability and Uncertainty
von: Guallart, Nino
Veröffentlicht: (2024)

Esakia's theorem for the amended monadic intuitionistic calculus
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2025)

ST and TS as Product and Sum
von: Blomet, Quentin, et al.
Veröffentlicht: (2024)

Swap Kripke models for deontic LFIs
von: Vaz, Mahan, et al.
Veröffentlicht: (2025)

Topological semantics for a non-self-extensional LFI
von: Jain, Esha, et al.
Veröffentlicht: (2025)

Sufficient conditions for local tabularity of a polymodal logic
von: Shapirovsky, Ilya B.
Veröffentlicht: (2022)

On the Logical and Algebraic Aspects of Reasoning with Formal Contexts
von: Howlader, Prosenjit, et al.
Veröffentlicht: (2024)