In Memoriam Vadim Anatol'evich Yankov (1935-2024)
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
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)
by: Inoué, Takao, et al.
Published: (2024)
Algorithmic Randomness, Effective Disintegrations, and Rates of Convergence to the Truth
by: Huttegger, Simon M., et al.
Published: (2024)
by: Huttegger, Simon M., et al.
Published: (2024)
Categoricity for an inferential $ω$-logic and in $L_{ω_1,ω}$
by: Baldwin, John T., et al.
Published: (2026)
by: Baldwin, John T., et al.
Published: (2026)
Carnapian Frameworks and Categoricity of Arithmetic via Inferential $ω$-logics
by: Baldwin, John T., et al.
Published: (2026)
by: Baldwin, John T., et al.
Published: (2026)
Constructive validity of a generalized Kreisel-Putnam rule
by: Pezlar, Ivo
Published: (2023)
by: Pezlar, Ivo
Published: (2023)
A Self-Reflecting Formal Language
by: Patrakeev, Mikhail
Published: (2023)
by: Patrakeev, Mikhail
Published: (2023)
Connexive implications in Substructural Logics
by: Fazio, Davide, et al.
Published: (2022)
by: Fazio, Davide, et al.
Published: (2022)
When Bi-interpretability implies Synonymy
by: Friedman, Harvey M., et al.
Published: (2025)
by: Friedman, Harvey M., et al.
Published: (2025)
Modal Exchangeability: Centered Symmetry and the Credal Architecture of Kripke Frames
by: Zantedeschi, Daniel
Published: (2026)
by: Zantedeschi, Daniel
Published: (2026)
Modern Definition and Ancient Definition
by: Protin, Clarence
Published: (2022)
by: Protin, Clarence
Published: (2022)
Aristotle's Second-Order Logic and Natural Deduction
by: Protin, Clarence
Published: (2023)
by: Protin, Clarence
Published: (2023)
An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
by: Coquand, Thierry, et al.
Published: (2017)
by: Coquand, Thierry, et al.
Published: (2017)
Zilber dichotomy for $DCF_{0,m}$
by: Sanchez, Omar Leon
Published: (2024)
by: Sanchez, Omar Leon
Published: (2024)
Logical reduction of relations: from relational databases to Peirce's reduction thesis
by: Koshkin, Sergiy
Published: (2024)
by: Koshkin, Sergiy
Published: (2024)
Labeled Sequent Calculus and Countermodel Construction for Justification Logics
by: Ghari, Meghdad
Published: (2014)
by: Ghari, Meghdad
Published: (2014)
The Axiom of Real Determinacy and the Axiom of Real Blackwell Determinacy
by: Ikegami, Daisuke, et al.
Published: (2025)
by: Ikegami, Daisuke, et al.
Published: (2025)
Axioms for Arbitrary Object Theory
by: Steinkrauss, Luca, et al.
Published: (2025)
by: Steinkrauss, Luca, et al.
Published: (2025)
LF: a Foundational Higher-Order-Logic
by: Goodsell, Zachary, et al.
Published: (2024)
by: Goodsell, Zachary, et al.
Published: (2024)
Fractional Helly property and combinatorics of forking in NTP$_2$ theories
by: Chernikov, Artem, et al.
Published: (2026)
by: Chernikov, Artem, et al.
Published: (2026)
Maximal order types for sequences with gap condition
by: Uftring, Patrick
Published: (2025)
by: Uftring, Patrick
Published: (2025)
Strict potentialism in modal mirrors
by: Linnebo, Øystein
Published: (2026)
by: Linnebo, Øystein
Published: (2026)
The variety of coset relation algebras
by: Givant, Steven, et al.
Published: (2018)
by: Givant, Steven, et al.
Published: (2018)
Natural Term Logic
by: Protin, Clarence
Published: (2024)
by: Protin, Clarence
Published: (2024)
The Ramsey property and higher dimensional mad families
by: Schrittesser, David, et al.
Published: (2020)
by: Schrittesser, David, et al.
Published: (2020)
A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
by: Anttila, Aleksi, et al.
Published: (2025)
by: Anttila, Aleksi, et al.
Published: (2025)
Is Peirce's reduction thesis gerrymandered?
by: Koshkin, Sergiy
Published: (2024)
by: Koshkin, Sergiy
Published: (2024)
Dismantling the Surprise Test "Paradox"
by: Dietzfelbinger, Martin
Published: (2026)
by: Dietzfelbinger, Martin
Published: (2026)
What model companionship can say about the Continuum problem
by: Venturi, Giorgio, et al.
Published: (2022)
by: Venturi, Giorgio, et al.
Published: (2022)
Paracomplete Probabilities
by: Basu, Sankha S., et al.
Published: (2025)
by: Basu, Sankha S., et al.
Published: (2025)
Finite models for positive combinatorial and exponential algebra
by: Alsulami, Tumadhir, et al.
Published: (2024)
by: Alsulami, Tumadhir, et al.
Published: (2024)
Metric Double Complements of Convex Sets
by: Bridges, Douglas S.
Published: (2025)
by: Bridges, Douglas S.
Published: (2025)
Revisiting Interpolation in Relevant Logics
by: Fussner, Wesley, et al.
Published: (2025)
by: Fussner, Wesley, et al.
Published: (2025)
Cardinality in a paraconsistent and paracomplete set theory
by: Oddsson, Hrafn Valtýr
Published: (2026)
by: Oddsson, Hrafn Valtýr
Published: (2026)
On quantitative convergence for stochastic processes: Crossings, fluctuations and martingales
by: Neri, Morenikeji, et al.
Published: (2024)
by: Neri, Morenikeji, et al.
Published: (2024)
Wand/set theories: A realization of Conway's mathematicians' liberation movement, with an application to Church's set theory with a universal set
by: Button, Tim
Published: (2023)
by: Button, Tim
Published: (2023)
Finite sets, mappings, cardinals, and arithmetic in intuitionistic NF
by: Beeson, Michael
Published: (2021)
by: Beeson, Michael
Published: (2021)
The iterative conception of function and the iterative conception of set
by: Button, Tim
Published: (2023)
by: Button, Tim
Published: (2023)
Diagrams of opposition: an algebraic viewpoint
by: Wu, Chai Wah
Published: (2024)
by: Wu, Chai Wah
Published: (2024)
Theoremizing Yablo's Paradox
by: Karimi, Ahmad, et al.
Published: (2014)
by: Karimi, Ahmad, et al.
Published: (2014)
The modal theory of linear orders
by: Wołoszyn, Wojciech Aleksander
Published: (2026)
by: Wołoszyn, Wojciech Aleksander
Published: (2026)