Image de couverture de livre

Non-contractive logics, Paradoxes, and Multiplicative Quantifiers

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Nicolai, Carlo, Piazza, Mario, Tesi, Matteo
Format:	Preprint
Publié:	2022
Sujets:	Logic 03F52
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Note on Switching Conditions for the Generalized Logical Connectives in Multiplicative Linear Logic
par: Nishimuta, Yuki, et autres
Publié: (2018)

Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study
par: Olarte, Carlos, et autres
Publié: (2024)

Modelling Multiplicative Linear Logic via Deep Inference
par: Galor, Tomer, et autres
Publié: (2024)

Cut elimination for propositional cyclic proof systems with fixed-point operators
par: Hori, Hiromasa, et autres
Publié: (2023)

On Quantifiers for Quantitative Reasoning
par: Capucci, Matteo
Publié: (2024)

On the Various Translations between Classical, Intuitionistic and Linear Logic
par: Ferreira, Gilda, et autres
Publié: (2024)

Quantitative Linear Logic
par: Capucci, Matteo, et autres
Publié: (2026)

Towards a logic of affordances
par: Gruszczynski, Rafal, et autres
Publié: (2025)

Metric Double Complements of Convex Sets
par: Bridges, Douglas S.
Publié: (2025)

The amalgamation property and Urysohn structures in continuous logic
par: Gao, Su, et autres
Publié: (2023)

Algebraic Proof Theory for Infinitary Action Logic
par: Fussner, Wesley, et autres
Publié: (2025)

$ω$-consistency for Different Arrays of Quantifiers
par: Santos, Paulo Guilherme
Publié: (2024)

The Sup Connective in IMALL: A Categorical Semantics
par: Díaz-Caro, Alejandro, et autres
Publié: (2022)

Affine Hulls and Simplices: a Constructive Analysis
par: Bridges, Douglas S.
Publié: (2025)

Avoiding logical strength in real analysis
par: Freund, Anton, et autres
Publié: (2026)

Cut-free sequent calculi for the provability logic D
par: Kashima, Ryo, et autres
Publié: (2023)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
par: Santo, José Espírito, et autres
Publié: (2020)

A propositional cirquent calculus for computability logic
par: Japaridze, Giorgi
Publié: (2024)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
par: Stanković, Marko, et autres
Publié: (2025)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
par: Fusco, Ludovico, et autres
Publié: (2025)

Products of pseudofinite structures
par: D'Aquino, Paola, et autres
Publié: (2024)

Justification Logics in a Fuzzy Setting
par: Ghari, Meghdad
Publié: (2014)

A simplified lower bound for implicational logic
par: Jeřábek, Emil
Publié: (2023)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
par: Forster, Jonas, et autres
Publié: (2023)

Quantitative Graded Semantics and Spectra of Behavioural Metrics
par: Forster, Jonas, et autres
Publié: (2023)

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

The Uniform Functional Interpretation with Informative Types
par: Ferreira, Fernando, et autres
Publié: (2025)

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
par: Gallardo, Andrés, et autres
Publié: (2024)

Sub-sub-intuitionistic logic
par: Deakin, Jonte, et autres
Publié: (2024)

Constructive validity of a generalized Kreisel-Putnam rule
par: Pezlar, Ivo
Publié: (2023)

Expansions and restrictions of structures and theories, their hierarchies
par: Sudoplatov, Sergey V.
Publié: (2025)

The Borel complexity of the class of models of first-order theories
par: Andrews, Uri, et autres
Publié: (2024)

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
par: Oddsson, Hrafn Valtýr
Publié: (2026)

Reasoning Around Paradox with Grounded Deduction
par: Ford, Bryan
Publié: (2024)

A meta-modal logic for bisimulations
par: Burrieza, Alfredo, et autres
Publié: (2025)

Consistent ultrafinitist logic
par: Gajda, Michał J.
Publié: (2021)

An ecumenical view of proof-theoretic semantics
par: Nascimento, Victor, et autres
Publié: (2023)

Finite Hilbert systems for Weak Kleene logics
par: Greati, Vitor, et autres
Publié: (2024)

Lewis and Brouwer meet Strong Löb
par: Visser, Albert, et autres
Publié: (2024)

Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich
par: Wild, Paul, et autres
Publié: (2025)