August 8, 2024Open Access

Strong completeness for the predicate logic of the continuous t-norms

Puntos clave

Los puntos clave no están disponibles para este artículo en este momento.

Resumen

The axiomatic system introduced by H\'ajek axiomatizes first-order logic based on BL-chains. In this study, we extend this system with the axiom (x) ² x ² and the infinitary rule \ (ⁿ): n N (\&) \ to achieve strong completeness with respect to continuous t-norms.

Leer artículo completoexternamente

Me gusta

Guardar

Ver artículo completo

Cite This Study

Castaño et al. (Thu,) studied this question.

synapsesocial.com/papers/68e5d123b6db643587567da4 https://doi.org/https://doi.org/10.48550/arxiv.2408.04792

Also Consider

Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context:

1A fundamental completeness theorem for bivalent free logics2025
2Continuous Logic in a Classical Setting2025
3Four-Valued Logics with Infinitely Many Extensions2025
4Arithmetical Completeness for Some Extensions of the Pure Logic of Necessitation2026
5A Version of Predicate Logic with Two Variables That has an Incompleteness Property2024

Me gusta

Guardar

Ver artículo completo