:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autor principal:	Nishimuta, Yuki
Formato:	Preprint
Publicado:	2018
Materias:	Logic
Acceso en línea:	https://arxiv.org/abs/1811.08187
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Deducibility of Identicals, Reflection Principle and Synthetic Connectives
por: Nishimuta, Yuki
Publicado: (2019)

A Note on Switching Conditions for the Generalized Logical Connectives in Multiplicative Linear Logic
por: Nishimuta, Yuki, et al.
Publicado: (2018)

Topics, Non-Uniform Substitutions, and Variable Sharing
por: Standefer, Shawn, et al.
Publicado: (2024)

Output-decomposed Learning of Mealy Machines
por: Koenders, Rick, et al.
Publicado: (2024)

Terminating Hybrid Tableaus for Ordered Models
por: Nishimura, Yuki
Publicado: (2025)

Agent-Knowledge Logic for Alternative Epistemic Logic
por: Nishimura, Yuki
Publicado: (2024)

Complete and Terminating Tableau Calculus for Undirected Graph
por: Nishimura, Yuki, et al.
Publicado: (2024)

Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics
por: Nishimura, Yuki
Publicado: (2022)

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

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
por: Pinsker, Michael, et al.
Publicado: (2025)

Quantifier Reasoning and Multiple Generality in Aristotle and Ancient Logic
por: Protin, Clarence Lewis
Publicado: (2022)

Non-contractive logics, Paradoxes, and Multiplicative Quantifiers
por: Nicolai, Carlo, et al.
Publicado: (2022)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
por: Gheorghiu, Alexander V., et al.
Publicado: (2023)

Three surprising instances of dividing
por: Conant, Gabriel, et al.
Publicado: (2023)

A General Theorem for Non-Simultaneous Hat Guessing Puzzles
por: Shizuma, Souji
Publicado: (2025)

Non-Derivability Results in Polymorphic Dependent Type Theory
por: Geuvers, Herman
Publicado: (2026)

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

Consequences of Dependent Dividing on Burden
por: Takahashi, Yuki
Publicado: (2025)

Propositional Calculus with Multiple Negations
por: Ramírez, Oscar
Publicado: (2024)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
por: Artale, Alessandro, et al.
Publicado: (2025)

Connectivity notions on compatible digraphs in equational classes
por: Gyenizse, Gergő, et al.
Publicado: (2026)

Split Interpolation: Refining Craig's Theorem via Three-Valued Logics
por: Blomet, Quentin
Publicado: (2025)

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

Modelling Multiplicative Linear Logic via Deep Inference
por: Galor, Tomer, et al.
Publicado: (2024)

Generalized Decidability via Brouwer Trees
por: de Jong, Tom, et al.
Publicado: (2026)

Finding Connections via Satisfiability Solving
por: Eisenhofer, Clemens, et al.
Publicado: (2026)

Tameness Properties in Multiplicative Valued Difference Fields with Lift and Section
por: Kesting, Christoph
Publicado: (2024)

A General (Uniform) Relational Semantics for Sentential Logics
por: Hartonas, Chrysafis
Publicado: (2025)

Non-Galvin Filters
por: Benhamou, Tom, et al.
Publicado: (2022)

Some General Completeness Results for Propositionally Quantified Modal Logics
por: Ding, Yifeng, et al.
Publicado: (2024)

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

Three-Dimensional Affine Spatial Logics
por: Trybus, Adam
Publicado: (2026)

Non-distributive description logic
por: van der Berg, Ineke, et al.
Publicado: (2023)

A Non-Wellfounded and Labelled Sequent Calculus for Bimodal Provability Logic
por: Becker, Justus
Publicado: (2025)

Connected components in d-minimal structures
por: Fujita, Masato
Publicado: (2025)

Non-distributive relatives of ETL and NFL
por: Kozhemiachenko, Daniil
Publicado: (2024)

Non-contingecy in a paraconsistent setting
por: Kozhemiachenko, Daniil, et al.
Publicado: (2024)

Multiplicative Rewards in Markovian Models
por: Baier, Christel, et al.
Publicado: (2025)

Logic Programming with Multiplicative Structures
por: Acclavio, Matteo, et al.
Publicado: (2024)

A Characterization Result for Non-Distributive Logics
por: Chrysafis, et al.
Publicado: (2020)