:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Nishimuta, Yuki
Format:	Preprint
Published:	2019
Subjects:	Logic
Online Access:	https://arxiv.org/abs/1910.05120
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Three Topics in Non-decomposability of Generalized Multiplicative Connectives
by: Nishimuta, Yuki
Published: (2018)

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

Deducibility in Sudoku
by: Mašulović, Dragan
Published: (2022)

Deducibility in the full Lambek calculus with weakening is HAck-complete
by: Greati, Vitor, et al.
Published: (2024)

Reflection Principles in ZFU
by: Glazer, Elliot, et al.
Published: (2026)

Omission of Intervals: Deducing covering properties of subsets of the real line from their combinatorial structure
by: Tsaban, Boaz
Published: (2024)

Club Stationary Reflection and other Combinatorial Principles at $\aleph_{ω+2}$
by: Gilton, Thomas, et al.
Published: (2022)

A Reflection Principle for Potential Infinite Models of Type Theory
by: Eberl, Matthias
Published: (2024)

Terminating Hybrid Tableaus for Ordered Models
by: Nishimura, Yuki
Published: (2025)

Agent-Knowledge Logic for Alternative Epistemic Logic
by: Nishimura, Yuki
Published: (2024)

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

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

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
by: Bacci, Giorgio, et al.
Published: (2025)

The Ouroboros Goodstein Principle
by: Fernández-Duque, David, et al.
Published: (2026)

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

Weak Indestructibility and Reflection
by: Holland, James
Published: (2022)

Berkeley Cardinals and Vopěnka's Principle
by: Mohammd, Marwan Salam
Published: (2024)

Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus
by: Morishita, Terufumi, et al.
Published: (2024)

Reflections on Russell's antinomy
by: Cattabriga, Paola
Published: (2024)

The strong reflecting property and Harrington's Principle
by: Cheng, Yong
Published: (2015)

A New Weak Choice Principle
by: Halbeisen, Lorenz, et al.
Published: (2021)

Formalization of the Filter Extension Principle (FEP) in Coq
by: Dou, Guowei, et al.
Published: (2024)

Models of Bounded Arithmetic and variants of Pigeonhole Principle
by: Narusevych, Mykyta
Published: (2022)

A tree rewriting system for the Reflection Calculus
by: Santiago-Fernández, Sofía, et al.
Published: (2024)

The weak Extension Principle
by: Vignati, Alessandro, et al.
Published: (2024)

Stationary Reflection and the Failure OF SCH at $\aleph_{ω_1}$
by: Benhamou, Tom, et al.
Published: (2024)

Minimization Principle for Polynomial-Time Predicates and Forcing in Bounded Arithmetic
by: Narusevych, Mykyta
Published: (2026)

Relationships between Principles of Choice in Second-Order Henkin Structures
by: Gaßner, Christine
Published: (2024)

Consequences of Dependent Dividing on Burden
by: Takahashi, Yuki
Published: (2025)

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

Löb-Safe Logics for Reflective Agents
by: Ahrenbach, Seth
Published: (2024)

Finding Connections via Satisfiability Solving
by: Eisenhofer, Clemens, et al.
Published: (2026)

Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
by: Fábregas, Ignacio, et al.
Published: (2024)

The Size-Change Principle for Mixed Inductive and Coinductive types
by: Hyvernat, Pierre
Published: (2024)

Goldstern's Principle with respect to Hausdorff Measures
by: Goto, Tatsuya
Published: (2025)

Semantically Reflected Programs
by: Kamburjan, Eduard, et al.
Published: (2025)

The Synthetic Sierpiński Cone
by: Bakke, Fredrik, et al.
Published: (2026)

Connected components in d-minimal structures
by: Fujita, Masato
Published: (2025)

Split Principles
by: Fuchs, Gunter, et al.
Published: (2017)

The Sup Connective in IMALL: A Categorical Semantics
by: Díaz-Caro, Alejandro, et al.
Published: (2022)