Image de couverture de livre

PBNF-transform as a formulation of Propositional Calculus, I

Fuente: arXiv

Enregistré dans:

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

Documents similaires

PBNF-transform as a formulation of Propositional Calculus, II
par: Borgeke, Pelle Brooke
Publié: (2026)

Subprincipal Controlled Quasimodes and Spectral Instability
par: Borgeke, Pelle Brooke
Publié: (2026)

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

Subprincipal Control of Pseudospectral Quasimodes, II
par: Borgeke, Pelle Brook
Publié: (2026)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
par: Gheorghiu, Alexander V., et autres
Publié: (2025)

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

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

Fundamental Propositional Logic with Strict Implication
par: Chen, Zhicheng
Publié: (2025)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2022)

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

Continuous Algebra: Algebraic Semantics for Continuous Propositional Logic
par: Jana, Purbita, et autres
Publié: (2025)

On Propositional Dynamic Logic and Concurrency
par: Acclavio, Matteo, et autres
Publié: (2024)

Intuitionistic Propositional Logic in Lean
par: Trufaş, Dafina
Publié: (2024)

Propositional Logics for the Lawvere Quantale
par: Bacci, Giorgio, et autres
Publié: (2023)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2025)

The Flower Calculus
par: Donato, Pablo
Publié: (2024)

Formalising Propositional Information via Implication Hypergraphs
par: Dalal, Vibhu
Publié: (2025)

A tree rewriting system for the Reflection Calculus
par: Santiago-Fernández, Sofía, et autres
Publié: (2024)

A General Theory of Propositional Modal Bundled Modalities
par: Ding, Yifeng, et autres
Publié: (2026)

A Fixed-Parameter Study on Propositional Dynamic Logic
par: Hosseinpour, Mohammad Javad, et autres
Publié: (2024)

The Tensor-Plus Calculus
par: Chardonnet, Kostia, et autres
Publié: (2025)

Epsilon Calculus Provides Shorter Cut-Free Proofs
par: Baaz, Matthias, et autres
Publié: (2024)

A categorical formulation of Kraus' paradox
par: Swan, Andrew W.
Publié: (2024)

The Lambda Calculus is Quantifiable
par: Maestracci, Valentin, et autres
Publié: (2024)

Approximate Completeness of Hypersequent Calculus for First-Order Łukasiewicz Logic
par: Wei, Jin
Publié: (2024)

Extending Defeasibility for Propositional Standpoint Logics
par: Leisegang, Nicholas, et autres
Publié: (2025)

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

Admissibility of the Structural Rules in the Sequent Calculus with Equality
par: Parlamento, Franco, et autres
Publié: (2024)

Relational Models for the Lambek Calculus with Intersection and Constants
par: Kuznetsov, Stepan L.
Publié: (2022)

The Logical Embedding of Universal Frame Logic: A Sequent Calculus and Classical Interpretation
par: Kevin Fathi
Publié: (2025)

Groups and Inverse Semigroups in Lambda Calculus
par: Bucciarelli, Antonio, et autres
Publié: (2026)

Six Birds: Foundations of Emergence Calculus
par: Tsiokos, Ioannis
Publié: (2026)

Quantitative Types for the Functional Machine Calculus
par: Heijltjes, Willem
Publié: (2025)

Proofs as Execution Trees for the π-Calculus
par: Acclavio, Matteo, et autres
Publié: (2024)

Variable Elimination as Rewriting in a Linear Lambda Calculus
par: Ehrhard, Thomas, et autres
Publié: (2025)

A Strong Bisimulation for a Classical Term Calculus
par: Bonelli, Eduardo, et autres
Publié: (2021)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
par: Borzechowski, Manfred, et autres
Publié: (2025)

Interpolation in Classical Propositional Logic
par: Koopmann, Patrick, et autres
Publié: (2025)

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

A Rewriting Theory for Quantum Lambda-Calculus
par: Faggian, Claudia, et autres
Publié: (2024)