Log in

Relevant bibliographies by topics / Relational calculi

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Relational calculi'

Author: Grafiati

Published: 4 June 2021

Last updated: 7 February 2022

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Relational calculi.'

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.

Journal articles on the topic "Relational calculi"

1

de Freitas, R., P. A. S. Veloso, S. R. M. Veloso, and P. Viana. "On Positive Relational Calculi." Logic Journal of IGPL 15, no. 5-6 (2007): 577–601. http://dx.doi.org/10.1093/jigpal/jzm054.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Sáenz-Pérez, Fernando. "Relational calculi in a deductive system." Expert Systems with Applications 97 (May 2018): 106–16. http://dx.doi.org/10.1016/j.eswa.2017.12.007.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Kahl, W. "Relational matching for graphical calculi of relations." Information Sciences 119, no. 3-4 (1999): 253–73. http://dx.doi.org/10.1016/s0020-0255(99)00018-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Libkin, Leonid, and Limsoon Wong. "Conservativity of nested relational calculi with internal generic functions." Information Processing Letters 49, no. 6 (1994): 273–80. http://dx.doi.org/10.1016/0020-0190(94)90099-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Gherardi, Guido, and Eugenio Orlandelli. "Super-Strict Implications." Bulletin of the Section of Logic 50, no. 1 (2021): 1–34. http://dx.doi.org/10.18778/0138-0680.2021.02.

Full text

Abstract:

This paper introduces the logics of super-strict implications, where a super-strict implication is a strengthening of C.I. Lewis' strict implication that avoids not only the paradoxes of material implication but also those of strict implication. The semantics of super-strict implications is obtained by strengthening the (normal) relational semantics for strict implication. We consider all logics of super-strict implications that are based on relational frames for modal logics in the modal cube. it is shown that all logics of super-strict implications are connexive logics in that they validate

APA, Harvard, Vancouver, ISO, and other styles

6

Pascucci, Matteo. "Propositional quantifiers in labelled natural deduction for normal modal logic." Logic Journal of the IGPL 27, no. 6 (2019): 865–94. http://dx.doi.org/10.1093/jigpal/jzz008.

Full text

Abstract:

Abstract This article concerns the treatment of propositional quantification in a framework of labelled natural deduction for modal logic developed by Basin, Matthews and Viganò. We provide a detailed analysis of a basic calculus that can be used for a proof-theoretic rendering of minimal normal multimodal systems with quantification over stable domains of propositions. Furthermore, we consider variations of the basic calculus obtained via relational theories and domain theories allowing for quantification over possibly unstable domains of propositions. The main result of the article is that f

APA, Harvard, Vancouver, ISO, and other styles

7

Amini, Majid. "Logical machines: Peirce on psychologism." Disputatio 2, no. 24 (2008): 335–48. http://dx.doi.org/10.2478/disp-2008-0005.

Full text

Abstract:

Abstract This essay discusses Peirce’s appeal to logical machines as an argument against psychologism. It also contends that some of Peirce’s anti-psychologistic remarks on logic contain interesting premonitions arising from his perception of the asymmetry of proof complexity in monadic and relational logical calculi that were only given full formulation and explication in the early twentieth century through Church’s Theorem and Hilbert’s broad-ranging Entscheidungsproblem.

APA, Harvard, Vancouver, ISO, and other styles

8

KIKOT, STANISLAV, AGI KURUCZ, YOSHIHITO TANAKA, FRANK WOLTER, and MICHAEL ZAKHARYASCHEV. "KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS." Journal of Symbolic Logic 84, no. 02 (2019): 533–88. http://dx.doi.org/10.1017/jsl.2019.22.

Full text

Abstract:

AbstractOur concern is the completeness problem for spi-logics, that is, sets of implications between strictly positive formulas built from propositional variables, conjunction and modal diamond operators. Originated in logic, algebra and computer science, spi-logics have two natural semantics: meet-semilattices with monotone operators providing Birkhoff-style calculi and first-order relational structures (aka Kripke frames) often used as the intended structures in applications. Here we lay foundations for a completeness theory that aims to answer the question whether the two semantics define

APA, Harvard, Vancouver, ISO, and other styles

9

BIMBÓ, KATALIN, J. MICHAEL DUNN, and ROGER D. MADDUX. "RELEVANCE LOGICS AND RELATION ALGEBRAS." Review of Symbolic Logic 2, no. 1 (2009): 102–31. http://dx.doi.org/10.1017/s1755020309090145.

Full text

Abstract:

Relevance logics are known to be sound and complete for relational semantics with a ternary accessibility relation. This paper investigates the problem of adequacy with respect to special kinds of dynamic semantics (i.e., proper relation algebras and relevant families of relations). We prove several soundness results here. We also prove the completeness of a certain positive fragment of R as well as of the first-degree fragment of relevance logics. These results show that some core ideas are shared between relevance logics and relation algebras. Some details of certain incompleteness results,

APA, Harvard, Vancouver, ISO, and other styles

10

HONDA, KOHEI. "Elementary structures in process theory (1): Sets with renaming." Mathematical Structures in Computer Science 10, no. 5 (2000): 617–63. http://dx.doi.org/10.1017/s0960129599002947.

Full text

Abstract:

We study a general algebraic framework that underlies a wide range of computational formalisms that use the notion of names, notably process calculi. The algebraic framework gives a rigorous basis for describing and reasoning about processes semantically, as well as offering new insights into existing constructions. The formal status of the theory is elucidated by introducing its alternative presentation, which is geometric in nature and is based on explicit manipulation of connections among nameless processes. Nameless processes and their relational theory form a coherent universe in their ow

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Relational calculi"

1

Zhou, Y. "A graphical calculus : extension, implication and application." Thesis, University of Oxford, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.365370.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Roocks, Patrick [Verfasser], and Bernhard [Akademischer Betreuer] Möller. "Relational and Algebraic Calculi for Database Preferences / Patrick Roocks. Betreuer: Bernhard Möller." Augsburg : Universität Augsburg, 2016. http://d-nb.info/1112465863/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Yang, Liqun. "Logical relation categories and lambda calculi." Thesis, University of Ottawa (Canada), 1996. http://hdl.handle.net/10393/9876.

Full text

Abstract:

An aspect of programming languages is the study of the operational semantics, which, in the case of a lambda calculus, is based on a directed form of equational reasoning called reduction. In computer science terminology, reduction may be regarded as a form of symbolic evaluation. It models a sequential computation process step by step. The crucial properties for a rewriting system are confluence, also called the Church-Rosser property and termination, the (Strong) normalization property, respectively. These are studied in depth in Chapter 2 and 6. The problem whether all $\lambda$-terms satis

APA, Harvard, Vancouver, ISO, and other styles

4

Inants, Armen. "Qualitative calculi with heterogeneous universes." Thesis, Université Grenoble Alpes (ComUE), 2016. http://www.theses.fr/2016GREAMO10/document.

Full text

Abstract:

Représentation et raisonnement qualitatifs fonctionnent avec des relations non-numériques entre les objets d'un univers. Les formalismes généraux développés dans ce domaine sont basés sur différents types d'algèbres de relations, comme les algèbres de Tarski. Tous ces formalismes, qui sont appelés des calculs qualitatifs, partagent l'hypothèse implicite que l'univers est homogène, c'est-à-dire qu'il se compose d'objets de même nature. Toutefois, les objets de différents types peuvent aussi entretenir des relations. L'état de l'art du raisonnement qualitatif ne permet pas de combiner les calcul

APA, Harvard, Vancouver, ISO, and other styles

5

Diepenveen, Emily. "Relational models of the lambda calculus." Thesis, University of Ottawa (Canada), 2008. http://hdl.handle.net/10393/27679.

Full text

Abstract:

In [7], Ehrhard et al. present a model of the untyped lambda calculus built from an object without enough points in a cartesian closed category MRel. This thesis presents the background needed to construct and understand this model. In particular we describe what it means for models to have enough points and exhibit connections between MRel with various categorical models of lambda calculus in the literature. In particular, we are able to relate the graph model to MRel. We also describe connections with various kinds of Kleisli categories arising from comonads and their associated theory.

APA, Harvard, Vancouver, ISO, and other styles

6

Legrand, Rémi. "Calcul relationnel et programmation en logique." Grenoble 2 : ANRT, 1987. http://catalogue.bnf.fr/ark:/12148/cb37607205b.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Legrand, Rémi. "Calcul relationnel et programmation en logique." Paris 6, 1987. http://www.theses.fr/1987PA066481.

Full text

Abstract:

Presentation d'un systeme de programmation en logique base sur le calcul relationnel: description du langage sans variable graal et son extension relationnelle grel; definition des relations; introduction des indeterminees, decomposees en inconnues et gelees dans la programmation fonctionnelle; presentation de prolog et de ses contraintes; construction du langage logique relog a partir de grel, a l'aide d'un orienteur

APA, Harvard, Vancouver, ISO, and other styles

8

Yemane, Kidane. "Relations in Models of Calculi and Logics with Names." Doctoral thesis, Uppsala : Acta Universitatis Upsaliensis : Univ.-bibl. [distributör], 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-6245.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Ruoppolo, Domenico. "Relational graph models and Morris's observability : resource-sensitive semantic investigations on the untyped λ-calculus". Thesis, Sorbonne Paris Cité, 2016. http://www.theses.fr/2016USPCD069/document.

Full text

Abstract:

La thèse contribue à l’étude du λ-calcul non-typé de Church, un système de réécriture dont la règle principale est la β-réduction (formalisant l’exécution d’un programme). Nous nous concentrons sur la sémantique dénotationnelle, l’étude de modèles du λ-calcul interprétant de la même façon les λ-termes β-convertibles. On examine la sémantique relationnelle, une sémantique sensible aux ressources qui interprète les λ-termes comme des relations avec les entrées regroupées en multi-ensembles. Nous définissons une classe de modèles relationnels, les modèles de graphe relationnels (rgm’s), que nous

APA, Harvard, Vancouver, ISO, and other styles

10

Jason, Ludovic. "Relation endommagement perméabilité pour les bétons : application aux calculs de structures." Nantes, 2004. http://www.theses.fr/2004NANT2078.

Full text

Abstract:

Connaître la relation entre la dégradation du béton et sa perméabilité est un objectif central pour évaluer les conséquences d'un chargement mécanique sur l'étanchéité de structures sensibles comme les enceintes de confinement de centrales nucléaires. Une loi de comportement mécanique prenant en compte l'endommagement et la plasticité du matériau et s'appuyant sur la théorie des milieux continus est tout d'abord développée. Le modèle, validé sur des tests élémentaires, structurels et préindustriel s'appuie sur des outils numériquement robustes (opérateur tangent cohérent). Une loi reliant le d

APA, Harvard, Vancouver, ISO, and other styles

More sources

Books on the topic "Relational calculi"

1

Bimbó, Katalin. Generalized Galois logics: Relational semantics of nonclassical logical calculi. Center for the Study of Language and Information, Leland Stanford Junior University, 2008.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Yordan, Kyosev, ed. Fuzzy relational calculus: Theory, applications and software (with CD-ROM). World Scientific, 2004.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Peeva, Ketty. Fuzzy relational calculus: Theory, applications and software (with CD-ROM). World Scientific, 2005.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

International, ASM, ed. Relational analysis: Guidelines for estimating the high- and low-temperature properties of metals. ASM International, 2011.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

A calculus of power: [grand strategy in the twenty-first century]. Verso, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Beil, R. G. A triadic theory of elementary particle interactions and quantum computation. Institute for Studies in Pragmaticism, 2006.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Young, Thomas-Durell. The new European security calculus: Implications for the U.S. Army. Strategic Studies Institute, U.S. Army War College, 1991.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Young, Thomas-Durell. The new European security calculus: Implication for the U.S. Army. U.S. G.P.O., 1991.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Producing security: Multinational corporations, globalization, and the changing calculus of conflict. Princeton University Press, 2005.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

United States. Congress. Senate. Committee on Foreign Relations. The North Korean nuclear calculus: Beyond the six-power talks : hearing before the Committee on Foreign Relations, United States Senate, One Hundred Eighth Congress, second session, March 2, 2004. U.S. G.P.O., 2004.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Book chapters on the topic "Relational calculi"

1

Schmidt, Renate A. "Synthesising Terminating Tableau Calculi for Relational Logics." In Relational and Algebraic Methods in Computer Science. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-21070-9_3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Goyal, Deepak, and Robert Paige. "The Formal Reconstruction and Speedup Of The Linear Time Fragment Of Willard’s Relational Calculus Subset." In Algorithmic Languages and Calculi. Springer US, 1997. http://dx.doi.org/10.1007/978-0-387-35264-0_15.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

van Berkel, Kees, and Tim Lyon. "Cut-Free Calculi and Relational Semantics for Temporal STIT Logics." In Logics in Artificial Intelligence. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-19570-0_52.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Foster, Simon, Jonathan Julián Huerta y Munive, and Georg Struth. "Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL." In Relational and Algebraic Methods in Computer Science. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-43520-2_11.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Hausmann, Daniel, and Lutz Schröder. "Quasipolynomial Computation of Nested Fixpoints." In Tools and Algorithms for the Construction and Analysis of Systems. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72016-2_3.

Full text

Abstract:

AbstractIt is well-known that the winning region of a parity game with n nodes and k priorities can be computed as a k-nested fixpoint of a suitable function; straightforward computation of this nested fixpoint requires $$\mathcal {O}(n^{\frac{k}{2}})$$ O ( n k 2 ) iterations of the function. Calude et al.’s recent quasipolynomial-time parity game solving algorithm essentially shows how to compute the same fixpoint in only quasipolynomially many iterations by reducing parity games to quasipolynomially sized safety games. Universal graphs have been used to modularize this transformation of parity games to equivalent safety games that are obtained by combining the original game with a universal graph. We show that this approach naturally generalizes to the computation of solutions of systems of any fixpoint equations over finite lattices; hence, the solution of fixpoint equation systems can be computed by quasipolynomially many iterations of the equations. We present applications to modal fixpoint logics and games beyond relational semantics. For instance, the model checking problems for the energy $$\mu $$ μ -calculus, finite latticed $$\mu $$ μ -calculi, and the graded and the (two-valued) probabilistic $$\mu $$ μ -calculus – with numbers coded in binary – can be solved via nested fixpoints of functions that differ substantially from the function for parity games but still can be computed in quasipolynomial time; our result hence implies that model checking for these $$\mu $$ μ -calculi is in $$\textsc {QP}$$ QP . Moreover, we improve the exponent in known exponential bounds on satisfiability checking.

APA, Harvard, Vancouver, ISO, and other styles

6

Weik, Martin H. "relational calculus." In Computer Science and Communications Dictionary. Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_15923.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Tannen, Val. "Relational Calculus." In Encyclopedia of Database Systems. Springer New York, 2018. http://dx.doi.org/10.1007/978-1-4614-8265-9_972.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Tannen, Val. "Relational Calculus." In Encyclopedia of Database Systems. Springer US, 2009. http://dx.doi.org/10.1007/978-0-387-39940-9_972.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Foster, Elvis C., and Shripad V. Godbole. "Relational Calculus." In Database Systems. Apress, 2014. http://dx.doi.org/10.1007/978-1-4842-0877-9_8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Tannen, Val. "Relational Calculus." In Encyclopedia of Database Systems. Springer New York, 2016. http://dx.doi.org/10.1007/978-1-4899-7993-3_972-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Relational calculi"

1

Laird, Jim, Giulio Manzonetto, Guy McCusker, and Michele Pagani. "Weighted Relational Models of Typed Lambda-Calculi." In 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013). IEEE, 2013. http://dx.doi.org/10.1109/lics.2013.36.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Rauch, Jan. "Many Sorted Observational Calculi for Multi-Relational Data Mining." In Sixth IEEE International Conference on Data Mining - Workshops (ICDMW'06). IEEE, 2006. http://dx.doi.org/10.1109/icdmw.2006.106.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Hoang, Ha, and Ladislav J. Kohout. "Proof System for Enriched Fuzzy BK Relational Calculi: Pt. 1 - Transforming Notations." In 2007 IEEE International Fuzzy Systems Conference. IEEE, 2007. http://dx.doi.org/10.1109/fuzzy.2007.4295622.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Wong, Limsoon. "A dichotomy in the intensional expressive power of nested relational calculi augmented with aggregate functions and a powerset operator." In the 32nd symposium. ACM Press, 2013. http://dx.doi.org/10.1145/2463664.2463670.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

He, Jifeng. "Hybrid Relation Calculus." In 2013 18th International Conference on Engineering of Complex Computer Systems (ICECCS). IEEE, 2013. http://dx.doi.org/10.1109/iceccs.2013.10.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Deni Akbar, Mohammad, and Yoshihiro Mizoguchi. "Formal equivalence classes model of fuzzy relational databases using relational calculus." In 2017 International Conference on Applied Computer and Communication Technologies (ComCom). IEEE, 2017. http://dx.doi.org/10.1109/comcom.2017.8167090.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Watters, Aaron. "Interpreting a reconstructed relational calculus (extended abstract)." In the 1993 ACM SIGMOD international conference. ACM Press, 1993. http://dx.doi.org/10.1145/170035.170089.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Van Gelder, A., and R. Topor. "Safety and correct translation of relational calculus formulas." In the sixth ACM SIGACT-SIGMOD-SIGART symposium. ACM Press, 1987. http://dx.doi.org/10.1145/28659.28693.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

De Roeck, A. N., and B. G. T. Lowden. "Generating English paraphrases from formal relational calculus expressions." In the 11th coference. Association for Computational Linguistics, 1986. http://dx.doi.org/10.3115/991365.991534.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Mossakowski, Till, and Reinhard Moratz. "Relations Between Spatial Calculi About Directions and Orientations (Extended Abstract)." In Twenty-Sixth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/718.

Full text

Abstract:

A qualitative representation of space and/or time provides mechanisms which characterize the essential properties of objects or configurations. The advantages over quantitative representations can be: (1) a better match with human concepts related to natural language, and (2) better efficiency for reasoning. The two main trends in qualitative spatial constraint reasoning are topological reasoning about regions and reasoning about directions between points and straight lines and orientations of straight lines or configurations derived from points. In this work, we apply universal algebraic tool

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Relational calculi"

1

Pratt, Vaughan R. Second Calculus of Binary Relations as a Concurrent Programming Language. Defense Technical Information Center, 1997. http://dx.doi.org/10.21236/ada329349.

Full text

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!