সংরক্ষণ করুন:
| প্রধান লেখক: | |
|---|---|
| বিন্যাস: | Preprint |
| প্রকাশিত: |
2025
|
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | https://arxiv.org/abs/2507.04449 |
| ট্যাগগুলো: |
ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
অনুরূপ উপাদানগুলি
The Proof-Theoretic Origin of Double Negation Introduction & Elimination
অনুযায়ী: Irani, Khashayar
প্রকাশিত: (2025)
অনুযায়ী: Irani, Khashayar
প্রকাশিত: (2025)
Logical Inferentialism & Attacks on Classical Logic
অনুযায়ী: Irani, Khashayar
প্রকাশিত: (2025)
অনুযায়ী: Irani, Khashayar
প্রকাশিত: (2025)
A Sequent Calculus For Trace Formula Implication
অনুযায়ী: Heidler, Niklas, অন্যান্য
প্রকাশিত: (2025)
অনুযায়ী: Heidler, Niklas, অন্যান্য
প্রকাশিত: (2025)
A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
অনুযায়ী: Tabatabai, Amirhossein Akbar, অন্যান্য
প্রকাশিত: (2025)
অনুযায়ী: Tabatabai, Amirhossein Akbar, অন্যান্য
প্রকাশিত: (2025)
A Non-Wellfounded and Labelled Sequent Calculus for Bimodal Provability Logic
অনুযায়ী: Becker, Justus
প্রকাশিত: (2025)
অনুযায়ী: Becker, Justus
প্রকাশিত: (2025)
SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus
অনুযায়ী: Cailler, Julie, অন্যান্য
প্রকাশিত: (2025)
অনুযায়ী: Cailler, Julie, অন্যান্য
প্রকাশিত: (2025)
The Vanilla Sequent Calculus is Call-by-Value (Fresh Perspective)
অনুযায়ী: Accattoli, Beniamino
প্রকাশিত: (2024)
অনুযায়ী: Accattoli, Beniamino
প্রকাশিত: (2024)
A Sequent Calculus Perspective on Base-Extension Semantics (Technical Report)
অনুযায়ী: Barroso-Nascimento, Victor, অন্যান্য
প্রকাশিত: (2025)
অনুযায়ী: Barroso-Nascimento, Victor, অন্যান্য
প্রকাশিত: (2025)
Labeled Sequent Calculus and Countermodel Construction for Justification Logics
অনুযায়ী: Ghari, Meghdad
প্রকাশিত: (2014)
অনুযায়ী: Ghari, Meghdad
প্রকাশিত: (2014)
Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
অনুযায়ী: Lyon, Tim S., অন্যান্য
প্রকাশিত: (2024)
অনুযায়ী: Lyon, Tim S., অন্যান্য
প্রকাশিত: (2024)
Graphical Proof Theory I: Sequent Systems on Undirected Graphs
অনুযায়ী: Acclavio, Matteo
প্রকাশিত: (2023)
অনুযায়ী: Acclavio, Matteo
প্রকাশিত: (2023)
Sequent Calculi for Data-Aware Modal Logics
অনুযায়ী: Areces, Carlos, অন্যান্য
প্রকাশিত: (2025)
অনুযায়ী: Areces, Carlos, অন্যান্য
প্রকাশিত: (2025)
Provability in BI's Sequent Calculus is Decidable
অনুযায়ী: Gheorghiu, Alexander, অন্যান্য
প্রকাশিত: (2021)
অনুযায়ী: Gheorghiu, Alexander, অন্যান্য
প্রকাশিত: (2021)
Nested Sequents for Quasi-transitive Modal Logics
অনুযায়ী: Marin, Sonia, অন্যান্য
প্রকাশিত: (2024)
অনুযায়ী: Marin, Sonia, অন্যান্য
প্রকাশিত: (2024)
A Sequent Calculus for General Inductive Definitions
অনুযায়ী: Eede, Robbe Van den, অন্যান্য
প্রকাশিত: (2026)
অনুযায়ী: Eede, Robbe Van den, অন্যান্য
প্রকাশিত: (2026)
Proofs as Execution Trees for the π-Calculus
অনুযায়ী: Acclavio, Matteo, অন্যান্য
প্রকাশিত: (2024)
অনুযায়ী: Acclavio, Matteo, অন্যান্য
প্রকাশিত: (2024)
Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
অনুযায়ী: Lyon, Tim S.
প্রকাশিত: (2023)
অনুযায়ী: Lyon, Tim S.
প্রকাশিত: (2023)
The Logical Embedding of Universal Frame Logic: A Sequent Calculus and Classical Interpretation
অনুযায়ী: Kevin Fathi
প্রকাশিত: (2025)
অনুযায়ী: Kevin Fathi
প্রকাশিত: (2025)
A Classical Linear $λ$-Calculus based on Contraposition
অনুযায়ী: Barenbaum, Pablo, অন্যান্য
প্রকাশিত: (2026)
অনুযায়ী: Barenbaum, Pablo, অন্যান্য
প্রকাশিত: (2026)
A Strong Bisimulation for a Classical Term Calculus
অনুযায়ী: Bonelli, Eduardo, অন্যান্য
প্রকাশিত: (2021)
অনুযায়ী: Bonelli, Eduardo, অন্যান্য
প্রকাশিত: (2021)
Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
অনুযায়ী: Lyon, Tim S.
প্রকাশিত: (2024)
অনুযায়ী: Lyon, Tim S.
প্রকাশিত: (2024)
Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics
অনুযায়ী: Lyon, Tim S.
প্রকাশিত: (2024)
অনুযায়ী: Lyon, Tim S.
প্রকাশিত: (2024)
A Bi-nested Calculus for Intuitionistic K: Proofs and Countermodels
অনুযায়ী: Gao, Han, অন্যান্য
প্রকাশিত: (2025)
অনুযায়ী: Gao, Han, অন্যান্য
প্রকাশিত: (2025)
Proofs for Free in the $λΠ$-Calculus Modulo Theory
অনুযায়ী: Traversié, Thomas
প্রকাশিত: (2024)
অনুযায়ী: Traversié, Thomas
প্রকাশিত: (2024)
Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
অনুযায়ী: Lyon, Tim S.
প্রকাশিত: (2022)
অনুযায়ী: Lyon, Tim S.
প্রকাশিত: (2022)
Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
অনুযায়ী: Lyon, Tim S., অন্যান্য
প্রকাশিত: (2026)
অনুযায়ী: Lyon, Tim S., অন্যান্য
প্রকাশিত: (2026)
Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
অনুযায়ী: Gheorghiu, Alexander V., অন্যান্য
প্রকাশিত: (2025)
অনুযায়ী: Gheorghiu, Alexander V., অন্যান্য
প্রকাশিত: (2025)
Six Birds: Foundations of Emergence Calculus
অনুযায়ী: Tsiokos, Ioannis
প্রকাশিত: (2026)
অনুযায়ী: Tsiokos, Ioannis
প্রকাশিত: (2026)
Sequent Calculi for Data-Aware Modal Logics
অনুযায়ী: Areces, Carlos, অন্যান্য
প্রকাশিত: (2025)
অনুযায়ী: Areces, Carlos, অন্যান্য
প্রকাশিত: (2025)
Nested Sequents for Provability Logic GLP
অনুযায়ী: Shamkanov, Daniyar
প্রকাশিত: (2014)
অনুযায়ী: Shamkanov, Daniyar
প্রকাশিত: (2014)
Bounded Inquisitive Logics: Sequent Calculi and Schematic Validity
অনুযায়ী: Litak, Tadeusz, অন্যান্য
প্রকাশিত: (2025)
অনুযায়ী: Litak, Tadeusz, অন্যান্য
প্রকাশিত: (2025)
The Proof Analysis Problem
অনুযায়ী: Arteche, Noel, অন্যান্য
প্রকাশিত: (2025)
অনুযায়ী: Arteche, Noel, অন্যান্য
প্রকাশিত: (2025)
Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
অনুযায়ী: Lyon, Tim S., অন্যান্য
প্রকাশিত: (2024)
অনুযায়ী: Lyon, Tim S., অন্যান্য
প্রকাশিত: (2024)
Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned
অনুযায়ী: Villadsen, Jørgen
প্রকাশিত: (2025)
অনুযায়ী: Villadsen, Jørgen
প্রকাশিত: (2025)
A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
অনুযায়ী: Fusco, Ludovico, অন্যান্য
প্রকাশিত: (2025)
অনুযায়ী: Fusco, Ludovico, অন্যান্য
প্রকাশিত: (2025)
Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents
অনুযায়ী: Maniwa, Akinori, অন্যান্য
প্রকাশিত: (2024)
অনুযায়ী: Maniwa, Akinori, অন্যান্য
প্রকাশিত: (2024)
Reasoning About Group Polarization: From Semantic Games to Sequent Systems
অনুযায়ী: Freiman, Robert, অন্যান্য
প্রকাশিত: (2024)
অনুযায়ী: Freiman, Robert, অন্যান্য
প্রকাশিত: (2024)
Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System
অনুযায়ী: Wernhard, Christoph
প্রকাশিত: (2026)
অনুযায়ী: Wernhard, Christoph
প্রকাশিত: (2026)
Admissibility of the Structural Rules in the Sequent Calculus with Equality
অনুযায়ী: Parlamento, Franco, অন্যান্য
প্রকাশিত: (2024)
অনুযায়ী: Parlamento, Franco, অন্যান্য
প্রকাশিত: (2024)
Complete and Terminating Tableau Calculus for Undirected Graph
অনুযায়ী: Nishimura, Yuki, অন্যান্য
প্রকাশিত: (2024)
অনুযায়ী: Nishimura, Yuki, অন্যান্য
প্রকাশিত: (2024)