Cover Image

Fundamental Propositional Logic with Strict Implication

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Chen, Zhicheng
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

An Intermediate Logic Contained in Medvedev's Logic with Disjunction Property
by: Chen, Zhicheng
Published: (2025)

Tree Rewriting Calculi for Strictly Positive Logics
by: Santiago-Fernández, Sofía, et al.
Published: (2025)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
by: Gheorghiu, Alexander V., et al.
Published: (2025)

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

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
by: Lyon, Tim S.
Published: (2024)

On Propositional Dynamic Logic and Concurrency
by: Acclavio, Matteo, et al.
Published: (2024)

Intuitionistic Propositional Logic in Lean
by: Trufaş, Dafina
Published: (2024)

Propositional Logics for the Lawvere Quantale
by: Bacci, Giorgio, et al.
Published: (2023)

Wright's First-Order Logic of Strict Finitism
by: Yamada, Takahiro
Published: (2024)

Continuous Algebra: Algebraic Semantics for Continuous Propositional Logic
by: Jana, Purbita, et al.
Published: (2025)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
by: Gheorghiu, Alexander V., et al.
Published: (2022)

The Logics of Individual Medvedev Frames
by: Chen, Zhicheng, et al.
Published: (2024)

Extending Defeasibility for Propositional Standpoint Logics
by: Leisegang, Nicholas, et al.
Published: (2025)

Formalising Propositional Information via Implication Hypergraphs
by: Dalal, Vibhu
Published: (2025)

A Fixed-Parameter Study on Propositional Dynamic Logic
by: Hosseinpour, Mohammad Javad, et al.
Published: (2024)

Interpolation in Classical Propositional Logic
by: Koopmann, Patrick, et al.
Published: (2025)

Effects of the Strict-Tolerant Approach on Intuitionistic and Minimal Logic
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
by: Bednarczyk, Bartosz
Published: (2023)

Proof-theoretic Semantics for the Logic of Bunched Implications
by: Gu, Tao, et al.
Published: (2023)

Goldblat-Thomason Theorems for Fundamental (Modal) Logic
by: Massas, Guillaume
Published: (2024)

Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation
by: Tang, Valdemar, et al.
Published: (2024)

Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators
by: Kikot, Stanislav, et al.
Published: (2017)

Strict universes for Grothendieck topoi
by: Gratzer, Daniel, et al.
Published: (2022)

Propositional Calculus with Multiple Negations
by: Ramírez, Oscar
Published: (2024)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
by: Borzechowski, Manfred, et al.
Published: (2025)

A Complete Propositional Dynamic Logic for Regular Expressions with Lookahead
by: Nakamura, Yoshiki
Published: (2026)

A unified relational semantics for BPL, IPL and OL -- axiomatization without disjunction
by: Chen, Zhicheng
Published: (2022)

Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving
by: An, Chenyang, et al.
Published: (2024)

PBNF-transform as a formulation of Propositional Calculus, I
by: Borgeke, Pelle Brooke
Published: (2026)

PBNF-transform as a formulation of Propositional Calculus, II
by: Borgeke, Pelle Brooke
Published: (2026)

Propositional Measure Logic
by: Aragão, Francisco
Published: (2025)

State Algebra for Propositional Logic
by: Lesnik, Dmitry, et al.
Published: (2025)

The Logical Foundation of Life: A Philosophical Proposition on Will and Consciousness
by: Mahardhika, Jimmy Yuanda
Published: (2025)

The mu-calculus' Alternation Hierarchy is Strict over Non-Trivial Fusion Logics
by: Pacheco, Leonardo
Published: (2025)

Limit Models in Strictly Stable Abstract Elementary Classes
by: Boney, Will, et al.
Published: (2015)

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

Logic of the Great, Logic of the Wise 2
by: Fedorchenko, Mikhail
Published: (2026)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
by: Marin, Sonia, et al.
Published: (2025)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
by: Lyon, Tim S.
Published: (2023)

A General Theory of Propositional Modal Bundled Modalities
by: Ding, Yifeng, et al.
Published: (2026)