Buchumschlag

A vector logic for extensional formal semantics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Quigley, Daniel
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic 03C55, 03B38, 91F20, 68T50, 03B65 F.3.2; F.4.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A vector logic for intensional formal semantics
von: Quigley, Daniel
Veröffentlicht: (2026)

Internal Effectful Forcing in System T
von: Escardo, Martin H., et al.
Veröffentlicht: (2025)

Continuous and algebraic domains in univalent foundations
von: de Jong, Tom, et al.
Veröffentlicht: (2024)

Remarks on Primitive Regulation
von: Rosko, Milan
Veröffentlicht: (2026)

2-Coherent Internal Models of Homotopical Type Theory
von: Chen, Joshua
Veröffentlicht: (2025)

Meaning as Use, Application, Employment, Purpose, Usefulness
von: de Queiroz, Ruy J. G. B.
Veröffentlicht: (2025)

From the Notebooks to the Investigations and Beyond
von: de Queiroz, Ruy J. G. B.
Veröffentlicht: (2025)

Univalent Material Set Theory
von: Gylterud, Håkon Robbestad, et al.
Veröffentlicht: (2023)

A Coherence Construction for the Propositional Universe
von: Huang, Xu
Veröffentlicht: (2024)

Formal P-Category Theory and Normalization by Evaluation in Rocq
von: Berry, David G., et al.
Veröffentlicht: (2025)

Recursive Completion in Higher K-Models: Front-Seed Semantics, Proof-Relevant Witnesses, and the K-Infinity Model
von: Martinez-Rivillas, Daniel O., et al.
Veröffentlicht: (2026)

A declarative approach to specifying distributed algorithms using three-valued modal logic
von: Gabbay, Murdoch J., et al.
Veröffentlicht: (2025)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
von: Gylterud, Håkon Robbestad, et al.
Veröffentlicht: (2020)

The logic of bunched implications is undecidable
von: Galatos, Nick, et al.
Veröffentlicht: (2026)

Mechanised uniform interpolation for modal logics K, GL, and iSL
von: Férée, Hugo, et al.
Veröffentlicht: (2024)

Continuations and Completeness in Proof-theoretic Semantics
von: Gu, Tao, et al.
Veröffentlicht: (2026)

Encoding argumentation frameworks with set attackers to propositional logic systems
von: Tang, Shuai, et al.
Veröffentlicht: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
von: Tang, Shuai
Veröffentlicht: (2025)

A propositional cirquent calculus for computability logic
von: Japaridze, Giorgi
Veröffentlicht: (2024)

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
von: Walsh, Sean
Veröffentlicht: (2024)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
von: Barroso-Nascimento, Victor, et al.
Veröffentlicht: (2025)

A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
von: Ramos, Arthur, et al.
Veröffentlicht: (2025)

Extracting total Amb programs from proofs
von: Berger, Ulrich, et al.
Veröffentlicht: (2023)

The Compatibility of the Minimalist Foundation with Homotopy Type Theory
von: Contente, Michele, et al.
Veröffentlicht: (2022)

Two strong undefinability results in inquisitive and team semantics
von: Barbero, Fausto
Veröffentlicht: (2024)

Consistent ultrafinitist logic
von: Gajda, Michał J.
Veröffentlicht: (2021)

Thoughts on sub-Turing interactive computability
von: Japaridze, Giorgi
Veröffentlicht: (2024)

Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
von: Forster, Jonas, et al.
Veröffentlicht: (2026)

Encoding Argumentation Frameworks to Propositional Logic Systems
von: Tang, Shuai, et al.
Veröffentlicht: (2025)

ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic
von: Wang, Shuai
Veröffentlicht: (2024)

Approximate Axiomatization for Differentially-Defined Functions
von: Platzer, André, et al.
Veröffentlicht: (2025)

Universal Gluing and Contextual Choice: Categorical Logic and the Foundations of Analytic Approximation
von: Santacana, Andreu Ballus
Veröffentlicht: (2025)

Hierarchical formula classes with respect to semi-classical prenex normalization
von: Fujiwara, Makoto, et al.
Veröffentlicht: (2025)

Generating proof systems for three-valued propositional logics
von: Greati, Vitor, et al.
Veröffentlicht: (2024)

Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
von: Wang, Zili, et al.
Veröffentlicht: (2025)

Formalizing MLTL Formula Progression in Isabelle/HOL
von: Kosaian, Katherine, et al.
Veröffentlicht: (2024)

Serial Properties, Selector Proofs, and the Provability of Consistency
von: Artemov, Sergei
Veröffentlicht: (2024)

Non-Compact Proofs
von: Artemov, Sergei
Veröffentlicht: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
von: Artemov, Sergei
Veröffentlicht: (2025)

Transordinal Fixed-Point Operators and Self-Referential Games: A Categorical Framework for Reflective Semantic Convergence
von: Alpay, Faruk, et al.
Veröffentlicht: (2025)