Relevant bibliographies by topics / Limit (Logic)

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Limit (Logic)'

Author: Grafiati
Published: 4 June 2021
Last updated: 30 July 2024

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 'Limit (Logic).'

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 "Limit (Logic)"

1

Welles, James. "A Limit on Logic." Journal of Clinical Research and Reports 8, no. 3 (June 24, 2021): 01. http://dx.doi.org/10.31579/2690-1919/176.

Full text
Abstract:
One of the problems with logic is that it cannot be self-refuting–if it is, it is not logical. This make logic its own sacred cow. It likewise makes the expression “By logical extension” irrelevant or at least suspect in a curved universe. One may extend logic, but even after one step, its use is dubious at best.
APA, Harvard, Vancouver, ISO, and other styles
2

Freedman, M. H. "Limit, logic, and computation." Proceedings of the National Academy of Sciences 95, no. 1 (January 6, 1998): 95–97. http://dx.doi.org/10.1073/pnas.95.1.95.

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

Lipparini, Paolo. "Limit ultrapowers and abstract logics." Journal of Symbolic Logic 52, no. 2 (June 1987): 437–54. http://dx.doi.org/10.2307/2274393.

Full text
Abstract:
AbstractWe associate with any abstract logic L a family F(L) consisting, intuitively, of the limit ultrapowers which are complete extensions in the sense of L.For every countably generated [ω, ω]-compact logic L, our main applications are:(i) Elementary classes of L can be characterized in terms of ≡L only.(ii) If and are countable models of a countable superstable theory without the finite cover property, then .(iii) There exists the “largest” logic M such that complete extensions in the sense of M and L are the same; moreover M is still [ω, ω]-compact and satisfies an interpolation property stronger than unrelativized ⊿-closure.(iv) If L = Lωω(Qx), then cf(ωx) > ω and λω < ωx, for all λ < ωx.We also prove that no proper extension of Lωω generated by monadic quantifiers is compact. This strengthens a theorem of Makowsky and Shelah. We solve a problem of Makowsky concerning Lκλ-compact cardinals. We partially solve a problem of Makowsky and Shelah concerning the union of compact logics.
APA, Harvard, Vancouver, ISO, and other styles
4

BERARDI, STEFANO. "Classical logic as limit completion." Mathematical Structures in Computer Science 15, no. 1 (February 2005): 167–200. http://dx.doi.org/10.1017/s0960129504004529.

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

Losada, Marcelo, Sebastian Fortin, and Federico Holik. "Classical Limit and Quantum Logic." International Journal of Theoretical Physics 57, no. 2 (October 24, 2017): 465–75. http://dx.doi.org/10.1007/s10773-017-3579-0.

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

Batens, Diderik. "Devising the set of abnormalities for a given defeasible rule." Logical Investigations 26, no. 1 (August 6, 2020): 9–35. http://dx.doi.org/10.21146/2074-1472-2020-26-1-9-35.

Full text
Abstract:
Devising adaptive logics usually starts with a set of abnormalities and a deductive logic. Where the adaptive logic is ampliative, the deductive logic is the lower limit logic, the rules of which are unconditionally valid. Where the adaptive logic is corrective, the deductive logic is the upper limit logic, the rules of which are valid in case the premises do not require any abnormalities to be true. In some cases, the idea for devising an adaptive logic does not relate to a set of abnormalities, but to one or more defeasible rules, and perhaps also to one of the deductive logics. Defeasible rules are not universally valid, but are valid in ‘normal situations’ or for unproblematic parts of premise set. Where the idea is such, the set of abnormalities has to be delineated in view of the rules. The way in which this task may be tackled is by no means obvious and is the main topic studied in the present paper. The outcome is an extremely simple and transparent recipe. It is shown that, except for very special cases, the recipe leads to an adequate result.
APA, Harvard, Vancouver, ISO, and other styles
7

Almadi, Abdulla I. M., Rabia Emhamed Al Mamlook, Yahya Almarhabi, Irfan Ullah, Arshad Jamal, and Nishantha Bandara. "A Fuzzy-Logic Approach Based on Driver Decision-Making Behavior Modeling and Simulation." Sustainability 14, no. 14 (July 20, 2022): 8874. http://dx.doi.org/10.3390/su14148874.

Full text
Abstract:
The present study proposes a decision-making model based on different models of driver behavior, aiming to ensure integration between road safety and crash reduction based on an examination of speed limitations under weather conditions. The present study investigated differences in road safety attitude, driver behavior, and weather conditions I-69 in Flint, Genesee County, Michigan, using the fuzzy logic approach. A questionnaire-based survey was conducted among a sample of Singaporean (n = 100) professional drivers. Safety level was assessed in relation to speed limits to determine whether the proposed speed limit contributed to a risky or safe situation. The experimental results show that the speed limits investigated on different roads/in different weather were based on the participants’ responses. The participants could increase or keep their current speed limit or reduce their speed limit a little or significantly. The study results were used to determine the speed limits needed on different roads/in different weather to reduce the number of crashes and to implement safe driving conditions based on the weather. Changing the speed limit from 80 mph to 70 mph reduced the number of crashes occurring under wet road conditions. According to the results of the fuzzy logic study algorithm, a driver’s emotions can predict outputs. For this study, the fuzzy logic algorithm evaluated drivers’ emotions according to the relation between the weather/road condition and the speed limit. The fuzzy logic would contribute to assessing a powerful feature of human control. The fuzzy logic algorithm can explain smooth relationships between the input and output. The input–output relationship estimated by fuzzy logic was used to understand differences in drivers’ feelings in varying road/weather conditions at different speed limits.
APA, Harvard, Vancouver, ISO, and other styles
8

Apter, Arthur W. "On measurable limits of compact cardinals." Journal of Symbolic Logic 64, no. 4 (December 1999): 1675–88. http://dx.doi.org/10.2307/2586805.

Full text
Abstract:
AbstractWe extend earlier work (both individual and joint with Shelah) and prove three theorems about the class of measurable limits of compact cardinals, where a compact cardinal is one which is either strongly compact or supercompact. In particular, we construct two models in which every measurable limit of compact cardinals below the least supercompact limit of supercompact cardinals possesses non-trivial degrees of supercompactness. In one of these models, every measurable limit of compact cardinals is a limit of supercompact cardinals and also a limit of strongly compact cardinals having no non-trivial degree of supercompactness. We also show that it is consistent for the least supercompact cardinal κ to be a limit of strongly compact cardinals and be so that every measurable limit of compact cardinals below κ has a non-trivial degree of supercompactness. In this model, the only compact cardinals below κ with a non-trivial degree of supercompactness are the measurable limits of compact cardinals.
APA, Harvard, Vancouver, ISO, and other styles
9

Petrakis, Iosif. "Limit spaces with approximations." Annals of Pure and Applied Logic 167, no. 9 (September 2016): 737–52. http://dx.doi.org/10.1016/j.apal.2016.04.013.

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

Kurfirst, Robert. "Term-Limit Logic: Paradigms and Paradoxes." Polity 29, no. 1 (September 1996): 119–40. http://dx.doi.org/10.2307/3235277.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Limit (Logic)"

1

Tydesjö, Patrik. "Limit Laws for First Order Logic on Random Images." Thesis, Uppsala universitet, Algebra och geometri, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-224244.

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

Lumsden, John M. "At the limit of the concept : logic and history in Hegel, Schelling, and Adorno." Thesis, University of Essex, 2016. http://repository.essex.ac.uk/16502/.

Full text
Abstract:
In this thesis I show how the challenges of producing a philosophy of history responsive to the negativity of the world benefits from working through the difficulties of G. W. F. Hegel’s systematic philosophy. By revealing the powerful and intricate ways that Hegel gives an illegitimate primacy to thought (or the concept) we can better appreciate the obstacles that face a philosophy which places new emphasis on the nonconceptual whilst recognising the genuine role of the concept. In the first half of this thesis I reconstruct the important criticisms levelled at Hegel by F. W. J. Schelling and Theodor W. Adorno. I argue that both their criticisms illuminate our understanding of the metaphysical status of Hegel’s thought and expose the surreptitious means by which Hegel overextends the concept. The value of Adorno’s and Schelling’s reading of Hegel is also due to the fact that they do not cast aside Hegel’s ambitions as mere fantasy. Rather, they provide important insight into the goals philosophy should be striving towards—even if we cannot be as confident as Hegel in their imminent achievement. In the second half I reconstruct Schelling’s and Adorno’s philosophies of history in light of their criticisms of Hegel. The core problem addressed is how unwarranted optimism – entailed by the idealistic operation in Hegel’s theoretical philosophy – is to be eschewed whilst also avoiding a lapse into unwarranted pessimism. I argue that, while both Schelling and Adorno make important advances in this direction, Adorno’s philosophy of history is better able to make sense of both the prevalence of unfreedom in history and the ways in which we can respond to this situation.
APA, Harvard, Vancouver, ISO, and other styles
3

Hamrin, Göran. "Effective Domains and Admissible Domain Representations." Doctoral thesis, Uppsala University, Department of Mathematics, 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-5883.

Full text
Abstract:

This thesis consists of four papers in domain theory and a summary. The first two papers deal with the problem of defining effectivity for continuous cpos. The third and fourth paper present the new notion of an admissible domain representation, where a domain representation D of a space X is λ-admissible if, in principle, all other λ-based domain representations E of X can be reduced to X via a continuous function from E to D.

In Paper I we define a cartesian closed category of effective bifinite domains. We also investigate the method of inducing effectivity onto continuous cpos via projection pairs, resulting in a cartesian closed category of projections of effective bifinite domains.

In Paper II we introduce the notion of an almost algebraic basis for a continuous cpo, showing that there is a natural cartesian closed category of effective consistently complete continuous cpos with almost algebraic bases. We also generalise the notion of a complete set, used in Paper I to define the bifinite domains, and investigate what closure results that can be obtained.

In Paper III we consider admissible domain representations of topological spaces. We present a characterisation theorem of exactly when a topological space has a λ-admissible and κ-based domain representation. We also show that there is a natural cartesian closed category of countably based and countably admissible domain representations.

In Paper IV we consider admissible domain representations of convergence spaces, where a convergence space is a set X together with a convergence relation between nets on X and elements of X. We study in particular the new notion of weak κ-convergence spaces, which roughly means that the convergence relation satisfies a generalisation of the Kuratowski limit space axioms to cardinality κ. We show that the category of weak κ-convergence spaces is cartesian closed. We also show that the category of weak κ-convergence spaces that have a dense, λ-admissible, κ-continuous and α-based consistently complete domain representation is cartesian closed when α ≤ λ ≥ κ. As natural corollaries we obtain corresponding results for the associated category of weak convergence spaces.

APA, Harvard, Vancouver, ISO, and other styles
4

Lira, Antonio da Fonseca de. "O processo da construção do conceito matemático de limite pelo aprendiz com utilização de objetos digitais." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2008. http://hdl.handle.net/10183/14666.

Full text
Abstract:
O conceito de limite é a base para qualquer aluno de um curso superior que faça a disciplina de cálculo, portanto deveria haver uma ênfase especial na sua aprendizagem por parte de professores e alunos. Na sala de aula a ênfase é dada sobre a definição formal e sobre a forma que ela é apresentada nos livros de cálculo. Neste trabalho foi feita uma pesquisa sobre a natureza do conceito de limite junto com uma reflexão sobre o que é um conceito. Houve uma pesquisa para entender quais os mecanismos cognitivos que estão envolvidos quando um sujeito atua sobre um problema que envolve tal conceito. Buscaram-se elementos de apoio para a investigação no processo histórico de desenvolvimento deste conceito matemático e é preciso destacar a importância deste processo para desenvolver objetos digitais interativos que pudessem ser utilizados em experimentos desenvolvidos para entender os mecanismos cognitivos deste conceito. De modo paralelo ao estudo da história do conceito e seus antecedentes houve um outro estudo sobre objetos digitais interativos e as possibilidades de utilizá-los na investigação dos mecanismos cognitivos. A teoria escolhida para a análise epistemológica do conceito foi a Epistemologia Genética de Jean Piaget, especificamente a teoria relativa a relações e operações infralógicas, lógicas e ao pensamento formal. Na investigação realizada foi utilizado um problema como desequilíbrio inicial. Este forneceu o ponto de partida para questionar as certezas e dúvidas do sujeito de forma a investigar os mecanismos cognitivos que formam o conceito de limite e do contínuo numérico.
The concept of limit is the basis for every student accessing the college and needs study calculus, therefore it should be an emphasis about its learning from students and teachers. At the classroom the emphasis is on the formal definition and over the way it is presented at the books of calculus. On this work a research was carried on and it was about the nature of concept of limit together with a reflexion about what is a concept. There was a research for understanding the cognitive mechanisms related when um individual acts on a problem with that concept. There was a search for elements, in the historic development, that supported the investigation about that mathematic concept and is necessary to regard the importance of that process for the design of interactive digital objects that could be used in experiments designed for understanding the cognitive mechanism related to the concept of limits. In a parallel with the study about the history of limit concept and his ancestors there was another study about interactive digital objects and the possibilities for using that in the investigation of cognitive mechanism. The theory to be used in the analysis was The Genetic Epistemology of Jean Piaget, especially the section about infralogic and logic relation and operations and the formal thinking. In this work it was used a start problem that supplied the beginning point to argue the certainties and doubts of the subject in a way to investigate the cognitive mechanisms that form the limit concept and the numeric continuum, its basis.
APA, Harvard, Vancouver, ISO, and other styles
5

Farias, Pablo Mayckon Silva. "A study about the origins of Mathematical Logic and the limits of its applicability to the formalization of Mathematics." Universidade Federal do CearÃ, 2007. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=1516.

Full text
Abstract:
Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico
Este trabalho à um estudo sobre as origens da LÃgica MatemÃtica e os limites da sua aplicabilidade ao desenvolvimento formal da MatemÃtica. Primeiramente, à apresentada a teoria aritmÃtica de Dedekind, a primeira teoria a fornecer uma definiÃÃo precisa para os nÃmeros naturais e com base nela demonstrar todos os fatos comumente conhecidos a seu respeito. à tambÃm apresentada a axiomatizaÃÃo da AritmÃtica feita por Peano, que de certa forma simplificou a teoria de Dedekind. Em seguida, à apresentada a ome{german}{Begriffsschrift} de Frege, a linguagem formal que deu origem à LÃgica moderna, e nela sÃo representadas as definiÃÃes bÃsicas de Frege a respeito da noÃÃo de nÃmero. Posteriormente, à apresentado um resumo de questÃes importantes em fundamentos da MatemÃtica durante as primeiras trÃs dÃcadas do sÃculo XX, iniciando com os paradoxos na Teoria dos Conjuntos e terminando com a doutrina formalista de Hilbert. Por fim, sÃo apresentados, em linhas gerais, os teoremas de incompletude de GÃdel e o conceito de computabilidade de Turing, que apresentaram respostas precisas Ãs duas mais importantes questÃes do programa de Hilbert, a saber, uma prova direta de consistÃncia para a AritmÃtica e o problema da decisÃo, respectivamente.
This work is a study about the origins of Mathematical Logic and the limits of its applicability to the formal development of Mathematics. Firstly, Dedekindâs arithmetical theory is presented, which was the first theory to provide a precise definition for natural numbers and to demonstrate relying on it all facts commonly known about them. Peanoâs axiomatization for Arithmetic is also presented, which in a sense simplified Dedekindâs theory. Then, Fregeâs Begriffsschrift is presented, the formal language from which modern Logic originated, and in it are represented Fregeâs basic definitions concerning the notion of number. Afterwards, a summary of important topics on the foundations of Mathematics from the first three decades of the twentieth century is presented, beginning with the paradoxes in Set Theory and ending with Hilbertâs formalist doctrine. At last, are presented, in general terms, GÃdelâs incompleteness. theorems and Turingâs computability concept, which provided precise answers to the two most important points in Hilbertâs program, to wit, a direct proof of consistency for Arithmetic and the decision problem, respectively. Keywords: 1. Mathematical Logic 2. Foundations of Mathematics 3. GÃdelâs incompleteness theorems
APA, Harvard, Vancouver, ISO, and other styles
6

Samson, Frank L. "Race and the limits of American meritocracy /." May be available electronically:, 2009. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.

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

David, Noemi. "Incompressible limit and well-posedness of PDE models of tissue growth." Electronic Thesis or Diss., Sorbonne université, 2022. https://accesdistant.sorbonne-universite.fr/login?url=https://theses-intra.sorbonne-universite.fr/2022SORUS235.pdf.

Full text
Abstract:
Les modèles de milieux poreux, en régime compressible ou incompressible, sont utilisés dans la littérature pour décrire les propriétés mécaniques des tissus vivants et en particulier de la croissance tumorale. Il est possible de construire un lien entre ces deux différentes représentations en utilisant une loi de pression raide. Dans la limite incompressible, les modèles compressibles conduisent à des problèmes de frontières libres de type Hele-Shaw. Nos travaux visent à étudier la limite de pression raide des équations de type milieu poreux motivées par le développement tumoral. Notre première étude concerne l’analyse et la simulation numérique d’un modèle incluant l’effet des nutriments. Ensuite, un système d’équations, dont le couplage est délicat, décrit la densité cellulaire et la concentration en nutriments. Pour cette raison, la dérivation de l’équation de pression dans la limite incompressible était un problème ouvert qui nécessite la compacité forte du gradient de pression. Pour l’établir, nous utilisons deux nouvelles idées : une version L3 de la célèbre estimation d’Aronson-Bénilan, également utilisée récemment pour des problèmes connexes, et une estimation L4 sur le gradient de pression (où l’exposant 4 est optimal). Nous étudions en outre l’optimalité de cette estimation par un schéma numérique upwind aux différences finies, que nous montrons être stable et asymptotic preserving. Notre deuxième étude est centrée sur l’équation de milieux poreux avec effets convectifs. Nous étendons les techniques développées pour le cas avec nutriments, trouvant ainsi la relation de complémentarité sur la pression limite. De plus, nous fournissons une estimation du taux de convergence à la limite incompressible. Enfin, nous étudions un système multi-espèces. En particulier, en tenant compte de l’hétérogénéité phénotypique, nous incluons une variable structurée dans le problème. Par conséquent, un système de diffusion croisée et dégénérée décrit l’évolution des distributions phénotypiques. En adaptant des méthodes récemment développées pour des systèmes à deux équations, nous prouvons l’existence de solutions faibles et nous passons à la limite incompressible. En outre, nous prouvons de nouveaux résultats de régularité sur la pression totale, qui est liée à la densité totale par une loi de puissance
Both compressible and incompressible porous medium models have been used in the literature to describe the mechanical aspects of living tissues, and in particular of tumor growth. Using a stiff pressure law, it is possible to build a link between these two different representations. In the incompressible limit, compressible models generate free boundary problems of Hele-Shaw type where saturation holds in the moving domain. Our work aims at investigating the stiff pressure limit of reaction-advection-porous medium equations motivated by tumor development. Our first study concerns the analysis and numerical simulation of a model including the effect of nutrients. Then, a coupled system of equations describes the cell density and the nutrient concentration. For this reason, the derivation of the pressure equation in the stiff limit was an open problem for which the strong compactness of the pressure gradient is needed. To establish it, we use two new ideas: an L3-version of the celebrated Aronson-Bénilan estimate, also recently applied to related problems, and a sharp uniform L4-bound on the pressure gradient. We further investigate the sharpness of this bound through a finite difference upwind scheme, which we prove to be stable and asymptotic preserving. Our second study is centered around porous medium equations including convective effects. We are able to extend the techniques developed for the nutrient case, hence finding the complementarity relation on the limit pressure. Moreover, we provide an estimate of the convergence rate at the incompressible limit. Finally, we study a multi-species system. In particular, we account for phenotypic heterogeneity, including a structured variable into the problem. In this case, a cross-(degenerate)-diffusion system describes the evolution of the phenotypic distributions. Adapting methods recently developed in the context of two-species systems, we prove existence of weak solutions and we pass to the incompressible limit. Furthermore, we prove new regularity results on the total pressure, which is related to the total density by a power law of state
APA, Harvard, Vancouver, ISO, and other styles
8

Chapman, Dean. "Logic and the limits of explanation: the justification of deduction, Carrollian Regress, logical validity, and deductive inferential knowledge." Master's thesis, University of Cape Town, 2006. http://hdl.handle.net/11427/28324.

Full text
Abstract:
This essay engages with the problems of the justification of deduction, Carrollian regress, and deductive inferential knowledge. Also, it is considered whether Lewis Carroll's tale of what the tortoise said to Achilles can be interpreted as suggesting an argument against the possibility of logically valid argument. Such an argument is presented and shown to be unsound. Any justification of one of our basic rules of deductive inference, such as modus ponens, will inevitably make use of the very rule it means to justify. It will be a 'rule-circular' argument and invite charges that it begs the question and 'keeps bad company'. Following Paul Boghossian, the contention in this essay is that a thinker need not know that the rule according to which a given inference proceeds is sound in order to be entitled to carry out the inference. Thus, a rule-circular argument for the soundness of modus ponens does not beg the question. Also, by a conceptual role semantics which takes as its starting point that of Boghossian, and with insights gained from Robert Brandom's inferentialism, it is argued that a thinker who carries out an inference which is meaning-constituting of some concept for her is entitled to that act of inference, in part because she is epistemically blameless in it. One of the ways to counter a Cartesian sceptic is to maintain that some of our beliefs are beliefs we are entitled to have no doubt about. To make that claim good, it is argued, one must hold two things: first, that some of our beliefs are such that we have conclusive evidence for them, evidence which guarantees their truth; and second, that for some of these beliefs, we know that we have conclusive evidence for them - there are infallibilist and intemalist constraints on the possibility of us having knowledge that is certain. Pace Boghossian, the contention here is that anyone who carries out an inference which is meaning-constituting of some concept for her, in fact knows that inference to be valid.
APA, Harvard, Vancouver, ISO, and other styles
9

Anthony, Gordon Kennedy. "European Community law and the development of United Kingdom public law : the logic and limits of legal cross-fertilisation." Thesis, Queen's University Belfast, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.301751.

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

Faulkner, Nadine. "Science and the limits of language, an interpretation of the Tractatus Logico-Philosphicus, 6.3-6.372." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk2/tape15/PQDD_0006/MQ36691.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Limit (Logic)"

1

Graham, Priest. Beyond the limits of thought. Cambridge: Cambridge University Press, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Martínez-Pulet, José Manuel. Variaciones del límite: La filosofía de Eugenio Trías. Madrid: Editorial Noesis, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Trías, Eugenio. Lógica del límite. Barcelona: Destino, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Kwade, Anne-Kristina. Grenze: Hegels 'Grenz'-Begriff 1804/5 als Keimzelle der Dialektik. Würzburg: Königshausen & Neumann, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Bruschstein, Luis. Contracara: Periodismo con pasión. Buenos Aires: Grupo Editor Altamira, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

R, Barbosa Susana, ed. De Caín a la clonación: Ensayos sobre el límite : lo prohibido y lo posible. Buenos Aires: Grupo Editor Altamira, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Li, Shoumei. Limit theorems and applications of set-valued and fuzzy set-valued random variables. Dordrecht: Kluwer Academic Publishers, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Jeffrey, Richard C. Formal logic: Its scope and limits. 3rd ed. New York: McGraw-Hill, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Symposium "Grenzen des Lebens, Grenzen der Verständigung" (2007 Tübingen, Germany). Grenzen des Lebens - Grenzen der Verständigung. Würzburg: Königshausen & Neumann, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Jeffrey, Richard C. Formal logic: Its scope and limits. 4th ed. Indianapolis: Hackett Pub.Co., 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Limit (Logic)"

1

Hayashi, Susumu, and Yohji Akama. "Limit-Computable Mathematics and Its Applications." In Computer Science Logic, 1. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45793-3_1.

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

Bach, Christian W., and Jérémie Cabessa. "Agreeing to Disagree with Limit Knowledge." In Logic, Rationality, and Interaction, 51–60. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24130-7_3.

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

Burris, Stanley. "Spectrally determined first-order limit laws." In Logic and Random Structures, 33–52. Providence, Rhode Island: American Mathematical Society, 1997. http://dx.doi.org/10.1090/dimacs/033/03.

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

Sickert, Salomon, Javier Esparza, Stefan Jaax, and Jan Křetínský. "Limit-Deterministic Büchi Automata for Linear Temporal Logic." In Computer Aided Verification, 312–32. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-41540-6_17.

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

Koch, Isabelle. "How to Limit Fatalism? A Comparison Between Alexander of Aphrodisias and Bardaisan." In Logic, Argumentation & Reasoning, 161–67. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-73190-8_10.

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

Hendricks, Vincent F., and Stig Andur Pedersen. "Assessment and Discovery in the Limit of Scientific Inquiry." In Philosophical Dimensions of Logic and Science, 345–71. Dordrecht: Springer Netherlands, 2003. http://dx.doi.org/10.1007/978-94-017-2612-2_25.

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

Straßer, Christian. "On the Transparency of Defeasible Logics: Equivalent Premise Sets, Equivalence of Their Extensions, and Maximality of the Lower Limit." In Trends in Logic, 85–105. Cham: Springer International Publishing, 2013. http://dx.doi.org/10.1007/978-3-319-00792-2_4.

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

Rowan Scott, J. "Descartes, Gödel and Kuhn: Epiphenomenalism Defines a Limit on Reductive Logic." In Unifying Themes in Complex Systems IX, 33–52. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-96661-8_4.

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

García Sánchez, María Teresa, and Ángel Martínez Díaz. "Searching for Measurement: A Logic of Limit into Architectural Graphic Learning." In Graphic Horizons, 104–11. Cham: Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-57575-4_13.

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

Ali, Jarinah Mohd, Suhaili Othman, Nurrulhidayah Ahmad Fadzillah, and Norliza Abd Rahman. "The Identification of Alcohol Percentage Limit in Halal Food Using Fuzzy Logic." In Enhancing Halal Sustainability, 269–75. Singapore: Springer Singapore, 2021. http://dx.doi.org/10.1007/978-981-33-4854-7_23.

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

Conference papers on the topic "Limit (Logic)"

1

MIYAMOTO, TADATOSHI. "A LIMIT STAGE CONSTRUCTION FOR ITERATING SEMIPROPER PREORDERS." In 7th and 8th Asian Logic Conferences. CO-PUBLISHED WITH SINGAPORE UNIVERSITY PRESS, 2003. http://dx.doi.org/10.1142/9789812705815_0013.

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

Mihelic, F. Matthew. "Implications of the Landauer limit for quantum logic." In SPIE Sensing Technology + Applications, edited by Eric Donkor, Andrew R. Pirich, Howard E. Brandt, Michael R. Frey, Samuel J. Lomonaco, and John M. Myers. SPIE, 2014. http://dx.doi.org/10.1117/12.2048531.

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

Lee, Hanseung, and Jae Kil Lee. "Development of Compensation Logic for EPS in Limit Cornering Condition." In Asia-Pacific Automotive Engineering Conference. 400 Commonwealth Drive, Warrendale, PA, United States: SAE International, 2019. http://dx.doi.org/10.4271/2019-01-1422.

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

Gea-Banacloche, Julio. "Quantum Logic With Quantized Fields: Beyond the 1/n Limit?" In International Conference on Quantum Information. Washington, D.C.: OSA, 2007. http://dx.doi.org/10.1364/icqi.2007.ifb2.

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

Bowman, K. A., Lihui Wang, Xinghai Tang, and J. D. Meindl. "Oxide Thickness Scaling Limit for Optimum CMOS Logic Circuit Performance." In 30th European Solid-State Device Research Conference. IEEE, 2000. http://dx.doi.org/10.1109/essderc.2000.194774.

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

D. Frejo, Jose Ramon, and Bart de Schutter. "A logic-based speed limit control algorithm for Variable Speed Limits to reduce traffic congestion at bottlenecks." In 2018 IEEE Conference on Decision and Control (CDC). IEEE, 2018. http://dx.doi.org/10.1109/cdc.2018.8619822.

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

Mulgund, Sandeep, and Greg Zacharias. "A hybrid neural network-fuzzy logic limit protection system for rotorcraft." In Guidance, Navigation, and Control Conference. Reston, Virigina: American Institute of Aeronautics and Astronautics, 1996. http://dx.doi.org/10.2514/6.1996-3800.

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

Kaminski, Mark, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, and Ian Horrocks. "Stratified Negation in Limit Datalog Programs." In Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}. California: International Joint Conferences on Artificial Intelligence Organization, 2018. http://dx.doi.org/10.24963/ijcai.2018/259.

Full text
Abstract:
There has recently been an increasing interest in declarative data analysis, where analytic tasks are specified using a logical language, and their implementation and optimisation are delegated to a general-purpose query engine. Existing declarative languages for data analysis can be formalised as variants of logic programming equipped with arithmetic function symbols and/or aggregation, and are typically undecidable. In prior work, the language of limit programs was proposed, which is sufficiently powerful to capture many analysis tasks and has decidable entailment problem. Rules in this language, however, do not allow for negation. In this paper, we study an extension of limit programs with stratified negation-as-failure. We show that the additional expressive power makes reasoning computationally more demanding, and provide tight data complexity bounds. We also identify a fragment with tractable data complexity and sufficient expressivity to capture many relevant tasks.
APA, Harvard, Vancouver, ISO, and other styles
9

Lou, Xuyang, and Ricardo G. Sanfelice. "Asymptotic Stability of Limit Cycles in Hybrid Systems with Explicit Logic States." In 2019 American Control Conference (ACC). IEEE, 2019. http://dx.doi.org/10.23919/acc.2019.8814826.

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

Burn, Toby Cathcart, Luke Ong, Steven Ramsay, and Dominik Wagner. "Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses." In 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2021. http://dx.doi.org/10.1109/lics52264.2021.9470527.

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

Reports on the topic "Limit (Logic)"

1

Li, Howell, Tom Platte, Jijo K. Mathew, W. Benjamin Smith, Enrique Saldivar-Carranza, and Darcy M. Bullock. Using Connected Vehicle Data to Reassess Dilemma Zone Performance of Heavy Vehicles. Purdue University, 2020. http://dx.doi.org/10.5703/1288284317321.

Full text
Abstract:
The rate of fatalities at signalized intersections involving heavy vehicles is nearly five times higher than for passenger vehicles in the US. Previous studies in the US have found that heavy vehicles are twice as likely to violate a red light compared with passenger vehicles. Current technologies leverage setback detection to extend green time for a particular phase and are based upon typical deceleration rates for passenger cars. Furthermore, dilemma zone detectors are not effective when the max out time expires and forces the onset of yellow. This study proposes the use of connected vehicle (CV) technology to trigger force gap out (FGO) before a vehicle is expected to arrive within the dilemma zone limit at max out time. The method leverages position data from basic safety messages (BSMs) to map-match virtual waypoints located up to 1,050 ft in advance of the stop bar. For a 55 mph approach, field tests determined that using a 6 ft waypoint radius at 50 ft spacings would be sufficient to match 95% of BSM data within a 5% lag threshold of 0.59 s. The study estimates that FGOs reduce dilemma zone incursions by 34% for one approach and had no impact for the other. For both approaches, the total dilemma zone incursions decreased from 310 to 225. Although virtual waypoints were used for evaluating FGO, the study concludes by recommending that trajectory-based processing logic be incorporated into controllers for more robust support of dilemma zone and other emerging CV applications.
APA, Harvard, Vancouver, ISO, and other styles
2

Seccareccia, Mario, and Guillermo Matamoros. Is “Inflation First” Really “Rentiers First”? The Taylor Rule and Rentier Income in Industrialized Countries. Institute for New Economic Thinking Working Paper Series, July 2023. http://dx.doi.org/10.36687/inetwp209.

Full text
Abstract:
The Taylor rule has returned as a significant policy guide amid increasingly overt political pressures for its official (and not just its implicit) adoption at the US Fed as inflation fears have come to dominate monetary policy actions both in the US and internationally in recent times. Our paper analyzes the effect of monetary policy on the functional distribution of income by reconstructing how the post-1970s “inflation first” policy commitments of central banks came to be crystallized in the Taylor rule. While there are differences among the various specifications of this “rule”, the Taylor relation is merely an offshoot of what can be described generically as the family of Wicksellian reaction functions whose implications support rentier income over time. Because of the internal logic of the Taylor rule, this has led to different interpretations such as, for example, the more Keynesian Yellen rule, which depart from the strict sense of the Taylor rule. The paper also interprets the Taylor Rule in light of Wicksell’s formulation and analyzes the potential consequence of the differences. In contrast to the strict Wicksell rule of “proportional” adjustment, our econometric findings suggest evidence that central banks adjust “over-proportionally” the benchmark money interest rate in the presence of changes in the inflation rate for the complete “inflation first” era since the 1970s until the COVID-19 crisis. They thereby strongly favored rentier incomes in their reaction functions, with the possible exception of the post-financial crisis period. To limit the pro-rentier consequences of such inflation-targeting regimes, it is important that policymakers mandate multiple objectives for central banks, as exemplified in the current US Fed’s dual mandate.
APA, Harvard, Vancouver, ISO, and other styles
3

Grondin, Robert O. Basic Properties and Limits of Integrated Arrays of Dissipative Circuit and Logic Elements. Fort Belvoir, VA: Defense Technical Information Center, January 1989. http://dx.doi.org/10.21236/ada224533.

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

Lutz, Carsten. Adding Numbers to the SHIQ Description Logic - First Results. Aachen University of Technology, 2001. http://dx.doi.org/10.25368/2022.117.

Full text
Abstract:
Recently, the Description Logic (DL) SHIQ has found a large number of applications. This success is due to the fact that SHIQ combines a rich expressivity with efficient reasoning, as is demonstrated by its implementation in DL systems such as FaCT and RACER. One weakness of SHIQ, however, limits its usability in several application areas: numerical knowledge such as knowledge about the age, weight, or temperature of real-world entities cannot be adequately represented. In this paper, we propose an extension of SHIQ that aims at closing this gap. The new Description Logic Q-SHIQ, which augments SHIQ by additional, 'concrete domain' style concept constructors, allows to refer to rational numbers in concept descriptions, and also to define concepts based on the comparison of numbers via predicates such as < or =. We argue that this kind of expressivity is needed in many application areas such as reasoning about the semantic web. We prove reasoning with Q-SHIQ to be EXPTIME-complete (thus not harder than reasoning with SHIQ) by devising an automata-based decision procedure.
APA, Harvard, Vancouver, ISO, and other styles
5

Pineda-Mendez, Raul, Qiming Guo, Noshin Ahmad, Mario A. Romero, and Andrew P. Tarko. Incorporating Time-Dependent Data for Proactive Safety Management. Purdue University, 2024. http://dx.doi.org/10.5703/1288284317700.

Full text
Abstract:
This study proposed a risk-based safety management framework to supplement the current crash-based safety management system. The proposed tool considers time-dependent factors (e.g., hourly traffic, speed features, weather conditions, signal controls) to help justify operational measures for safety improvements (e.g., variable message signs, variable speed limits, warnings). These selected temporal factors subsequently were included in the developed sequential logit models; and those models, applied hour by hour, were then used to estimate the crash probability and severity level. Two typical roadway elements, rural freeway segments and signalized intersections, were also included in the analysis. The obtained crash risk profiles can be used to predict the expected number of crashes in periods when the operational safety countermeasures are expected to be active based on certain triggering conditions (e.g., traffic, weather, nighttime). These results, together with crash modification factors, may be used in the benefit and cost analysis process to justify the application of specific countermeasures.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Limit (Logic)' for particular source types:
Journal articles Dissertations / Theses Books
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