Cover Image

Axiomatics of Restricted Choices by Linear Orders of Sets with Minimum as Fallback

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Sauerwald, Kai, Skiba, Kenneth, Fermé, Eduardo, Meyer, Thomas
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Logic in Computer Science 03E99, 91B14 I.2.4
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On Strongly-equitable Social Welfare Orders Without the Axiom of Choice
by: Serafin, Luke
Published: (2024)

A partial-state space model of unawareness
by: Holliday, Wesley H.
Published: (2024)

The Realizability of Revision and Contraction Operators in Epistemic Spaces
by: Sauerwald, Kai, et al.
Published: (2024)

Axiomatization of approximate exclusion
by: Häggblom, Matilda
Published: (2024)

Axiomatizing approximate inclusion
by: Häggblom, Matilda
Published: (2025)

Morita Rigidity for Kleene Algebras
by: Serafin, Luke
Published: (2025)

The $\mathsf{HOD}$ Hypothesis and a supercompact cardinal
by: Cheng, Yong
Published: (2018)

First-Order Coalition Logic
by: Catta, Davide, et al.
Published: (2025)

On the Complexity of the Discussion-based Semantics in Abstract Argumentation
by: Blümel, Lydia, et al.
Published: (2026)

Axiomatization and Forcing in Set Theory with Urelements
by: Yao, Bokai
Published: (2022)

Generalized Von Neumann Universe and Non-Well-Founded Sets
by: Zhang, Eugene
Published: (2023)

The Logic of Correct Models
by: Aguilera, Juan Pablo, et al.
Published: (2024)

Agent Interpolation for Knowledge
by: Bílková, Marta, et al.
Published: (2025)

Coloring equilateral triangles
by: Zapletal, Jindrich
Published: (2025)

Faithful Logic Embeddings in HOL -- Deep and Shallow
by: Benzmüller, Christoph
Published: (2025)

Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
by: Benzmüller, Christoph, et al.
Published: (2026)

A Coq-based Axiomatization of Tarski's Mereogeometry
by: Barlatier, Patrick, et al.
Published: (2025)

Bounded Model Checking for Unbounded Client Server Systems
by: Phawade, Ramchandra, et al.
Published: (2022)

Generalized Borel Sets
by: Agostini, Claudio, et al.
Published: (2025)

A Primer for Preferential Non-Monotonic Propositional Team Logics
by: Sauerwald, Kai, et al.
Published: (2024)

Modal logic, fundamentally
by: Holliday, Wesley H.
Published: (2024)

Mechanised uniform interpolation for modal logics K, GL, and iSL
by: Férée, Hugo, et al.
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)

On the Complexity and Properties of Preferential Propositional Dependence Logic
by: Sauerwald, Kai, et al.
Published: (2025)

Representation Theorems for Cumulative Propositional Dependence Logics
by: Kontinen, Juha, et al.
Published: (2026)

On the Complexity of Entailment for Cumulative Propositional Dependence Logics
by: Sauerwald, Kai, et al.
Published: (2026)

Almost refinement, reaping, and ultrafilter numbers
by: Brendle, Jörg, et al.
Published: (2024)

A Closer Look at the Russell Paradox
by: Sheridan, Flash
Published: (2021)

Cofinal families of finite VC-dimension
by: Ben-Neria, Omer, et al.
Published: (2025)

Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems
by: Wright, Craig Steven
Published: (2025)

The Coase Theorem and Ideal Exchanges
by: Lü, Daniel
Published: (2025)

Hindman and Owings-like theorems without the Axiom of Choice
by: Guzmán-Vega, José A., et al.
Published: (2026)

A foundational characterization of Hoare Logic
by: Leivant, Daniel
Published: (2026)

Generalized Baire class functions
by: Ros, Luca Motto, et al.
Published: (2024)

Librationism & its classical and extraclassical set theories
by: Bjørdal, Frode A.
Published: (2022)

A Note About Models of Synthetic Algebraic Geometry
by: Coquand, Thierry, et al.
Published: (2025)

Vague Knowledge: Evidence from Analyst Reports
by: Xiao, Kerry, et al.
Published: (2025)

Maximal δ-separated sets in separable metric spaces and weak forms of choice
by: Dybowski, Michał, et al.
Published: (2024)

A Guide to Krivine Realizability for Set Theory
by: Matthews, Richard
Published: (2023)