Copertina

Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Indrzejczak, Andrzej
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
di: Indrzejczak, Andrzej, et al.
Pubblicazione: (2024)

Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications
di: Indrzejczak, Andrzej, et al.
Pubblicazione: (2024)

Definite Descriptions and Hybrid Tense Logic
di: Indrzejczak, Andrzej, et al.
Pubblicazione: (2024)

Bisequent Calculi for Neutral Free Logic with Definite Descriptions
di: Indrzejczak, Andrzej, et al.
Pubblicazione: (2024)

Uniform Cut-free Bisequent Calculi for Three-valued Logics
di: Indrzejczak, Andrzej, et al.
Pubblicazione: (2024)

Categorical Proof-Theoretic Semantics
di: Pym, David, et al.
Pubblicazione: (2023)

Proof-Theoretic Functional Completeness for the Connexive Logic C
di: Ayhan, Sara, et al.
Pubblicazione: (2025)

Towards a Proof System for Probabilistic Dynamic Logic
di: Johnsen, Einar Broch, et al.
Pubblicazione: (2024)

An Introduction to Categorical Proof Theory
di: Tabatabai, Amirhossein Akbar
Pubblicazione: (2024)

Proof Theory and Decision Procedures for Deontic STIT Logics
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

Universal Proof Theory, TACL 2022 Lecture Notes
di: Iemhoff, Rosalie, et al.
Pubblicazione: (2023)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2018)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2018)

Proof Theory for Bimodal Provability Logics
di: Miranda, Borja Sierra, et al.
Pubblicazione: (2026)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

A Proof Theory for Profinite Modal Algebras
di: De Berardinis, Matteo, et al.
Pubblicazione: (2025)

Interpolation in Proof Theory
di: van der Giessen, Iris, et al.
Pubblicazione: (2026)

A Proof-Theoretic Study of Modal Logic
di: Kushida, Hirohiko
Pubblicazione: (2026)

Proofs that Modify Proofs, 1/2
di: Towsner, Henry
Pubblicazione: (2025)

Advances in Proof-Theoretic Semantics
Pubblicazione: (2018)

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures
di: Wernhard, Christoph, et al.
Pubblicazione: (2025)

Hybrid Modal Operators for Definite Descriptions
di: Wałęga, Przemysław Andrzej, et al.
Pubblicazione: (2024)

The Proof-Theoretic Origin of Double Negation Introduction & Elimination
di: Irani, Khashayar
Pubblicazione: (2025)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
di: van der Giessen, Iris, et al.
Pubblicazione: (2023)

Foundations for an Abstract Proof Theory in the Context of Horn Rules
di: Lyon, Tim S., et al.
Pubblicazione: (2023)

Towards an Analysis of Proofs in Arithmetic
di: Leitsch, Alexander, et al.
Pubblicazione: (2025)

From GTC to Reset: Generating Reset Proof Systems from Cyclic Proof Systems
di: Leigh, Graham E., et al.
Pubblicazione: (2023)

Proofs that Modify Proofs
di: Towsner, Henry
Pubblicazione: (2024)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
di: Barroso-Nascimento, Victor, et al.
Pubblicazione: (2025)

A Proof-Theoretic View of Basic Intuitionistic Conditional Logic (Extended Version)
di: Dalmonte, Tiziano, et al.
Pubblicazione: (2025)

DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories
di: Feng, Nick, et al.
Pubblicazione: (2024)

Proofs for Free in the $λΠ$-Calculus Modulo Theory
di: Traversié, Thomas
Pubblicazione: (2024)

Generating Theorems by Generating Proof Structures
di: Wernhard, Christoph
Pubblicazione: (2026)

The Proof Analysis Problem
di: Arteche, Noel, et al.
Pubblicazione: (2025)

Proof-theoretic Semantics for First-order Logic
di: Gheorghiu, Alexander V.
Pubblicazione: (2024)

Proof-theoretic Semantics for Second-order Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

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

Cyclic Proofs for iGL via Corecursion
di: Miranda, Borja Sierra
Pubblicazione: (2023)

Dual Forgetting Operators in the Context of Weakest Sufficient and Strongest Necessary Conditions
di: Doherty, Patrick, et al.
Pubblicazione: (2023)

Graphical Proof Theory I: Sequent Systems on Undirected Graphs
di: Acclavio, Matteo
Pubblicazione: (2023)