Copertina

On Geometric Implications

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Tabatabai, Amirhossein Akbar
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

An Introduction to Categorical Proof Theory
di: Tabatabai, Amirhossein Akbar
Pubblicazione: (2024)

Witnessing Flows in Arithmetic
di: Tabatabai, Amirhossein Akbar
Pubblicazione: (2024)

Proof Complexity and Feasible Interpolation
di: Tabatabai, Amirhossein Akbar
Pubblicazione: (2025)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2018)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2018)

Proof Complexity of Linear Logics
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2026)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2025)

On a Generalization of Heyting Algebras I
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2024)

On a Generalization of Heyting Algebras II
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2024)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2025)

Proof-theoretic Semantics for the Logic of Bunched Implications
di: Gu, Tao, et al.
Pubblicazione: (2023)

Modular Counting over 3-Element and Conservative Domains
di: Bulatov, Andrei A., et al.
Pubblicazione: (2025)

Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
di: de Groot, Jim, et al.
Pubblicazione: (2021)

Implicative-orthomodular algebras
di: Ciungu, Lavinia Corina
Pubblicazione: (2023)

Fundamental Propositional Logic with Strict Implication
di: Chen, Zhicheng
Pubblicazione: (2025)

Hensel minimality: Geometric criteria for $\ell$-h-minimality
di: Vermeulen, Floris
Pubblicazione: (2022)

Complexity classification of counting graph homomorphisms modulo a prime number
di: Bulatov, Andrei A., et al.
Pubblicazione: (2021)

Modular Counting CSP: Reductions and Algorithms
di: Kazeminia, Amirhossein, et al.
Pubblicazione: (2025)

Geometric theories for real number algebra without sign test or dependent choice axiom
di: Lombardi, Henri, et al.
Pubblicazione: (2024)

Implicative models of set theory
di: Maschio, Samuele, et al.
Pubblicazione: (2023)

Linear Realisability and Implicative Algebras
di: Lucquin, Alexandre, et al.
Pubblicazione: (2026)

Empirical Impact of Dimensionality on Random Geometric SAT
di: Rädiker, Flora
Pubblicazione: (2026)

Implication Problems over Positive Semirings
di: Hirvonen, Minna
Pubblicazione: (2025)

Fuzzy Implicative Rules: A Unified Approach
di: Fernandez-Peralta, Raquel
Pubblicazione: (2025)

Formalising Propositional Information via Implication Hypergraphs
di: Dalal, Vibhu
Pubblicazione: (2025)

A Sequent Calculus For Trace Formula Implication
di: Heidler, Niklas, et al.
Pubblicazione: (2025)

Implications of Ramsey Choice principles in ZF$\mathsf {ZF}$
di: Lorenz Halbeisen, et al.
Pubblicazione: (2024)

Extended Resolution Clause Learning via Dual Implication Points
di: Buss, Sam, et al.
Pubblicazione: (2024)

The Implication Problem for Functional Dependencies and Variants of Marginal Distribution Equivalences
di: Hirvonen, Minna
Pubblicazione: (2023)

Geometric duality, perfect graphs, and the Sierpiński space
di: Borodulin-Nadzieja, Piotr, et al.
Pubblicazione: (2026)

A computable version of Hall's Harem Theorem and Geometric von Neumann Conjecture
di: Duda, Karol
Pubblicazione: (2021)

A Comprehensive Survey of Fuzzy Implication Functions
di: Fernandez-Peralta, Raquel
Pubblicazione: (2025)

Demystifying $μ$
di: Afshari, Bahareh, et al.
Pubblicazione: (2024)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
di: Afshari, Bahareh, et al.
Pubblicazione: (2024)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
di: Herbelin, Hugo
Pubblicazione: (2024)

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

Dynamic Probability Logic: Decidability & Computability
di: Chopoghloo, Somayeh, et al.
Pubblicazione: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)

Decidability of Quasi-Dense Modal Logics
di: Ostropolski-Nalewaja, Piotr, et al.
Pubblicazione: (2024)

The subTuring degrees
di: Kihara, Takayuki, et al.
Pubblicazione: (2024)