Cover Image

First-Order Implication-Space Semantics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Hlobil, Ulf
Format:	Preprint
Published:	2026
Subjects:	Logic 03A99, 03B47
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Self-Reflecting Formal Language
by: Patrakeev, Mikhail
Published: (2023)

Connexive implications in Substructural Logics
by: Fazio, Davide, et al.
Published: (2022)

First-order friendliness
by: Badia, Guillermo, et al.
Published: (2022)

Nontrivial single axiom schemata and their quasi-nontriviality of Leśniewski-Ishimoto's propositional ontology $\bf L_1$
by: Inoué, Takao, et al.
Published: (2024)

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

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

Axioms for Arbitrary Object Theory
by: Steinkrauss, Luca, et al.
Published: (2025)

Dismantling the Surprise Test "Paradox"
by: Dietzfelbinger, Martin
Published: (2026)

Revisiting Interpolation in Relevant Logics
by: Fussner, Wesley, et al.
Published: (2025)

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

Generalized explosion principles
by: Basu, Sankha S., et al.
Published: (2023)

Reasoning from hypotheses in *-continuous action lattices
by: Kuznetsov, Stepan L., et al.
Published: (2024)

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

The Countable Reals
by: Bauer, Andrej, et al.
Published: (2024)

Probabilistic consequence relations
by: Égré, Paul, et al.
Published: (2024)

Paracomplete Probabilities
by: Basu, Sankha S., et al.
Published: (2025)

A diagrammatic proof-theoretic semantics for the Greimas semiotic square
by: Fowler, Michael
Published: (2026)

Rule-Elimination Theorems
by: Roy, Sayantan
Published: (2024)

Quantitative Linear Logic
by: Capucci, Matteo, et al.
Published: (2026)

Compactness in Constructive Mathematics via Affine Logic
by: Kasaura, Kazumi
Published: (2026)

Hyper swap structures and Kalman functors: the case study of da Costa logic $C_ω$
by: Coniglio, Marcelo E., et al.
Published: (2025)

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

Aristotle's Second-Order Logic and Natural Deduction
by: Protin, Clarence
Published: (2023)

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

Maehara Interpolation in Extensions of R-mingle
by: Fussner, Wesley, et al.
Published: (2025)

Kripke-like models of Set Theory in Modal Residuated Logic
by: Moncayo, Jose, et al.
Published: (2024)

First-Order Modal Logic via Logical Categories
by: Ghilardi, Silvio, et al.
Published: (2025)

LF: a Foundational Higher-Order-Logic
by: Goodsell, Zachary, et al.
Published: (2024)

Decision algorithms for fragments of real analysis. II. A theory of differentiable functions with convexity and concavity predicates
by: Cantone, Domenico, et al.
Published: (2024)

A categorical equivalence for monadic algebras of first-order substructural logics motivated by Kalman's construction
by: Wang, Juntao, et al.
Published: (2026)

On the undefinability of pathological Banach spaces
by: Hamel, Clovis, et al.
Published: (2024)

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

Refutability as Recursive as Provability
by: Cattabriga, Paola
Published: (2024)

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

The set-theoretic Kaufmann-Clote question
by: McKenzie, Zachiri
Published: (2025)

Problems with fixpoints of polynomials of polynomials
by: Pradic, Cécilia, et al.
Published: (2026)

Projective Space in Synthetic Algebraic Geometry
by: Cherubini, Felix, et al.
Published: (2024)

Notes on Interpretability between Weak First-order Theories: Theories of Sequences
by: Kristiansen, Lars, et al.
Published: (2024)

The prime spectrum of an $L$-algebra
by: Rump, W., et al.
Published: (2022)

Forcing $\mathbfΣ^1_1$-Separation on $ω_1^{ω_1}$
by: Hoffelner, Stefan
Published: (2026)