Relevant bibliographies by topics / Logic fibration / Journal articles
To see the other types of publications on this topic, follow the link: Logic fibration.

Journal articles on the topic 'Logic fibration'

Author: Grafiati
Published: 2 June 2025
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 18 journal articles for your research on the topic 'Logic fibration.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
<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&
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
17

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
18

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography