Cover Image

Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Jarmuzek, Tomasz, Malinowski, Jacek, Parol, Aleksander, Zamperlin, Nicolo
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Generalized Epstein semantics for Parry systems
by: Zamperlin, Nicolò
Published: (2024)

Tableau Methods for Propositional Logic and Term Logic
by: Jarmużek, Tomasz
Published: (2024)

Modal weak Kleene logics: axiomatizations and relational semantics
by: Bonzio, Stefano, et al.
Published: (2024)

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

Tableau methodology for propositional logics
by: Jarmuzek, T., et al.
Published: (2025)

Inferentialism and Relevance: The Case of Connexivity
by: Damian Szmuc
Published: (2021)

Connexive implications in Substructural Logics
by: Fazio, Davide, et al.
Published: (2022)

Logics with probabilistic team semantics and the Boolean negation
by: Hannula, Miika, et al.
Published: (2023)

Unified Gentzen Approach to Connexive Logics over Wansing's C
by: Kamide, Norihiro
Published: (2024)

Dynamic Probability Logics: Axiomatization & Definability
by: Chopoghloo, Somayeh, et al.
Published: (2024)

Minimal Axiomatization of Boolean Algebras
by: Zhang, Eugene
Published: (2023)

Axiomatizing the Logic of Ordinary Discourse
by: Greati, Vitor, et al.
Published: (2024)

Boolean basis, formula size, and number of modal operators
by: Berkholz, Christoph, et al.
Published: (2024)

Grzegorczyk Logic Unlocked
by: Wołoszyn, Wojciech Aleksander
Published: (2025)

Axiomatizing modal inclusion logic and its variants
by: Anttila, Aleksi, et al.
Published: (2023)

Possibilistic Computation Tree Logic: Decidability and Complete Axiomatization
by: Li, Yongming
Published: (2025)

Intrinsic and relative characterization results for logics with negative modalities
by: de Groot, Jim, et al.
Published: (2025)

Axiomatization of Büchi arithmetic
by: Kovalyov, Konstantin
Published: (2024)

Structural Indexing of Relational Databases for the Evaluation of Free-Connex Acyclic Conjunctive Queries
by: Riveros, Cristian, et al.
Published: (2026)

Arboreal Categories: An Axiomatic Theory of Resources
by: Abramsky, Samson, et al.
Published: (2021)

The Nikodym and Grothendieck properties of Boolean algebras and rings related to ideals
by: Sobota, Damian, et al.
Published: (2025)

Boolean Variation and Boolean Logic BackPropagation
by: Nguyen, Van Minh
Published: (2023)

Deciding Boolean Separation Logic via Small Models (Technical Report)
by: Dacík, Tomáš, et al.
Published: (2024)

Boolean Matrix Logic Programming on the GPU
by: Ai, Lun
Published: (2024)

Rings and Boolean Algebras as Algebraic Theories
by: De Faveri, Arturo
Published: (2025)

Axiomatic theories of supervaluational truth: completing the picture
by: Dopico, Pablo, et al.
Published: (2024)

Static Analysis of Logic Programs via Boolean Networks
by: Trinh, Van-Giang, et al.
Published: (2024)

Axiomatic Theory of Independence Relations in Model Theory
by: d'Elbée, Christian
Published: (2023)

Axiomatizing logics of finite Gödel-Kripke models
by: Vidal, Amanda, et al.
Published: (2026)

Axiomatizing Rumsfeld Ignorance
by: Fan, Jie
Published: (2025)

An Axiomatic Theory for Reversible Computation
by: Lanese, Ivan, et al.
Published: (2023)

Power Term Polynomial Algebra for Boolean Logic
by: Sansone, Emanuele, et al.
Published: (2026)

The modal theory of linear orders
by: Wołoszyn, Wojciech Aleksander
Published: (2026)

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
by: Wernhard, Christoph
Published: (2017)

The strength of the dominance rule
by: Kołodziejczyk, Leszek Aleksander, et al.
Published: (2024)

On the cut-elimination of the modal $μ$-calculus: Linear Logic to the rescue
by: Bauer, Esaïe, et al.
Published: (2025)

The completeness and congruences of quasi-Boolean algebras
by: Liu, Xiaohao, et al.
Published: (2025)

Axiomatization of approximate exclusion
by: Häggblom, Matilda
Published: (2024)

Axiomatizing approximate inclusion
by: Häggblom, Matilda
Published: (2025)

Agent-Knowledge Logic for Alternative Epistemic Logic
by: Nishimura, Yuki
Published: (2024)