Image de couverture de livre

Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Jarmuzek, Tomasz, Malinowski, Jacek, Parol, Aleksander, Zamperlin, Nicolo
Format:	Preprint
Publié:	2024
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Generalized Epstein semantics for Parry systems
par: Zamperlin, Nicolò
Publié: (2024)

Tableau Methods for Propositional Logic and Term Logic
par: Jarmużek, Tomasz
Publié: (2024)

Modal weak Kleene logics: axiomatizations and relational semantics
par: Bonzio, Stefano, et autres
Publié: (2024)

Proof-Theoretic Functional Completeness for the Connexive Logic C
par: Ayhan, Sara, et autres
Publié: (2025)

Tableau methodology for propositional logics
par: Jarmuzek, T., et autres
Publié: (2025)

Inferentialism and Relevance: The Case of Connexivity
par: Damian Szmuc
Publié: (2021)

Connexive implications in Substructural Logics
par: Fazio, Davide, et autres
Publié: (2022)

Logics with probabilistic team semantics and the Boolean negation
par: Hannula, Miika, et autres
Publié: (2023)

Unified Gentzen Approach to Connexive Logics over Wansing's C
par: Kamide, Norihiro
Publié: (2024)

Dynamic Probability Logics: Axiomatization & Definability
par: Chopoghloo, Somayeh, et autres
Publié: (2024)

Minimal Axiomatization of Boolean Algebras
par: Zhang, Eugene
Publié: (2023)

Axiomatizing the Logic of Ordinary Discourse
par: Greati, Vitor, et autres
Publié: (2024)

Boolean basis, formula size, and number of modal operators
par: Berkholz, Christoph, et autres
Publié: (2024)

Grzegorczyk Logic Unlocked
par: Wołoszyn, Wojciech Aleksander
Publié: (2025)

Axiomatizing modal inclusion logic and its variants
par: Anttila, Aleksi, et autres
Publié: (2023)

Possibilistic Computation Tree Logic: Decidability and Complete Axiomatization
par: Li, Yongming
Publié: (2025)

Intrinsic and relative characterization results for logics with negative modalities
par: de Groot, Jim, et autres
Publié: (2025)

Axiomatization of Büchi arithmetic
par: Kovalyov, Konstantin
Publié: (2024)

Structural Indexing of Relational Databases for the Evaluation of Free-Connex Acyclic Conjunctive Queries
par: Riveros, Cristian, et autres
Publié: (2026)

Arboreal Categories: An Axiomatic Theory of Resources
par: Abramsky, Samson, et autres
Publié: (2021)

The Nikodym and Grothendieck properties of Boolean algebras and rings related to ideals
par: Sobota, Damian, et autres
Publié: (2025)

Boolean Variation and Boolean Logic BackPropagation
par: Nguyen, Van Minh
Publié: (2023)

Deciding Boolean Separation Logic via Small Models (Technical Report)
par: Dacík, Tomáš, et autres
Publié: (2024)

Boolean Matrix Logic Programming on the GPU
par: Ai, Lun
Publié: (2024)

Rings and Boolean Algebras as Algebraic Theories
par: De Faveri, Arturo
Publié: (2025)

Axiomatic theories of supervaluational truth: completing the picture
par: Dopico, Pablo, et autres
Publié: (2024)

Static Analysis of Logic Programs via Boolean Networks
par: Trinh, Van-Giang, et autres
Publié: (2024)

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

Axiomatizing logics of finite Gödel-Kripke models
par: Vidal, Amanda, et autres
Publié: (2026)

Axiomatizing Rumsfeld Ignorance
par: Fan, Jie
Publié: (2025)

An Axiomatic Theory for Reversible Computation
par: Lanese, Ivan, et autres
Publié: (2023)

Power Term Polynomial Algebra for Boolean Logic
par: Sansone, Emanuele, et autres
Publié: (2026)

The modal theory of linear orders
par: Wołoszyn, Wojciech Aleksander
Publié: (2026)

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

The strength of the dominance rule
par: Kołodziejczyk, Leszek Aleksander, et autres
Publié: (2024)

On the cut-elimination of the modal $μ$-calculus: Linear Logic to the rescue
par: Bauer, Esaïe, et autres
Publié: (2025)

The completeness and congruences of quasi-Boolean algebras
par: Liu, Xiaohao, et autres
Publié: (2025)

Axiomatization of approximate exclusion
par: Häggblom, Matilda
Publié: (2024)

Axiomatizing approximate inclusion
par: Häggblom, Matilda
Publié: (2025)

Agent-Knowledge Logic for Alternative Epistemic Logic
par: Nishimura, Yuki
Publié: (2024)