:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Jarmuzek, Tomasz, Malinowski, Jacek, Parol, Aleksander, Zamperlin, Nicolo
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic
Accesso online:	https://arxiv.org/abs/2401.10056
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Generalized Epstein semantics for Parry systems
di: Zamperlin, Nicolò
Pubblicazione: (2024)

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

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

Tableau methodology for propositional logics
di: Jarmuzek, T., et al.
Pubblicazione: (2025)

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

Connexive implications in Substructural Logics
di: Fazio, Davide, et al.
Pubblicazione: (2022)

Inferentialism and Relevance: The Case of Connexivity
di: Damian Szmuc
Pubblicazione: (2021)

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

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

Minimal Axiomatization of Boolean Algebras
di: Zhang, Eugene
Pubblicazione: (2023)

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

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

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

Grzegorczyk Logic Unlocked
di: Wołoszyn, Wojciech Aleksander
Pubblicazione: (2025)

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

Possibilistic Computation Tree Logic: Decidability and Complete Axiomatization
di: Li, Yongming
Pubblicazione: (2025)

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

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

Axiomatization of Büchi arithmetic
di: Kovalyov, Konstantin
Pubblicazione: (2024)

Boolean Variation and Boolean Logic BackPropagation
di: Nguyen, Van Minh
Pubblicazione: (2023)

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

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

Boolean Matrix Logic Programming on the GPU
di: Ai, Lun
Pubblicazione: (2024)

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

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

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

Axiomatizing Rumsfeld Ignorance
di: Fan, Jie
Pubblicazione: (2025)

Rings and Boolean Algebras as Algebraic Theories
di: De Faveri, Arturo
Pubblicazione: (2025)

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

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

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

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

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

Axiomatization of approximate exclusion
di: Häggblom, Matilda
Pubblicazione: (2024)

Axiomatizing approximate inclusion
di: Häggblom, Matilda
Pubblicazione: (2025)

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

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

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

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

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