Image de couverture de livre

Three Topics in Non-decomposability of Generalized Multiplicative Connectives

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Nishimuta, Yuki
Format:	Preprint
Publié:	2018
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Deducibility of Identicals, Reflection Principle and Synthetic Connectives
par: Nishimuta, Yuki
Publié: (2019)

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

Topics, Non-Uniform Substitutions, and Variable Sharing
par: Standefer, Shawn, et autres
Publié: (2024)

Output-decomposed Learning of Mealy Machines
par: Koenders, Rick, et autres
Publié: (2024)

Terminating Hybrid Tableaus for Ordered Models
par: Nishimura, Yuki
Publié: (2025)

Agent-Knowledge Logic for Alternative Epistemic Logic
par: Nishimura, Yuki
Publié: (2024)

Complete and Terminating Tableau Calculus for Undirected Graph
par: Nishimura, Yuki, et autres
Publié: (2024)

Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics
par: Nishimura, Yuki
Publié: (2022)

Quantifier Reasoning and Multiple Generality in Aristotle and Ancient Logic
par: Protin, Clarence Lewis
Publié: (2022)

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
par: Pinsker, Michael, et autres
Publié: (2025)

Non-contractive logics, Paradoxes, and Multiplicative Quantifiers
par: Nicolai, Carlo, et autres
Publié: (2022)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
par: Gheorghiu, Alexander V., et autres
Publié: (2023)

Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV
par: Nakamura, Yuki
Publié: (2026)

Three surprising instances of dividing
par: Conant, Gabriel, et autres
Publié: (2023)

A General Theorem for Non-Simultaneous Hat Guessing Puzzles
par: Shizuma, Souji
Publié: (2025)

Non-Derivability Results in Polymorphic Dependent Type Theory
par: Geuvers, Herman
Publié: (2026)

Propositional Calculus with Multiple Negations
par: Ramírez, Oscar
Publié: (2024)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
par: Pacheco, Leonardo
Publié: (2026)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
par: Artale, Alessandro, et autres
Publié: (2025)

Connectivity notions on compatible digraphs in equational classes
par: Gyenizse, Gergő, et autres
Publié: (2026)

Split Interpolation: Refining Craig's Theorem via Three-Valued Logics
par: Blomet, Quentin
Publié: (2025)

No Countable Basis for Borel Directed Graphs of Dichromatic Number at Least Three
par: Matos-Wiederhold, Tonatiuh
Publié: (2026)

Consequences of Dependent Dividing on Burden
par: Takahashi, Yuki
Publié: (2025)

Tameness Properties in Multiplicative Valued Difference Fields with Lift and Section
par: Kesting, Christoph
Publié: (2024)

Generalized Decidability via Brouwer Trees
par: de Jong, Tom, et autres
Publié: (2026)

Non-Galvin Filters
par: Benhamou, Tom, et autres
Publié: (2022)

Finding Connections via Satisfiability Solving
par: Eisenhofer, Clemens, et autres
Publié: (2026)

Non-distributive description logic
par: van der Berg, Ineke, et autres
Publié: (2023)

A General (Uniform) Relational Semantics for Sentential Logics
par: Hartonas, Chrysafis
Publié: (2025)

Some General Completeness Results for Propositionally Quantified Modal Logics
par: Ding, Yifeng, et autres
Publié: (2024)

Non-distributive relatives of ETL and NFL
par: Kozhemiachenko, Daniil
Publié: (2024)

Non-contingecy in a paraconsistent setting
par: Kozhemiachenko, Daniil, et autres
Publié: (2024)

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

A Characterization Result for Non-Distributive Logics
par: Chrysafis, et autres
Publié: (2020)

Non-Normal Magidor-Radin Types of Forcings
par: Benhamou, Tom, et autres
Publié: (2024)

Three-Dimensional Affine Spatial Logics
par: Trybus, Adam
Publié: (2026)

NM-DEKL$^3_\infty$: A Three-Layer Non-Monotone Evolving Dependent Type Logic
par: Chen, Peng
Publié: (2026)

The Conjugacy Relation on One-sided Subshifts is Non-treeable
par: Li, Ruiwen
Publié: (2026)

Generic Generators
par: Sargsyan, Grigor
Publié: (2023)

A Non-Wellfounded and Labelled Sequent Calculus for Bimodal Provability Logic
par: Becker, Justus
Publié: (2025)