Imagen de Portada

Vagueness and the Connectives

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Holliday, Wesley H.
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science 03B65, 03B60 F.4.m
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Possibility Semantics
por: Holliday, Wesley H.
Publicado: (2024)

Modal logic, fundamentally
por: Holliday, Wesley H.
Publicado: (2024)

Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
por: Hartonas, Chrysafis
Publicado: (2023)

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

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

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

Axiomatization of approximate exclusion
por: Häggblom, Matilda
Publicado: (2024)

Inclusion with repetitions and Boolean constants -- implication problems revisited
por: Häggblom, Matilda
Publicado: (2025)

Axiomatizing approximate inclusion
por: Häggblom, Matilda
Publicado: (2025)

Possibility Frames and Forcing for Modal Logic
por: Holliday, Wesley H.
Publicado: (2025)

Agent Interpolation for Knowledge
por: Bílková, Marta, et al.
Publicado: (2025)

Convex Team Logics
por: Anttila, Aleksi, et al.
Publicado: (2025)

The Syllogistic with Unity
por: Pratt-Hartmann, Ian
Publicado: (2011)

Tableau Proof Systems for Justification Logics
por: Ghari, Meghdad
Publicado: (2014)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
por: Ayhan, Sara
Publicado: (2023)

Reasoning Around Paradox with Grounded Deduction
por: Ford, Bryan
Publicado: (2024)

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

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
por: Anttila, Aleksi, et al.
Publicado: (2025)

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

Two strong undefinability results in inquisitive and team semantics
por: Barbero, Fausto
Publicado: (2024)

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

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

A proof-theoretical approach to some extensions of first order quantification
por: Allègre, Loïc, et al.
Publicado: (2024)

Equivalence of finite non-deterministic logical matrices is undecidable
por: Caleiro, Carlos, et al.
Publicado: (2024)

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

First-Order Fischer Servi Logic
por: Christensen, Ahmee
Publicado: (2024)

Intuitionistic Common Knowledge
por: Zenger, Lukas
Publicado: (2026)

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

Interleaving Logic and Counting
por: van Benthem, Johan, et al.
Publicado: (2025)

Avoiding logical strength in real analysis
por: Freund, Anton, et al.
Publicado: (2026)

Strongly First Order Disjunctive Embedded Dependencies in Team Semantics
por: Galliani, Pietro
Publicado: (2025)

Plausible Reasoning and First-Order Plausible Logic
por: Billington, David
Publicado: (2026)

Preconditionals
por: Holliday, Wesley H.
Publicado: (2024)

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

Effective bases and notions of effective second countability in computable analysis
por: Brattka, Vasco, et al.
Publicado: (2025)

Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra
por: Erdélyi-Szabó, Miklós
Publicado: (2024)

Encoding Sequences in Intuitionistic Real Algebra
por: Erdélyi-Szabó, Miklós
Publicado: (2025)

The Golden Path to Guarded Monotone Strict NP
por: Barsukov, Alexey, et al.
Publicado: (2023)

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