Imagen de Portada

In Defence of the Material Conditional

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Gheorghiu, Alexander V.
Formato:	Preprint
Publicado:	2026
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Support is Search
por: Gheorghiu, Alexander V.
Publicado: (2026)

Proof-theoretic Semantics for First-order Logic
por: Gheorghiu, Alexander V.
Publicado: (2024)

On the Concept of Arithmetic Conseqeunce
por: Gheorghiu, Alexander V.
Publicado: (2026)

Classical Logic without Bivalance
por: Gheorghiu, Alexander V.
Publicado: (2025)

On an Inferential Semantics for Intuitionistic Sentential Logic
por: Gheorghiu, Alexander V.
Publicado: (2025)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
por: Gheorghiu, Alexander V., et al.
Publicado: (2025)

Proof-theoretic Semantics for Second-order Logic
por: Gheorghiu, Alexander V., et al.
Publicado: (2025)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
por: Gheorghiu, Alexander V., et al.
Publicado: (2022)

Semantic Foundations of Reductive Reasoning
por: Gheorghiu, Alexander V., et al.
Publicado: (2024)

Verification of Robust Properties for Access Control Policies
por: Gheorghiu, Alexander V.
Publicado: (2026)

Proof-theoretic Semantics for the Logic of Bunched Implications
por: Gu, Tao, et al.
Publicado: (2023)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
por: Gheorghiu, Alexander V., et al.
Publicado: (2023)

Inferentialist Resource Semantics
por: Gheorghiu, Alexander V., et al.
Publicado: (2024)

A Note on the Practice of Logical Inferentialism
por: Gheorghiu, Alexander V., et al.
Publicado: (2024)

On the Logical Content of Knowledge Bases
por: Gheorghiu, Alexader V., et al.
Publicado: (2025)

A Note on an Inferentialist Approach to Resource Semantics
por: Gheorghiu, Alexander V., et al.
Publicado: (2024)

Provability in BI's Sequent Calculus is Decidable
por: Gheorghiu, Alexander, et al.
Publicado: (2021)

Incompleteness in Quantified Conditional Logic
por: Kocurek, Alexander W., et al.
Publicado: (2026)

Equivalence and Conditional Independence in Atomic Sheaf Logic
por: Simpson, Alex
Publicado: (2024)

Comparing Anti-foundation Axioms by Comparing Identity Conditions for Sets
por: Ju, Daheng, et al.
Publicado: (2024)

Higher Dimensional Chain Conditions
por: Todorcevic, Stevo, et al.
Publicado: (2023)

Generating Rely-Guarantee Conditions with the Conditional-Writes Domain
por: Tobler, James, et al.
Publicado: (2026)

Bringing closure to theory combination properties
por: Toledo, Guilherme V., et al.
Publicado: (2026)

Shininess, strong politeness, and unicorns
por: Przybocki, Benjamin, et al.
Publicado: (2025)

Characterizing Sets of Theories That Can Be Disjointly Combined
por: Przybocki, Benjamin, et al.
Publicado: (2025)

Being polite is not enough (and other limits of theory combination)
por: Toledo, Guilherme V., et al.
Publicado: (2025)

On $\lam$-existence over a predicate
por: Usvyatsov, Alexander
Publicado: (2026)

Stability over a predicate and prime closure
por: Usvyatsov, Alexander
Publicado: (2024)

On the existence property over a predicate
por: Usvyatsov, Alexander
Publicado: (2025)

On Approximate Classification of Theories
por: Burka, Alexander
Publicado: (2025)

On Categories of Nested Conditions
por: Rensink, Arend, et al.
Publicado: (2024)

Many-valued coalgebraic logic over semi-primal varieties
por: Kurz, Alexander, et al.
Publicado: (2023)

Counting in Uncountably Categorical Pseudofinite Structures
por: Van Abel, Alexander
Publicado: (2021)

Categorial grammars with unique category assignment
por: Vishnikin, Maxim, et al.
Publicado: (2025)

Stable amalgamation over a predicate and the Gaifman property
por: Shelah, Saharon, et al.
Publicado: (2025)

Herbrand's Theorem in Refutation Schemata
por: Leitsch, Alexander, et al.
Publicado: (2024)

Borel Families of Games
por: Kastner, Alexander, et al.
Publicado: (2024)

Computably totally disconnected locally compact groups
por: Melnikov, Alexander, et al.
Publicado: (2022)

On Innovative Conditions of Diamond‐∝ Inequalities and Their Applications
por: Lütfi Akın, et al.
Publicado: (2025)

Model Theory of Hilbert Spaces with a Discrete Group Action
por: Berenstein, Alexander, et al.
Publicado: (2024)