Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Castaño, Diego, Varela, José Patricio Díaz, Savoy, Gabriel
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Strong standard completeness theorems for S5-modal Lukasiewicz logics
von: Castaño, Diego, et al.
Veröffentlicht: (2024)

The algebraic semantics for the one-variable monadic fragment of the predicate logic $\mathcal{G}\forall_{\sim}$
von: Castaño, Diego, et al.
Veröffentlicht: (2024)

Terms that define nuclei on residuated lattices: a case study of BL-algebras
von: Buss, Sebastián, et al.
Veröffentlicht: (2024)

Modal logical aspects of provability predicates and consistency statements
von: Kogure, Haruka, et al.
Veröffentlicht: (2025)

Recursive inseparability of classical theories of a binary predicate and non-classical logics of a unary predicate
von: Rybakov, Mikhail
Veröffentlicht: (2025)

Superintuitionistic predicate logics of linear frames: undecidability with two individual variables
von: Rybakov, Mikhail
Veröffentlicht: (2025)

Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
von: Dowek, Gilles, et al.
Veröffentlicht: (2023)

Strong completeness of a first-order temporal logic for real time
von: Goldblatt, Robert
Veröffentlicht: (2023)

Craig interpolation theorem fails in bi-intuitionistic predicate logic
von: Olkhovikov, Grigory K., et al.
Veröffentlicht: (2022)

Definability in affine continuous logic
von: Bagheri, Seyed-Mohammad
Veröffentlicht: (2024)

Strong quasi-MV* algebras and their logics
von: Cai, Lei, et al.
Veröffentlicht: (2025)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
von: Hansen, Helle Hvid, et al.
Veröffentlicht: (2025)

Neighborhood and algebraic models for predicate modal logics with $ω$-rules
von: Tanaka, Yoshihito
Veröffentlicht: (2025)

Arithmetical completeness for some extensions of the pure logic of necessitation
von: Kogure, Haruka
Veröffentlicht: (2024)

On the existence property over a predicate
von: Usvyatsov, Alexander
Veröffentlicht: (2025)

On $\lam$-existence over a predicate
von: Usvyatsov, Alexander
Veröffentlicht: (2026)

Stability over a predicate and prime closure
von: Usvyatsov, Alexander
Veröffentlicht: (2024)

Stable amalgamation over a predicate and the Gaifman property
von: Shelah, Saharon, et al.
Veröffentlicht: (2025)

Alignment complete relational Hoare logics for some and all
von: Nagasamudram, Ramana, et al.
Veröffentlicht: (2023)

Fibred sets within a predicative and constructive effective topos
von: Cioffo, Cipriano Junior, et al.
Veröffentlicht: (2024)

Uniqueness of constructible models in continuous logic
von: Hanson, James E.
Veröffentlicht: (2025)

A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates
von: Oda, Yukihiro, et al.
Veröffentlicht: (2022)

On the local consequence of modal Product logic: standard completeness and decidability
von: Vidal, Amanda
Veröffentlicht: (2023)

Tarski's least fixed point theorem: A predicative type theoretic formulation
von: Ray, Ian
Veröffentlicht: (2024)

A linear proof language for second-order intuitionistic linear logic
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2023)

On the expressive power of inquisitive team logic and inquisitive first-order logic
von: Kontinen, Juha, et al.
Veröffentlicht: (2026)

Quantum modal logic
von: Tokuo, Kenji
Veröffentlicht: (2025)

The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete
von: Bozzelli, L., et al.
Veröffentlicht: (2022)

Sharing proofs with predicative theories through universe-polymorphic elaboration
von: Felicissimo, Thiago, et al.
Veröffentlicht: (2023)

Tableau methodology for propositional logics
von: Jarmuzek, T., et al.
Veröffentlicht: (2025)

Intuitionistic logic, dual intuitionistic logic, and modality
von: Aryal, Safal Raman
Veröffentlicht: (2024)

On equationally Noetherian predicate structures
von: Buchinskiy, Ivan, et al.
Veröffentlicht: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
von: Bonanno, Giacomo
Veröffentlicht: (2026)

Extended multi-adjoint logic programming
von: Cornejo, M. Eugenia, et al.
Veröffentlicht: (2024)

A logic for default deontic reasoning
von: Piazza, Mario, et al.
Veröffentlicht: (2025)

Modal definability in Euclidean modal logics
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)

Filling in the semantics for intuitionistic conditional logic
von: Dufty, Brendan, et al.
Veröffentlicht: (2025)

Modelling of logical systems by means of their fragments
von: Rybakov, Mikhail
Veröffentlicht: (2025)

Superabelian logics
von: Cintula, Petr, et al.
Veröffentlicht: (2024)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
von: Santo, José Espírito, et al.
Veröffentlicht: (2020)