An intermediate term functor logic
Bibliographic Data
| ID | 21859528 |
|---|---|
| Authors | José Martín Castro-Manzano (0000-0003-2227-921X, Universidad Popular Autónoma del Estado de Puebla, corresponding author) |
| Year | 2025 |
| Volume | 11 |
| Issue | 22 |
| Pages | 17-31 |
| Publication date | 2025-03-28 |
| Peer Reviewed | Yes |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Argumentos - Revista de Filosofia (JOURNAL) |
| Journal identifiers | ISSN: 1984-4247 • E-ISSN: 1984-4255 |
| Publisher | Universidade Federal do Ceará (UFC) (PUBLISHER) |
| DOI | 10.36517/argumentos.22.2 |
| OpenAlex | W2991672960 |
| Language | EN |
| References cited | 6 |
Neste artigo, tentamos fazer algo bastante simples: conhecer os avanços de Sommers e Englebretsen (a saber, uma álgebra mais-menos para silogística) juntamente com os desenvolvimentos de Peterson e Thompson (ou seja, uma extensão da silogística com “a maioria”, “Muitos” e “poucos”). O resultado é uma silogística intermediária que lida com uma ampla gama de padrões lógicos, mas com as virtudes de uma abordagem algébrica
Algebra over a field · Algebraic number · Epistemology · Functor · Programming language · Pure mathematics · Syllogism · Advanced Algebra and Logic · Computer Science · Logic, programming, and type systems · Mathematics · Philosophy · Polynomial and algebraic computation
| Citation velocity | historical |
|---|---|
| Highly cited | No |