Copertina

Modern Definition and Ancient Definition

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Protin, Clarence
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	History and Overview Logic 03-03, 03A05, 03B45, 03B65
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Natural Term Logic
di: Protin, Clarence
Pubblicazione: (2024)

On foundations for deductive mathematics
di: Quinn, Frank
Pubblicazione: (2024)

Hegel and Modern Topology
di: Protin, Clarence
Pubblicazione: (2025)

Any function I can actually write down is measurable, right?
di: Hanson, James E.
Pubblicazione: (2025)

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

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
di: Coquand, Thierry, et al.
Pubblicazione: (2017)

Cut-free sequent calculi for the provability logic D
di: Kashima, Ryo, et al.
Pubblicazione: (2023)

A formula for any real number, maybe
di: Hanson, James E., et al.
Pubblicazione: (2026)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
di: Lyon, Tim S.
Pubblicazione: (2025)

A foundation for deductive mathematics
di: Quinn, Frank
Pubblicazione: (2021)

Some Unpublished Letters by Gödel and von Neumann in the Fraenkel Archive
di: Mancosu, Paolo, et al.
Pubblicazione: (2023)

Dismantling the Surprise Test "Paradox"
di: Dietzfelbinger, Martin
Pubblicazione: (2026)

Blok-Esakia Theorems via Stable Canonical Rules
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2022)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
di: Ghari, Meghdad
Pubblicazione: (2014)

On the Contingency of Logic in Possible World Semantics
di: van der Giessen, Iris, et al.
Pubblicazione: (2025)

Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
di: Sato, Yuta
Pubblicazione: (2025)

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

State-based Modal Logics for Free Choice
di: Aloni, Maria, et al.
Pubblicazione: (2023)

Interleaving Logic and Counting
di: van Benthem, Johan, et al.
Pubblicazione: (2025)

Modern incarnations of the Aristotelian concepts of Continuum and Topos
di: Protin, Clarence
Pubblicazione: (2021)

Strict potentialism in modal mirrors
di: Linnebo, Øystein
Pubblicazione: (2026)

Secrets and Quantifiers
di: Bajnok, Bela, et al.
Pubblicazione: (2024)

Meaning as Use, Application, Employment, Purpose, Usefulness
di: de Queiroz, Ruy J. G. B.
Pubblicazione: (2025)

From the Notebooks to the Investigations and Beyond
di: de Queiroz, Ruy J. G. B.
Pubblicazione: (2025)

On the Various Translations between Classical, Intuitionistic and Linear Logic
di: Ferreira, Gilda, et al.
Pubblicazione: (2024)

Intuitionistic Common Knowledge
di: Zenger, Lukas
Pubblicazione: (2026)

Hilbert's Program and Infinity
di: Zach, Richard
Pubblicazione: (2026)

Failure of Esakia's theorem in the monadic setting
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2024)

Esakia's theorem for the amended monadic intuitionistic calculus
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2025)

Modal Semantics for Reasoning with Probability and Uncertainty
di: Guallart, Nino
Pubblicazione: (2024)

Conditional reasoning and the shadows it casts onto the first-order logic: the Nelsonian case
di: Olkhovikov, Grigory
Pubblicazione: (2024)

The modal theory of linear orders
di: Wołoszyn, Wojciech Aleksander
Pubblicazione: (2026)

The Orthologic of Epistemic Modals
di: Holliday, Wesley H., et al.
Pubblicazione: (2022)

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
di: Coniglio, Marcelo E.
Pubblicazione: (2023)

Categoricity for an inferential $ω$-logic and in $L_{ω_1,ω}$
di: Baldwin, John T., et al.
Pubblicazione: (2026)

Carnapian Frameworks and Categoricity of Arithmetic via Inferential $ω$-logics
di: Baldwin, John T., et al.
Pubblicazione: (2026)

On the Model Theory of Open Incidence Structures: The Rank 2 Case
di: Paolini, Gianluca, et al.
Pubblicazione: (2024)

In Memoriam Vadim Anatol'evich Yankov (1935-2024)
di: Citkin, Alex, et al.
Pubblicazione: (2025)

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