Cover Image

ST and TS as Product and Sum

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Blomet, Quentin, Égré, Paul
Format:	Preprint
Published:	2024
Subjects:	Logic 03B50, 03B47
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On three-valued presentations of classical logic
by: da Ré, Bruno, et al.
Published: (2023)

Probabilistic consequence relations
by: Égré, Paul, et al.
Published: (2024)

Generalized explosion principles
by: Basu, Sankha S., et al.
Published: (2023)

A Basic Łukasiewicz m-valued conditional logic
by: Huo, Shuquan
Published: (2024)

Multiplicative logic in arithmetic
by: Zhuravlov, Volodymyr
Published: (2024)

Topological semantics for a non-self-extensional LFI
by: Jain, Esha, et al.
Published: (2025)

Equivalence of finite non-deterministic logical matrices is undecidable
by: Caleiro, Carlos, et al.
Published: (2024)

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

Reasoning from hypotheses in *-continuous action lattices
by: Kuznetsov, Stepan L., et al.
Published: (2024)

Modular many-valued semantics for combined logics
by: Caleiro, Carlos, et al.
Published: (2022)

First-Order Implication-Space Semantics
by: Hlobil, Ulf
Published: (2026)

A diagrammatic proof-theoretic semantics for the Greimas semiotic square
by: Fowler, Michael
Published: (2026)

Rule-Elimination Theorems
by: Roy, Sayantan
Published: (2024)

A classical-logic view on a paraconsistent logic
by: Middelburg, C. A.
Published: (2020)

The most natural paradefinite logic relative to classical logic
by: Middelburg, C. A.
Published: (2026)

On the minimization k-valued logic functions in the class of disjunctive normal forms
by: Kabulov, Anvar, et al.
Published: (2024)

Hierarchical formula classes with respect to semi-classical prenex normalization
by: Fujiwara, Makoto, et al.
Published: (2025)

Quantitative Linear Logic
by: Capucci, Matteo, et al.
Published: (2026)

A taxonomy for controlling (in)consistency
by: Coniglio, Marcelo E., et al.
Published: (2026)

Algebraizable Weak Logics
by: Nakov, Georgi, et al.
Published: (2022)

Kripke-like models of Set Theory in Modal Residuated Logic
by: Moncayo, Jose, et al.
Published: (2024)

The interdefinability of expansions of Belnap-Dunn logic
by: Middelburg, C. A.
Published: (2024)

The Compatibility of the Minimalist Foundation with Homotopy Type Theory
by: Contente, Michele, et al.
Published: (2022)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
by: Stanković, Marko, et al.
Published: (2025)

A categorical equivalence for monadic algebras of first-order substructural logics motivated by Kalman's construction
by: Wang, Juntao, et al.
Published: (2026)

Cardinality in a paraconsistent and paracomplete set theory
by: Oddsson, Hrafn Valtýr
Published: (2026)

Lewis and Brouwer meet Strong Löb
by: Visser, Albert, et al.
Published: (2024)

Maehara Interpolation in Extensions of R-mingle
by: Fussner, Wesley, et al.
Published: (2025)

Revisiting Interpolation in Relevant Logics
by: Fussner, Wesley, et al.
Published: (2025)

A minimalist two-level foundation for constructive mathematics
by: Maietti, Maria Emilia
Published: (2008)

Normal forms and representable functions in Moisil logic
by: Sipos, Andrei
Published: (2023)

Undecidability in Relevant Logic
by: Knudstorp, Søren Brinck
Published: (2026)

Algorithmic correspondence and analytic rules
by: De Domenico, Andrea, et al.
Published: (2022)

The prime spectrum of an $L$-algebra
by: Rump, W., et al.
Published: (2022)

Rotations of Gödel algebras with modal operators
by: Flaminio, Tommaso, et al.
Published: (2024)

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
by: Coniglio, Marcelo E.
Published: (2023)

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
by: Japaridze, Giorgi
Published: (2026)

Expansions of the group $Z_8$ (Part I)
by: Ploščica, Miroslav, et al.
Published: (2026)

Rational Lukasiewicz logic and DMV-algebras
by: Gerla, Brunella
Published: (2012)

Intuitionistic Common Knowledge
by: Zenger, Lukas
Published: (2026)