:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Borgeke, Pelle Brooke
Format:	Preprint
Published:	2026
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2602.06272
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Subprincipal Controlled Quasimodes and Spectral Instability
by: Borgeke, Pelle Brooke
Published: (2026)

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

Subprincipal Control of Pseudospectral Quasimodes, II
by: Borgeke, Pelle Brook
Published: (2026)

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)

Fundamental Propositional Logic with Strict Implication
by: Chen, Zhicheng
Published: (2025)

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

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)

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

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

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

The Flower Calculus
by: Donato, Pablo
Published: (2024)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2025)

The Lambda Calculus is Quantifiable
by: Maestracci, Valentin, et al.
Published: (2024)

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

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

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

The Tensor-Plus Calculus
by: Chardonnet, Kostia, et al.
Published: (2025)

A categorical formulation of Kraus' paradox
by: Swan, Andrew W.
Published: (2024)

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

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

The Logical Embedding of Universal Frame Logic: A Sequent Calculus and Classical Interpretation
by: Kevin Fathi
Published: (2025)

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

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

Relational Models for the Lambek Calculus with Intersection and Constants
by: Kuznetsov, Stepan L.
Published: (2022)

Epsilon Calculus Provides Shorter Cut-Free Proofs
by: Baaz, Matthias, et al.
Published: (2024)

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

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
by: Anttila, Aleksi, et al.
Published: (2025)

Admissibility of the Structural Rules in the Sequent Calculus with Equality
by: Parlamento, Franco, et al.
Published: (2024)

Approximate Completeness of Hypersequent Calculus for First-Order Łukasiewicz Logic
by: Wei, Jin
Published: (2024)

Complexity of Faceted Explanations in Propositional Abduction
by: Schmidt, Johannes, et al.
Published: (2025)

Variable Elimination as Rewriting in a Linear Lambda Calculus
by: Ehrhard, Thomas, et al.
Published: (2025)

A Strong Bisimulation for a Classical Term Calculus
by: Bonelli, Eduardo, et al.
Published: (2021)

Groups and Inverse Semigroups in Lambda Calculus
by: Bucciarelli, Antonio, et al.
Published: (2026)

Six Birds: Foundations of Emergence Calculus
by: Tsiokos, Ioannis
Published: (2026)

Quantitative Types for the Functional Machine Calculus
by: Heijltjes, Willem
Published: (2025)