:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Tabatabai, Amirhossein Akbar
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2405.04625
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

An Introduction to Categorical Proof Theory
by: Tabatabai, Amirhossein Akbar
Published: (2024)

Witnessing Flows in Arithmetic
by: Tabatabai, Amirhossein Akbar
Published: (2024)

Proof Complexity and Feasible Interpolation
by: Tabatabai, Amirhossein Akbar
Published: (2025)

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

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

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

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

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

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

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

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

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

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

Implicative-orthomodular algebras
by: Ciungu, Lavinia Corina
Published: (2023)

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

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

Fundamental Propositional Logic with Strict Implication
by: Chen, Zhicheng
Published: (2025)

Implicative models of set theory
by: Maschio, Samuele, et al.
Published: (2023)

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

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

Linear Realisability and Implicative Algebras
by: Lucquin, Alexandre, et al.
Published: (2026)

Implication Problems over Positive Semirings
by: Hirvonen, Minna
Published: (2025)

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

Fuzzy Implicative Rules: A Unified Approach
by: Fernandez-Peralta, Raquel
Published: (2025)

Formalising Propositional Information via Implication Hypergraphs
by: Dalal, Vibhu
Published: (2025)

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

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

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

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

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

Geometric Multi-State Computing Units (GLUs): A Comprehensive Mathematical, Computational, and Architectural Framework Beyond Binary Logic
by: Ramin, Rezapour, et al.
Published: (2026)

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

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

The Ideal Membership Problem and Abelian Groups
by: Bulatov, Andrei A., et al.
Published: (2022)

Semi-abelian by Design: Johnstone Algebras Unifying Implication and Division
by: Forsman, David
Published: (2025)

Demystifying $μ$
by: Afshari, Bahareh, et al.
Published: (2024)

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

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

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

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