:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Jarmuzek, Tomasz, Malinowski, Jacek, Parol, Aleksander, Zamperlin, Nicolo
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2401.10056
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)

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

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

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

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

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

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

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

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

Dynamic Probability Logics: Axiomatization & Definability
by: Chopoghloo, Somayeh, 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)

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

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

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

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 Matrix Logic Programming on the GPU
by: Ai, Lun
Published: (2024)

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

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

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

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

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

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

Axiomatic theories of supervaluational truth: completing the picture
by: Dopico, Pablo, 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)

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

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

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

Connexive logics and connexive semi-Heyting algebras
by: Cornejo, Juan M., et al.
Published: (2025)

The modal theory of the category of sets
by: Wołoszyn, Wojciech Aleksander
Published: (2026)

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

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

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