Copertina

A characterization of the $n$-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Vidal, Juan Climent, Llópez, Enric Cosme
Natura:	Preprint
Pubblicazione:	2017
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Eilenberg theorems for many-sorted formations
di: Vidal, Juan Climent, et al.
Pubblicazione: (2016)

Congruence based proofs of the recognizability theorems for free many-sorted algebras
di: Vidal, Juan Climent, et al.
Pubblicazione: (2018)

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
di: Przybocki, Benjamin, et al.
Pubblicazione: (2024)

Operational semantics and program verification using many-sorted hybrid modal logic
di: Leustean, Ioana, et al.
Pubblicazione: (2019)

Lallement functor is a weak right multiadjoint
di: Vidal, Juan Climent, et al.
Pubblicazione: (2023)

Płonka Adjunction
di: Vidal, Juan Climent, et al.
Pubblicazione: (2023)

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
di: Oddsson, Hrafn Valtýr
Pubblicazione: (2026)

A two-sorted theory of nilpotent Lie algebras
di: d'Elbée, Christian, et al.
Pubblicazione: (2024)

Riguet and Generalized Congruences on a Category: Relationships and Applications
di: Vidal, Juan Climent, et al.
Pubblicazione: (2025)

Preservation theorems for Tarski's relation algebra
di: Bogaerts, Bart, et al.
Pubblicazione: (2023)

From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms
di: Vidal, Juan Climent, et al.
Pubblicazione: (2024)

Tarski's least fixed point theorem: A predicative type theoretic formulation
di: Ray, Ian
Pubblicazione: (2024)

A monoidal category of dependently sorted algebraic theories I: syntax
di: Almeida, Daniel
Pubblicazione: (2025)

A Topological Rewriting of Tarski's Mereogeometry
di: Barlatier, Patrick, et al.
Pubblicazione: (2025)

Local stability in structures with a standard sort
di: Barbina, Silvia, et al.
Pubblicazione: (2025)

A model-thoeretic version of Tarski's theorem
di: Maříková, Jana
Pubblicazione: (2025)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
di: Ayhan, Sara
Pubblicazione: (2023)

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

Partition genericity and pigeonhole basis theorems
di: Monin, Benoit, et al.
Pubblicazione: (2022)

Upward Löwenheim-Skolem-Tarski Numbers for Abstract Logics
di: Gitman, Victoria, et al.
Pubblicazione: (2024)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
di: Hansen, Zachary
Pubblicazione: (2025)

A definição de verdade de Tarski
di: Cardoso, Guilherme, et al.
Pubblicazione: (2024)

A realization theorem for the modal logic of transitive closure $\mathsf{K}^+$
di: Shamkanov, Daniyar
Pubblicazione: (2024)

Boolean basis, formula size, and number of modal operators
di: Berkholz, Christoph, et al.
Pubblicazione: (2024)

Cross-constraint basis theorems and products of partitions
di: Cervelle, Julien, et al.
Pubblicazione: (2024)

Van Douwen and many non Van Douwen families
di: Schembecker, Lukas
Pubblicazione: (2025)

Asymptotic truth-value laws in many-valued logics
di: Badia, Guillermo, et al.
Pubblicazione: (2023)

Universal homogeneous two-sorted ultrametric spaces
di: Bartoš, Adam, et al.
Pubblicazione: (2026)

Low-like basis theorems for Ramsey's theorem for pairs in first-order arithmetic
di: Ikari, Hiroyuki, et al.
Pubblicazione: (2026)

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

On the Formal Metatheory of the Pure Type Systems using One-sorted Variable Names and Multiple Substitutions
di: Urciuoli, Sebastián
Pubblicazione: (2025)

Rigid many-one degrees contain infinite antichains of $1$-degrees
di: Cintioli, Patrizio
Pubblicazione: (2026)

On the fault diameter and wide diameter of the exchanged 3-ary $n$-cube
di: Geng, Rongshuan, et al.
Pubblicazione: (2025)

On the lattice of multi-sorted relational clones on a two-element set
di: David, Vojtěch, et al.
Pubblicazione: (2025)

A Coq-based Axiomatization of Tarski's Mereogeometry
di: Barlatier, Patrick, et al.
Pubblicazione: (2025)

Structures of uninorms on bounded lattices via t-conorms, closure operators and t-subnorms
di: Xiu, Zhenyu, et al.
Pubblicazione: (2025)

There are only countably many locally tabular bi-intermediate logics of co-trees
di: Martins, Miguel
Pubblicazione: (2026)

Imaginaries in perfect bounded pseudo algebraically closed fields with finitely many independent valuations
di: Leandro, Bryan González
Pubblicazione: (2026)

Negative resolution to the $C^*$-algebraic Tarski problem
di: Elayavalli, Srivatsav Kunnawalkam, et al.
Pubblicazione: (2025)

Towards an Independent Version of Tarski's System of Geometry
di: Boutry, Pierre, et al.
Pubblicazione: (2024)