Comparing semantic frameworks for dependently-sorted algebraic theories
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Homotopical inverse diagrams in categories with attributes
par: Kapulkin, Chris, et autres
Publié: (2018)
par: Kapulkin, Chris, et autres
Publié: (2018)
Constructive reflectivity principles for regular theories
par: Forssell, Henrik, et autres
Publié: (2016)
par: Forssell, Henrik, et autres
Publié: (2016)
Makkai's lost proof of projectivity of N in the free topos
par: Forssell, Henrik, et autres
Publié: (2026)
par: Forssell, Henrik, et autres
Publié: (2026)
The homotopy theory of type theories
par: Kapulkin, Chris, et autres
Publié: (2016)
par: Kapulkin, Chris, et autres
Publié: (2016)
Inferences Between Buridan’s Modal Propositions
par: Jonas Dagys
Publié: (2022)
par: Jonas Dagys
Publié: (2022)
QEAVis: Quantitative Evaluation of Academic Websites Visibility
par: M. F. Verdejo
Publié: (2009)
par: M. F. Verdejo
Publié: (2009)
Sémantique formelle: Volume 1
par: Roussarie, Laurent
Publié: (2018)
par: Roussarie, Laurent
Publié: (2018)
The Sorites Meets the Many
par: Ricardo Mena
Publié: (2014)
par: Ricardo Mena
Publié: (2014)
Generalized Abstract Argumentation: A First-order Machinery towards Ontology Debugging
par: Martín O. Moguillansky
Publié: (2010)
par: Martín O. Moguillansky
Publié: (2010)
A foundation for deductive mathematics
par: Quinn, Frank
Publié: (2021)
par: Quinn, Frank
Publié: (2021)
The role of categorization as a way of fidelity preservation in cultural transmission
par: José Henrique Pérez Rodríguez
Publié: (2018)
par: José Henrique Pérez Rodríguez
Publié: (2018)
Chapter Le marche di lista in russo. Segnali riformulativi, estensivi, generalizzanti… i vse takoe
par: Benigni, Valentina
Publié: (2022)
par: Benigni, Valentina
Publié: (2022)
DISCOURSES AND COEXISTENCE, INTERCULTURAL COHABITATION IN THE BELGIAN CITY OF VERVIERS
par: Jérémy Mandin
Publié: (2012)
par: Jérémy Mandin
Publié: (2012)
Frontiers of Combining Systems
Publié: (2023)
Publié: (2023)
A Counting Logic for Trees
par: Everardo Bárcenas
Publié: (2015)
par: Everardo Bárcenas
Publié: (2015)
The First Rule of Stoic Logic and its Relationship with the Indemonstrables
par: Miguel López-Astorga
Publié: (2016)
par: Miguel López-Astorga
Publié: (2016)
Beliefs about poverty related to social categorization in childhood
par: José Amar Amar
Publié: (2015)
par: José Amar Amar
Publié: (2015)
Performance analysis of Particle Swarm Optimization applied to unsupervised categorization of short texts
par: Leticia Cagnina
Publié: (2011)
par: Leticia Cagnina
Publié: (2011)
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
Publié: (2018)
Publié: (2018)
Logics
Publié: (2024)
Publié: (2024)
Inquisitive Logic
par: Ciardelli, Ivano
Publié: (2023)
par: Ciardelli, Ivano
Publié: (2023)
Semantics and Pragmatics
Publié: (2010)
Publié: (2010)
Morality in Transition: Reassessing Ethics Beyond Kant
par: Das, Beauty
Publié: (2025)
par: Das, Beauty
Publié: (2025)
Higher Education Student Body Diversification as Glocal Practice
par: José Gerardo Alvarado
Publié: (2012)
par: José Gerardo Alvarado
Publié: (2012)
Text Categorization for Internet Content Filtering
par: José M. Gómez
Publié: (2004)
par: José M. Gómez
Publié: (2004)
Inovação e relações universidade-indústra em países de desenvolvimento intermédio
par: Luísa Oliveira
Publié: (2008)
par: Luísa Oliveira
Publié: (2008)
Bulletin of the Section of Logic
Publié: (2020)
Publié: (2020)
A framework for the consensus decision-making based on arguments and common knowledge formation
par: Ayslan Trevizan Possebom
Publié: (2019)
par: Ayslan Trevizan Possebom
Publié: (2019)
On foundations for deductive mathematics
par: Quinn, Frank
Publié: (2024)
par: Quinn, Frank
Publié: (2024)
The Simplicial Model of Univalent Foundations (after Voevodsky)
par: Kapulkin, Chris, et autres
Publié: (2012)
par: Kapulkin, Chris, et autres
Publié: (2012)
The Relation Between Formal Validity and Epistemic Legitimacy in Modal Arguments with Strong Ontological Consequences
par: Kozłowski, Kornel
Publié: (2026)
par: Kozłowski, Kornel
Publié: (2026)
THE CONCEPT OF IDENTITY AND ITS STATUS IN SOCIAL PHILOSOPHY
par: Aitbayeva A.
Publié: (2025)
par: Aitbayeva A.
Publié: (2025)
Phase Transition of Logic: Experimental Observation of Logical Collapse in Transformer Hidden Spaces
par: Wang, Zhongren
Publié: (2025)
par: Wang, Zhongren
Publié: (2025)
Using Machine Learning for Extracting Information from Natural Disaster News Reports
par: Alberto Téllez Valero
Publié: (2009)
par: Alberto Téllez Valero
Publié: (2009)
Entrepreneurial Intention: Categorization, Classification of Constructs and Proposition of a Model
par: Fellipe Silva Martins
Publié: (2019)
par: Fellipe Silva Martins
Publié: (2019)
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Publié: (2018)
Publié: (2018)