Image de couverture de livre

Uniform Cut-free Bisequent Calculi for Three-valued Logics

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Indrzejczak, Andrzej, Petrukhin, Yaroslav
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Bisequent Calculi for Neutral Free Logic with Definite Descriptions
par: Indrzejczak, Andrzej, et autres
Publié: (2024)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
par: Indrzejczak, Andrzej, et autres
Publié: (2024)

A Binary Quantifier for Definite Descriptions in Nelsonian Free Logic
par: Petrukhin, Yaroslav
Publié: (2024)

Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications
par: Indrzejczak, Andrzej, et autres
Publié: (2024)

Definite Descriptions and Hybrid Tense Logic
par: Indrzejczak, Andrzej, et autres
Publié: (2024)

On a Second-Order Version of Russellian Theory of Definite Descriptions
par: Petrukhin, Yaroslav
Publié: (2025)

Sequent Calculi for Data-Aware Modal Logics
par: Areces, Carlos, et autres
Publié: (2025)

Tree Rewriting Calculi for Strictly Positive Logics
par: Santiago-Fernández, Sofía, et autres
Publié: (2025)

Local Intuitionistic Modal Logics and Their Calculi
par: Balbiani, Philippe, et autres
Publié: (2024)

Cut-free Deductive System for Continuous Intuitionistic Logic
par: Geoffroy, Guillaume
Publié: (2025)

Sequent Calculi for Data-Aware Modal Logics
par: Areces, Carlos, et autres
Publié: (2025)

Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics
par: Lyon, Tim S.
Publié: (2024)

Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators
par: Indrzejczak, Andrzej
Publié: (2024)

Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics
par: Nishimura, Yuki
Publié: (2022)

Bounded Inquisitive Logics: Sequent Calculi and Schematic Validity
par: Litak, Tadeusz, et autres
Publié: (2025)

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

Normal Nested Answer Set Programs: Syntactics, Semantics and Logical Calculi
par: Imaz, Gonzalo E.
Publié: (2024)

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
par: Alrabbaa, Christian, et autres
Publié: (2025)

Preservation Theorems for Unravelling-Invariant Classes: A Uniform Approach for Modal Logics and Graph Neural Networks
par: Wałęga, Przemysław Andrzej, et autres
Publié: (2026)

On the Cut Elimination of Weak Intuitionistic Tense Logic
par: Wang, Yiheng, et autres
Publié: (2024)

Forcing, Transition Algebras, and Calculi
par: Go, Hashimoto, et autres
Publié: (2024)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
par: Lyon, Tim S., et autres
Publié: (2023)

Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic
par: Fiuk, Oskar, et autres
Publié: (2024)

A General (Uniform) Relational Semantics for Sentential Logics
par: Hartonas, Chrysafis
Publié: (2025)

Rule Formats for Nominal Process Calculi
par: Aceto, Luca, et autres
Publié: (2024)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
par: Afshari, Bahareh, et autres
Publié: (2024)

Cut-elimination for the alternation-free modal mu-calculus
par: Afshari, Bahareh, et autres
Publié: (2025)

Expressiveness Results for Timed Modal Mu-Calculi
par: Cleaveland, Rance, et autres
Publié: (2023)

Cut-Elimination for the Bimodal Logic GR
par: Kushida, Hirohiko
Publié: (2026)

Bridge and Bound: A Logic-Based Framework for Abstracting (Extended Report)
par: Szalas, Andrzej
Publié: (2025)

On the Expressivity of Typed Concurrent Calculi
par: Paulus, Joseph William Neal
Publié: (2024)

Lax Modal Lambda Calculi
par: Valliappan, Nachiappan
Publié: (2025)

Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations
par: Nakamura, Yoshiki
Publié: (2023)

Uniform Interpolation in Distributed Knowledge Modal Logics
par: Wang, Kexu, et autres
Publié: (2026)

Infinitary Cut-Elimination for Non-Wellfounded Parsimonious Linear Logic
par: Acclavio, Matteo, et autres
Publié: (2023)

Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents
par: Maniwa, Akinori, et autres
Publié: (2024)

Three-Dimensional Affine Spatial Logics
par: Trybus, Adam
Publié: (2026)

Typed Non-determinism in Concurrent Calculi: The Eager Way
par: Heuvel, Bas van den, et autres
Publié: (2024)

Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation
par: Maluszynski, Jan, et autres
Publié: (2010)

Hypersequent Calculi Have Ackermannian Complexity
par: Balasubramanian, A. R., et autres
Publié: (2026)