Imagen de Portada

ST and TS as Product and Sum

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Blomet, Quentin, Égré, Paul
Formato:	Preprint
Publicado:	2024
Materias:	Logic 03B50, 03B47
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Probabilistic consequence relations
por: Égré, Paul, et al.
Publicado: (2024)

Generalized explosion principles
por: Basu, Sankha S., et al.
Publicado: (2023)

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

Multiplicative logic in arithmetic
por: Zhuravlov, Volodymyr
Publicado: (2024)

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

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

Connexive implications in Substructural Logics
por: Fazio, Davide, et al.
Publicado: (2022)

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

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

First-Order Implication-Space Semantics
por: Hlobil, Ulf
Publicado: (2026)

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

Rule-Elimination Theorems
por: Roy, Sayantan
Publicado: (2024)

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

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

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

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

Quantitative Linear Logic
por: Capucci, Matteo, et al.
Publicado: (2026)

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

Algebraizable Weak Logics
por: Nakov, Georgi, et al.
Publicado: (2022)

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

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

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

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

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

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

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

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

Revisiting Interpolation in Relevant Logics
por: Fussner, Wesley, et al.
Publicado: (2025)

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

Normal forms and representable functions in Moisil logic
por: Sipos, Andrei
Publicado: (2023)

Undecidability in Relevant Logic
por: Knudstorp, Søren Brinck
Publicado: (2026)

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

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

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

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

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

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

Rational Lukasiewicz logic and DMV-algebras
por: Gerla, Brunella
Publicado: (2012)

Intuitionistic Common Knowledge
por: Zenger, Lukas
Publicado: (2026)