Cover Image

A vector logic for intensional formal semantics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Quigley, Daniel
Format:	Preprint
Published:	2026
Subjects:	Logic Computation and Language Formal Languages and Automata Theory Logic in Computer Science 03C55, 03B38, 91F20, 68T50, 03B65 F.3.2; F.4.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A vector logic for extensional formal semantics
by: Quigley, Daniel
Published: (2024)

Continuous and algebraic domains in univalent foundations
by: de Jong, Tom, et al.
Published: (2024)

Internal Effectful Forcing in System T
by: Escardo, Martin H., et al.
Published: (2025)

Openness And Partial Adjacency In One Variable TPTL
by: Krishna, Shankara Narayanan, et al.
Published: (2024)

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

A Logic For Fresh Labelled Transition Systems
by: Bandukara, Mohamed H, et al.
Published: (2025)

Stratifiable formulae are not context-free
by: Ryan-Smith, Calliope
Published: (2023)

Univalent Material Set Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2023)

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

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

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

Lewis and Brouwer meet Strong Löb
by: Visser, Albert, et al.
Published: (2024)

Generating proof systems for three-valued propositional logics
by: Greati, Vitor, et al.
Published: (2024)

Formalizing Computational Paths and Fundamental Groups in Lean
by: Ramos, Arthur F., et al.
Published: (2025)

A Coherence Construction for the Propositional Universe
by: Huang, Xu
Published: (2024)

Remarks on Primitive Regulation
by: Rosko, Milan
Published: (2026)

2-Coherent Internal Models of Homotopical Type Theory
by: Chen, Joshua
Published: (2025)

Continuations and Completeness in Proof-theoretic Semantics
by: Gu, Tao, et al.
Published: (2026)

Consistent ultrafinitist logic
by: Gajda, Michał J.
Published: (2021)

The Compatibility of the Minimalist Foundation with Homotopy Type Theory
by: Contente, Michele, et al.
Published: (2022)

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

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
by: Walsh, Sean
Published: (2024)

Mechanised uniform interpolation for modal logics K, GL, and iSL
by: Férée, Hugo, et al.
Published: (2024)

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

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

Lambek pregroups are Frobenius spiders in preorders
by: Pavlovic, Dusko
Published: (2021)

On Some Complexity Results for Even Linear Languages
by: Cojocaru, Liliana
Published: (2024)

Hierarchical formula classes with respect to semi-classical prenex normalization
by: Fujiwara, Makoto, et al.
Published: (2025)

First-Order Fischer Servi Logic
by: Christensen, Ahmee
Published: (2024)

Type Theory with Explicit Universe Polymorphism (revised and extended version)
by: Bezem, Marc, et al.
Published: (2022)

A propositional cirquent calculus for computability logic
by: Japaridze, Giorgi
Published: (2024)

Examples and counterexamples of injective types
by: de Jong, Tom, et al.
Published: (2026)

Determination of the fifth Busy Beaver value
by: The bbchallenge Collaboration, et al.
Published: (2025)

Evaluating Autoformalization Robustness via Semantically Similar Paraphrasing
by: Moore, Hayden, et al.
Published: (2025)

Glivenko's theorems from an ecumenical perspective
by: Pereira, Luiz Carlos, et al.
Published: (2026)

Structural focalization
by: Simmons, Robert J.
Published: (2011)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
by: Farmer, William M., et al.
Published: (2023)

On an ordinary expansion of first-order Belnap-Dunn logic
by: Middelburg, C. A.
Published: (2023)

The Tactician's Web of Large-Scale Formal Knowledge
by: Blaauwbroek, Lasse
Published: (2024)

Finite Hilbert systems for Weak Kleene logics
by: Greati, Vitor, et al.
Published: (2024)