Buchumschlag

Non-distributive relatives of ETL and NFL

Fuente: arXiv

Gespeichert in:

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

Ähnliche Einträge

Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss
von: Kozhemiachenko, Daniil
Veröffentlicht: (2024)

Filter-induced entailment relations in paraconsistent Gödel logics
von: Frittella, Sabine, et al.
Veröffentlicht: (2024)

Non-contingecy in a paraconsistent setting
von: Kozhemiachenko, Daniil, et al.
Veröffentlicht: (2024)

Fuzzy bi-Gödel modal logic and its paraconsistent relatives
von: Bilkova, Marta, et al.
Veröffentlicht: (2023)

Complexity of Abduction in Łukasiewicz Logic
von: Inoue, Katsumi, et al.
Veröffentlicht: (2025)

Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
von: Kozhemiachenko, Daniil, et al.
Veröffentlicht: (2026)

Abductive Reasoning in a Paraconsistent Framework
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Modal Logic for Reasoning About Uncertainty and Confusion
von: Bílková, Marta, et al.
Veröffentlicht: (2025)

Queries With Exact Truth Values in Paraconsistent Description Logics
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Simple tableaux for two expansions of Gödel modal logic
von: Bilkova, Marta, et al.
Veröffentlicht: (2024)

Tableaux for epistemic Gödel logic
von: Bílková, Marta, et al.
Veröffentlicht: (2025)

Complexity of Łukasiewicz Modal Probabilistic Logics
von: Kozhemiachenko, Daniil, et al.
Veröffentlicht: (2025)

Probabilistic Abduction in a Fuzzy Logic Framework
von: Flaminio, Tommaso, et al.
Veröffentlicht: (2026)

Paraconsistent Constructive Modal Logic
von: Gao, Han, et al.
Veröffentlicht: (2025)

Two-layered logics for probabilities and belief functions over Belnap--Dunn logic
von: Bilkova, Marta, et al.
Veröffentlicht: (2024)

Qualitative reasoning in a two-layered framework
von: Bilkova, Marta, et al.
Veröffentlicht: (2022)

Non-distributive description logic
von: van der Berg, Ineke, et al.
Veröffentlicht: (2023)

Hyperintensional Intention
von: Khaitovich, Daniil, et al.
Veröffentlicht: (2025)

Intrinsic and relative characterization results for logics with negative modalities
von: de Groot, Jim, et al.
Veröffentlicht: (2025)

A logic of judgmental existence and its relation to proof irrelevance
von: Pezlar, Ivo
Veröffentlicht: (2024)

Non-Derivability Results in Polymorphic Dependent Type Theory
von: Geuvers, Herman
Veröffentlicht: (2026)

Duality theory and representations for distributive quasi relation algebras and DInFL-algebras
von: Craig, Andrew, et al.
Veröffentlicht: (2025)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
von: Pacheco, Leonardo
Veröffentlicht: (2026)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
von: Artale, Alessandro, et al.
Veröffentlicht: (2025)

Approximate equivalence relations
von: Hrushovski, Ehud
Veröffentlicht: (2024)

Relating forcing relations
von: Smykalla, Michel Viana, et al.
Veröffentlicht: (2026)

Cauchy-completions and the rule of unique choice in relational doctrines
von: Dagnino, Francesco, et al.
Veröffentlicht: (2024)

The distribution of ITRM-recognizable reals
von: Carl, Merlin
Veröffentlicht: (2012)

On the regularity of almost stable relations
von: Girón, Marcos
Veröffentlicht: (2025)

Graphings of arithmetical equivalence relations
von: Arant, Tyler
Veröffentlicht: (2025)

Satisfiability in Łukasiewicz logic and its unbounded relative
von: Haniková, Zuzana, et al.
Veröffentlicht: (2025)

Equivalence of multiset-based consequence relations
von: Madanshekaf, Ali, et al.
Veröffentlicht: (2024)

Non-Galvin Filters
von: Benhamou, Tom, et al.
Veröffentlicht: (2022)

Independence relations in the Solovay model I
von: Zapletal, Jindrich
Veröffentlicht: (2025)

Consistency of square bracket partition relation
von: Shelah, Saharon
Veröffentlicht: (2026)

On ideals related to Laver and Miller trees
von: Cieślak, Aleksander, et al.
Veröffentlicht: (2023)

On the universal theory of the free pseudocomplemented distributive lattice
von: Carai, Luca, et al.
Veröffentlicht: (2024)

Order structure of P-point ultrafilters and their relatives
von: Kuzeljevic, Borisa, et al.
Veröffentlicht: (2024)

An order analysis of hyperfinite Borel equivalence relations
von: Gao, Su, et al.
Veröffentlicht: (2024)

Characterizing relative decidability in terms of model completeness
von: Harrison-Trainor, Matthew, et al.
Veröffentlicht: (2026)