Bibliographies thématiques / Logic fibration / Articles de revues
Pour voir les autres types de publications sur ce sujet consultez le lien suivant : Logic fibration.

Articles de revues sur le sujet « Logic fibration »

Auteur : Grafiati
Publié le 2 juin 2025
Mis à jour le 31 juillet 2025

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les 18 meilleurs articles de revues pour votre recherche sur le sujet « Logic fibration ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.

1

HASUO, ICHIRO, TOSHIKI KATAOKA, and KENTA CHO. "Coinductive predicates and final sequences in a fibration." Mathematical Structures in Computer Science 28, no. 4 (2017): 562–611. http://dx.doi.org/10.1017/s0960129517000056.

Texte intégral
Résumé :
Coinductive predicates express persisting ‘safety’ specifications of transition systems. Previous observations by Hermida and Jacobs identify coinductive predicates as suitable final coalgebras in a fibration – a categorical abstraction of predicate logic. In this paper, we follow the spirit of a seminal work by Worrell and study final sequences in a fibration. Our main contribution is to identify some categorical ‘size restriction’ axioms that guarantee stabilization of final sequences after ω steps. In its course, we develop a relevant categorical infrastructure that relates fibrations and l
Styles APA, Harvard, Vancouver, ISO, etc.
2

Termen, Talip Can, and Ozgur Ege. "Digital h-Fibrations and Some New Results on Digital Fibrations." Axioms 13, no. 3 (2024): 180. http://dx.doi.org/10.3390/axioms13030180.

Texte intégral
Résumé :
In this work, the notion of digital fiber homotopy is defined and its properties are given. We present some new results on digital fibrations. Moreover, we introduce digital h-fibrations. We prove some of the properties of these digital h-fibrations. We show that a digital fibration and a digital map p are fiber homotopic equivalent if and only if p is a digital h-fibration. Finally, we explore a relation between digital fibrations and digital h-fibrations.
Styles APA, Harvard, Vancouver, ISO, etc.
3

Leifer, Ian, Flaviano Morone, Saulo D. S. Reis, José S. Andrade, Mariano Sigman, and Hernán A. Makse. "Circuits with broken fibration symmetries perform core logic computations in biological networks." PLOS Computational Biology 16, no. 6 (2020): e1007776. http://dx.doi.org/10.1371/journal.pcbi.1007776.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

NICOLAIDIS, A., and V. KIOSSES. "SPINOR GEOMETRY." International Journal of Modern Physics A 27, no. 22 (2012): 1250126. http://dx.doi.org/10.1142/s0217751x12501266.

Texte intégral
Résumé :
It has been proposed that quantum mechanics and string theory share a common inner syntax, the relational logic of C. S. Peirce. Along this line of thought we consider the relations represented by spinors. Spinor composition leads to the emergence of Minkowski space–time. Inversely, the Minkowski space–time is istantiated by the Weyl spinors, while the merger of two Weyl spinors gives rise to a Dirac spinor. Our analysis is applied also to the string geometry. The string constraints are represented by real spinors, which create a parametrization of the string worldsheet identical to the Ennepe
Styles APA, Harvard, Vancouver, ISO, etc.
5

Pagnan, Ruggero. "Concrete Fibrations." Notre Dame Journal of Formal Logic 58, no. 2 (2017): 179–204. http://dx.doi.org/10.1215/00294527-3817788.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Emmenegger, Jacopo, Fabio Pasquali, and Giuseppe Rosolini. "A characterisation of elementary fibrations." Annals of Pure and Applied Logic 173, no. 6 (2022): 103103. http://dx.doi.org/10.1016/j.apal.2022.103103.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Lamarche, François. "Multiplicative Linear Logics and Fibrations." Electronic Notes in Theoretical Computer Science 69 (February 2003): 227–47. http://dx.doi.org/10.1016/s1571-0661(04)80567-x.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

HALIMI, BRICE. "LOGICAL CONTEXTUALITY IN FREGE." Review of Symbolic Logic 11, no. 1 (2018): 1–20. http://dx.doi.org/10.1017/s1755020316000320.

Texte intégral
Résumé :
AbstractLogical universalism, a label that has been pinned on to Frege, involves the conflation of two features commonly ascribed to logic: universality and radicality. Logical universality consists in logic being about absolutely everything. Logical radicality, on the other hand, corresponds to there being the one and the same logic that any reasoning must comply with. The first part of this paper quickly remarks that Frege’s conception of logic makes logical universality prevail and does not preclude the admission of different contexts of discourse. The paper then aims to make it clear how F
Styles APA, Harvard, Vancouver, ISO, etc.
9

Makkai, M. "The fibrational formulation of intuitionistic predicate logic ${\rm I}$: completeness according to Gödel, Kripke, and Läuchli. II." Notre Dame Journal of Formal Logic 34, no. 4 (1993): 471–98. http://dx.doi.org/10.1305/ndjfl/1093633902.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

Makkai, M. "The fibrational formulation of intuitionistic predicate logic ${\rm I}$: completeness according to Gödel, Kripke, and Läuchli. I." Notre Dame Journal of Formal Logic 34, no. 3 (1993): 334–77. http://dx.doi.org/10.1305/ndjfl/1093634727.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
11

Hermida, Claudio Alberto. "Fibrations, Logical Predicates and Indeterminates." DAIMI Report Series 22, no. 462 (1993). http://dx.doi.org/10.7146/dpb.v22i462.6935.

Texte intégral
Résumé :
<p>Within the framework of categorical logic/type theory, we provide a category-theoretic account of some logical concepts, i.e. first-order logical predicates for simply typed lambda-calculus, structural induction for inductive data types, and indeterminates for polymorphic calculi.</p><p> </p><p>The main concept which underlies the issues above is that of fibration, which gives an abstract presentation of the indexing present in all cases: predicates indexed by types/contexts in first-order logic and types indexed by kinds in polymorphic calculi.</p><p&
Styles APA, Harvard, Vancouver, ISO, etc.
12

Sterling, Jonathan. "What should a generic object be?" Mathematical Structures in Computer Science, April 25, 2023, 1–22. http://dx.doi.org/10.1017/s0960129523000117.

Texte intégral
Résumé :
Abstract Jacobs has proposed definitions for (weak, strong, split) generic objects for a fibered category; building on his definition of (split) generic objects, Jacobs develops a menagerie of important fibrational structures with applications to categorical logic and computer science, including higher order fibrations, polymorphic fibrations, $\lambda2$ -fibrations, triposes, and others. We observe that a split generic object need not in particular be a generic object under the given definitions, and that the definitions of polymorphic fibrations, triposes, etc. are strict enough to rule out
Styles APA, Harvard, Vancouver, ISO, etc.
13

Anel, Mathieu, and Jonathan Weinberger. "Smooth and proper maps with respect to a fibration." Mathematical Structures in Computer Science, November 6, 2024, 1–14. http://dx.doi.org/10.1017/s096012952400032x.

Texte intégral
Résumé :
Abstract This paper explain how the geometric notions of local contractibility and properness are related to the $\Sigma$ -types and $\Pi$ -types constructors of dependent type theory. We shall see how every Grothendieck fibration comes canonically with such a pair of notions—called smooth and proper maps—and how this recovers the previous examples and many more. This paper uses category theory to reveal a common structure between geometry and logic, with the hope that the parallel will be beneficial to both fields. The style is mostly expository, and the main results are proved in external re
Styles APA, Harvard, Vancouver, ISO, etc.
14

Sprunger, David, Shin-ya Katsumata, Jérémy Dubut, and Ichiro Hasuo. "Fibrational bisimulations and quantitative reasoning: Extended version." Journal of Logic and Computation, September 10, 2021. http://dx.doi.org/10.1093/logcom/exab051.

Texte intégral
Résumé :
Abstract Bisimulation and bisimilarity are fundamental notions in comparing state-based systems. Their extensions to a variety of systems have been actively pursued in recent years, a notable direction being quantitative extensions. In this paper we enhance a categorical framework for such extended (bi)simulation notions. We use coalgebras as system models and fibrations for organizing predicates—following the seminal work by Hermida and Jacobs. Endofunctor liftings are crucial predicate-forming ingredients; the first contribution of this work is to extend several extant lifting techniques fro
Styles APA, Harvard, Vancouver, ISO, etc.
15

Awodey, Steve, Nicola Gambino, and Sina Hazratpour. "Kripke-Joyal forcing for type theory and uniform fibrations." Selecta Mathematica 30, no. 4 (2024). http://dx.doi.org/10.1007/s00029-024-00962-2.

Texte intégral
Résumé :
AbstractWe introduce a new method for precisely relating algebraic structures in a presheaf category and judgements of its internal type theory. The method provides a systematic way to organise complex diagrammatic reasoning and generalises the well-known Kripke-Joyal forcing for logic. As an application, we prove several properties of algebraic weak factorisation systems considered in Homotopy Type Theory.
Styles APA, Harvard, Vancouver, ISO, etc.
16

Fiore, Marcelo, Zeinab Galal, and Farzad Jafarrahmani. "Fixpoint constructions in focused orthogonality models of linear logic." Electronic Notes in Theoretical Informatics and Computer Science Volume 3 - Proceedings of... (November 23, 2023). http://dx.doi.org/10.46298/entics.12302.

Texte intégral
Résumé :
Orthogonality is a notion based on the duality between programs and their environments used to determine when they can be safely combined. For instance, it is a powerful tool to establish termination properties in classical formal systems. It was given a general treatment with the concept of orthogonality category, of which numerous models of linear logic are instances, by Hyland and Schalk. This paper considers the subclass of focused orthogonalities. We develop a theory of fixpoint constructions in focused orthogonality categories. Central results are lifting theorems for initial algebras an
Styles APA, Harvard, Vancouver, ISO, etc.
17

Emmerson, Parker. "Anterolateral Lite 2." Journal of Liberated Mathematics, May 25, 2025. https://doi.org/10.5281/zenodo.15510371.

Texte intégral
Résumé :
The \emph{Anterolateral Lite 2} formalism arises from a need to robustly track analytic and symbolic distinctions that are often lost in traditional algebraic and geometric frameworks, especially in contexts involving multi-branched solutions and subtle phase phenomena, such as Lorentzian and radical expressions. Classical algebraic structures, which treat coordinates as atomic or globally coherent entities, are prone to \emph{branch collapse}: the unwanted identification of distinct solution branches through singularities, degenerate loci, or insufficiently expressive type systems. Building o
Styles APA, Harvard, Vancouver, ISO, etc.
18

Akbar Tabatabai, Amirhossein. "On Geometric Implications." Studia Logica, March 6, 2024. http://dx.doi.org/10.1007/s11225-023-10094-x.

Texte intégral
Résumé :
AbstractIt is a well-known fact that although the poset of open sets of a topological space is a Heyting algebra, its Heyting implication is not necessarily stable under the inverse image of continuous functions and hence is not a geometric concept. This leaves us wondering if there is any stable family of implications that can be safely called geometric. In this paper, we will first recall the abstract notion of implication as a binary modality introduced in Akbar Tabatabai (Implication via spacetime. In: Mathematics, logic, and their philosophies: essays in honour of Mohammad Ardeshir, pp 16
Styles APA, Harvard, Vancouver, ISO, etc.
Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!

Vers la bibliographie