Relevant bibliographies by topics / Structural and logical adequateness

Academic literature on the topic 'Structural and logical adequateness'

Author: Grafiati
Published: 30 May 2022
Last updated: 31 May 2022

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

Select a source type:

Contents

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Structural and logical adequateness.'

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 "Structural and logical adequateness"

1

Chen, Yidong. "Logical structural filters." Optical Engineering 37, no. 6 (June 1, 1998): 1668. http://dx.doi.org/10.1117/1.601900.

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

Zardini, Elia. "Naive Logical Properties and Structural Properties." Journal of Philosophy 110, no. 11 (2013): 633–44. http://dx.doi.org/10.5840/jphil2013110118.

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

Boltaboevich, Mamutov Uzaqbay. "Logical-structural model of vocational employment membership." Asian Journal of Multidimensional Research (AJMR) 9, no. 3 (2020): 131. http://dx.doi.org/10.5958/2278-4853.2020.00072.5.

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

Sher, Gila. "The Formal-Structural View of Logical Consequence." Philosophical Review 110, no. 2 (April 2001): 241. http://dx.doi.org/10.2307/2693676.

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

Sher, G. "The Formal-Structural View Of Logical Consequence." Philosophical Review 110, no. 2 (April 1, 2001): 241–61. http://dx.doi.org/10.1215/00318108-110-2-241.

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

Kvitko, Katerina B. "Structural and logical model of transport cluster." Modern Transportation Systems and Technologies 7, no. 4 (December 21, 2021): 76–89. http://dx.doi.org/10.17816/transsyst20217476-89.

Full text
Abstract:
Background: Transport clustering, being a cooperation of enterprises of the same territory to consolidate resources to improve the quality of transport and logistics services, to improve the quality of infrastructure, to ensure the growth of transport accessibility of the territory, is one of the drivers of economic growth of the territory. Therefore, the question of forming a mechanism for creating a transport cluster (TС) is relevant, the first stage of which is the TLC model. Aim: creation of a structural and logical model of a transport and logistics cluster, the implementation of which will allow the creation of a TC in any territory with a high transport and transit potential. Methods: Based on the research, generalization and analysis of the works of domestic and foreign researchers in the field of transport clustering and regulations, laws and strategic documents, the definitions of the concepts of the components of the TLC were clarified, the main and auxiliary participants of the cluster were identified, their functional relationships were identified, the requirements for the infrastructure of the TC were determined, the effect of the activity of the TC for the participants and for the territory on which the cluster is located was revealed. Results: The result of the study is a structural and logical model of the transport cluster. Conclusions: The obtained structural and logical model of the transport cluster allows the development of transport clustering in the Russian Federation, since it is a universal tool for creating a TC for any territory with a high transport and transit potential
APA, Harvard, Vancouver, ISO, and other styles
7

Малиновский, Г. "Multiplying logical values." Logical Investigations 18 (May 3, 2012): 292–308. http://dx.doi.org/10.21146/2074-1472-2012-18-0-292-308.

Full text
Abstract:
The modern history of many-valuedness starts with Lukasiewicz’s construction of three-valued logic. This pioneering, philosophically motivated and matrix based construction, first presented in 1918, was in 1922 extended to n-valued cases, including two infinite ones. Soon several constructions of many-valued logic appeared and the history of the topic became rich and interesting. However, as it is widely known, the problem of interpretation of multiple values is still among vexed questions of contemporary logic. With the paper, which essentially groups my earlier settlements, from [3], [4], [7] and [8], I intend to put a new thread into discussion on the nature of logical many-valuedness. The topics, touched upon, are: matrices, tautological and non-tautological many-valuedness, Tarski’s structural consequence and the Lindenbaum–Wojcicki completeness result, which supports the Suszko’s claim on logical two-valuedness of any structural logic. Consequently, two facets of many-valuedness — referential and inferential — are unravelled. The first, fits the standard approach and it results in multiplication of semantic correlates of sentences, and not logical values in a proper sense. The second many-valuedness is a metalogical property of inference and refers to partition of the matrix universe into more than two disjoint subsets, used in the definition of inference.
APA, Harvard, Vancouver, ISO, and other styles
8

Bacon, Andrew. "Logical Combinatorialism." Philosophical Review 129, no. 4 (October 1, 2020): 537–89. http://dx.doi.org/10.1215/00318108-8540944.

Full text
Abstract:
In explaining the notion of a fundamental property or relation, metaphysicians will often draw an analogy with languages. The fundamental properties and relations stand to reality as the primitive predicates and relations stand to a language: the smallest set of vocabulary God would need in order to write the “book of the world.” This paper attempts to make good on this metaphor. To that end, a modality is introduced that, put informally, stands to propositions as logical truth stands to sentences. The resulting theory, formulated in higher-order logic, also vindicates the Humean idea that fundamental properties and relations are freely recombinable and a variant of the structural idea that propositions can be decomposed into their fundamental constituents via logical operations. Indeed, it is seen that, although these ideas are seemingly distinct, they are not independent, and fall out of a natural and general theory about the granularity of reality.
APA, Harvard, Vancouver, ISO, and other styles
9

Pasyeka, N. M., M. S. Pasyeka, and O. V. Erstenyuk. "Application of Structural and Logical Schemes in Educational Process." Scientific Bulletin of UNFU 26, no. 4 (June 30, 2016): 409–13. http://dx.doi.org/10.15421/40260463.

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

Popkova, Elena, Oksana Chechina, and Aleksandra Sultanova. "Structural and Logical Model of Contemporary Global Economic System." EUROPEAN RESEARCH STUDIES JOURNAL XIX, Issue 2 (November 1, 2016): 218–27. http://dx.doi.org/10.35808/ersj/536.

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

Dissertations / Theses on the topic "Structural and logical adequateness"

1

Ajienka, Nemitari Miebaka. "An empirical study on object-oriented software dependencies : logical, structural and semantic." Thesis, Brunel University, 2018. http://bura.brunel.ac.uk/handle/2438/15939.

Full text
Abstract:
Three of the most widely studied software dependency types are the structural, logical and semantic dependencies. Logical dependencies capture the degree of co-change between software artifacts. Semantic dependencies capture the degree to which artifacts, comments and names are related. Structural dependencies capture the dependencies in the source code of artifacts. Prior studies show that a combination of dependency analysis (e.g., semantic and logical analysis) improves accuracy when predicting which artifacts are likely to be impacted by ripple effects of software changes (though not to a large extent) compared to individual approaches. In addition, some dependencies could be hidden dependencies when an analysis of one dependency type (e.g., logical) does not reveal artifacts only linked by another dependency type (semantic). While previous studies have focused on combining dependency information with minimal benefits, this Thesis explores the consistency of these measurements, and whether hidden dependencies arise between artifacts, and in any of the axes studied. In this Thesis, 79 Java projects are empirically studied to investigate (i) the direct influence and the degree of overlap between dependency types on three axes (logical - structural (LSt); logical - semantic (LSe); structural - semantic (StSe)) (structural, logical and semantic), and (ii) the presence of hidden coupling on the axes. The results show that a high proportion of hidden dependencies can be detected on the LSt and StSe axes. Notwithstanding, the LSe axis shows a much smaller proportion of hidden dependencies. Practicable refactoring methods to mitigate hidden dependencies are proposed in the Thesis and discussed with examples.
APA, Harvard, Vancouver, ISO, and other styles
2

Karapa, Eleni. "Bio-membranes : a bio-logical approach to architecture." Virtual Press, 1996. http://liblink.bsu.edu/uhtbin/catkey/1033631.

Full text
Abstract:
Bio-membranes: A Biological Approach to Architecture The desire to introduce an area of study which can potentially inform the field of architecture on a theoretical as well as on a practical level, is the primary aim of this creative project. More specifically, the interest of this work is focused on the identification of useful processes deriving from the world of biology and their utilization in the world of architecture. The designation of an alternative path for perceiving and understanding processing and principles that may be of use in the reconfiguration of various architectural design applications is in quest. In search of a biological model that can potentially inform the field of architecture and provide enough feedback concerning the understanding of "processing" and "principles", biomembrane systems have been designated as the appropriate subject of study. The study and analysis of the structural and functional aspects of the bio-membranes as well as the extraction of useful principles that are derived from this study consist the first part of this work. The second part describes the implementation of these principles into various architectural applications while it challenges existing paradigms and introduces new ways of looking into the realm of architectural theory.
Department of Architecture
APA, Harvard, Vancouver, ISO, and other styles
3

Kiss, Katalin É. "Topic and focus :two structural positions associated with logical functions in the left periphery of the Hungarian Sentence." Universität Potsdam, 2007. http://opus.kobv.de/ubp/volltexte/2008/1963/.

Full text
Abstract:
The paper explicates the notions of topic, contrastive topic, and focus as used in the analysis of Hungarian. Based on distributional criteria, topic and focus are claimed to represent distinct structural positions in the left periphery of the Hungarian sentence, associated with logical rather than discourse functions. The topic is interpreted as the logical subject of predication. The focus is analyzed as a derived main predicate, specifying the referential content of the set denoted by the backgrounded post-focus section of the sentence. The exhaustivity associated with the focus and the existential presupposition associated with the background are shown to be properties following from their specificational predication relation.
APA, Harvard, Vancouver, ISO, and other styles
4

Battell, Chelsea. "The Logic of Hereditary Harrop Formulas as a Specification Logic for Hybrid." Thesis, Université d'Ottawa / University of Ottawa, 2016. http://hdl.handle.net/10393/35264.

Full text
Abstract:
Hybrid is a two-level logical framework that supports higher-order abstract syntax (HOAS), where a specification logic (SL) extends the class of object logics (OLs) we can reason about. We develop a new Hybrid SL and formalize its metatheory, proving weakening, contraction, exchange, and cut admissibility; results that greatly simplify reasoning about OLs in systems providing HOAS. The SL is a sequent calculus defined as an inductive type in Coq and we prove properties by structural induction over SL sequents. We also present a generalized SL and metatheory statement, allowing us to prove many cases of such theorems in a general way and understand how to identify and prove the difficult cases. We make a concrete and measurable improvement to Hybrid with the new SL formalization and provide a technique for abstracting such proofs, leading to a condensed presentation, greater understanding, and a generalization that may be instantiated to other logics.
APA, Harvard, Vancouver, ISO, and other styles
5

Marques, Leandro Dutra. "Metodologia para análise da confiabilidade no planejamento de sistemas de distribuição utilizando matrizes lógicoestruturais." Universidade Federal de Santa Maria, 2016. http://repositorio.ufsm.br/handle/1/8603.

Full text
Abstract:
With the constant requirement for improving the levels of quality and reliability in the power distribution systems, especially with regard to the quality of service (duration and frequency of outages), it has intensified the need for a better planning and operation of the electrical grids in all voltage levels. One of the main challenges in the distribution systems is the balance between customer satisfaction, regulation (legislation) of power sector and the return on the capital invested by the utilities. Often this search for resource optimization ends up being hampered by process problems, lack of tools, few experts, among other issues, in most cases favoring a poor planning of electrical system reliability. In many cases the planning criteria used by the distribution companies are related only to the equipment load, voltage level control and new customer access, so it seldom has the reliability among the elements. Even when reliability is part of these criteria it's usually based just on the assessment of historical outages. Due to this deficiency, the subject of this dissertation is the use of a method for forecasting reliability in the electrical planning stage, i.e., it will be proposed actions such as installation of new switches, use of different network topologies, reduction of failure rates and recovery times, and finally calculated the impact of these actions on the reliability KPIs. The methodology for forecasting the indicators is based on logical-structural matrix, which use information such as failure rates and mean time to restore the power to different network segments. It will also be presented a case study proposing planning actions in a real distribution grid with subsequent evaluation of the impact on reliability KPIs of an electrical utility.
Com a constante exigência de elevação dos patamares de qualidade e confiabilidade dos sistemas de distribuição de energia elétrica, especialmente no que diz respeito à qualidade do serviço (duração e frequência de interrupções), temse intensificado a necessidade de aprimoramento do planejamento e operação dos sistemas elétricos de energia. Um dos principais desafios nos sistemas de distribuição de energia elétrica está relacionado a encontrar o equilíbrio entre a satisfação dos consumidores, a regulação que rege o setor elétrico e a remuneração do capital investido pelas empresas de distribuição. Muitas vezes esta busca pela otimização dos recursos acaba prejudicada por deficiência de processos, falta de ferramentas, mão de obra de especialistas entre outros, favorecendo na maioria dos casos um planejamento deficiente sob os aspectos de confiabilidade dos sistemas elétricos de distribuição. Em muitos casos os critérios de planejamento adotados pelas distribuidoras estão relacionados apenas ao carregamento de equipamentos, níveis de tensão e atendimento de novas cargas, poucas vezes tem-se dentre os critérios de planejamento itens relacionados à confiabilidade dos sistemas e quando estes fazem parte das etapas de planejamento geralmente são baseados somente em avaliações de base de dados históricas de interrupções. Devido a esta deficiência o tema desta dissertação é a utilização de um método para previsão de confiabilidade na fase de planejamento de sistemas elétricos de distribuição, ou seja, serão propostas ações de planejamento como instalação de equipamentos de seccionamento, diferentes topologias de rede, redução de taxas de falha e tempos de restabelecimento e por fim o calculo do impacto destas ações nos indicadores de confiabilidade. A metodologia para a previsão de indicadores é estabelecida com base em matrizes lógico-estruturais, as quais utilizam informações como taxa de falhas e tempos médios de restabelecimento para diferentes seguimentos de rede. Será apresentado também um estudo de caso propondo ações de planejamento em um sistema real de distribuição com posterior avaliação do impacto nos indicadores de confiabilidade de uma empresa distribuidora de energia elétrica.
APA, Harvard, Vancouver, ISO, and other styles
6

Harásková, Monika. "Návrh projektu "Multimediální portál pro školy JMK" financovaný v rámci programů ESF." Master's thesis, Vysoké učení technické v Brně. Fakulta podnikatelská, 2011. http://www.nusl.cz/ntk/nusl-223111.

Full text
Abstract:
This thesis focuses on the development proposal on the use of multimedia in primary and secondary schools. It specifies the conditions and requirements of entrepreneurs, who implement their business plan for development education and multimedia. Includes document preparation for applying for funding to support schools in the South Region in the development of multimedia in teaching.
APA, Harvard, Vancouver, ISO, and other styles
7

Rundqvist, Mikael. "Samhällets tvåsidighet : Aktör-struktur i tre forskningsansatsers program och tillämpningar." Doctoral thesis, Department of political science, University of Gothenburg, Sweden, 1998. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-124668.

Full text
Abstract:
Samhällsvetenskapliga portalfigurer som Durkheim, Marx och Weber har medverkat i diskussionen om aktör och struktur. Diskussionen om intentioner; agerande och samhällsstrukturer pågår fortfarande. Om de samhällsvetenskapliga fenomenen utgår från individen – aktören – och/eller dess omgivning - strukturen - är en evig fråga. Denna avhandling är ett bidrag till den moderna diskussionen om aktör och struktur. Syftet är att analysera problemkomplexet aktör-struktur. Många tidigare studier i genren är abstrakta och generella. I detta arbete studeras också samhällsforskares tillämpning. Efter analyser av den aktörsteoretiska ansatsen (statsvetaren Axel Hadenius' forskning, den strukturteoretiska ansatsen (sociologen Bruce Mayhews forskning), samt a ansatsen (statsvetaren Bo Rothsteins forskning), samt redovisas ett preciserat förhållningssätt till problemkomplexet. Studiens utgångspunkt är att både den ensidiga aktörsteoretiska ansatsen och den ensidiga strukturteoretiska ansatsen kommer att uppvisa brister. De respektive ensidiga ansatserna antas inte brista främst på grund av sin ensidighet, vilket flera företrädare för den aktör-strukturteoretiska ansatsen hävdar. Utifrån avhandlingens vägledande analysram förväntas de respektive ensidiga ansatsernas filosofier, teorier och förklaringar brista på så sätt att företrädarnas programförklaringar inte stämmer överens med företrädarnas tillämpningar. Därmed uppfyller de ensidiga ansatsernas företrädare inte det grundläggande kravet på vetenskaplig klarhet. Av analysen framgår att det i den aktörsteoretiska ansatsens tillämpning också återfinns strukturfaktorer av ett slag som ansatsens företrädare programmatiskt vill utesluta. I den tillämpade strukturteoretiska ansatsen återfinns aktörsfaktorer. Också den aktör-strukturteoretiska ansats som analyseras uppvisar brister i överensstämmelse mellan programförklaring och tillämpning. Resultaten tas till intäkt för att överge både den individualism som den aktörsteoretiska ansatsen vilar på och den strukturalism sätts i detta arbete den filosofiska antagande att den samhälleliga verkligheten innehåller både aktör och struktur, Antagandet om samhällets tvåsidighet utgör en viktig grund för den preciserande aktör-strukturteoretiska ansats som är studiens övergripande slutsats.
This thesis is a contribution to the age-old discussion in the social sciences about actor and structure. From the outset it is argued that the question of actor and structure constitutes a complexity of problems which contains philosophical, theoretical and explanatory elements. Different ways of comprehending the complexity of problems constitute a watershed between research approaches. The three main approaches are the actor theoretical approach, the structural theoretical approach and 1he actor-structural theoretical approach. The purpose of this study is to analyse these three approaches and thereby present a fruitful approach to the complexity of problems. The author adopts the combined actor-structural theoretical approach from the start, but not in an uncritical and self-evident manner. This study is based on two lines of argumentation. Firstly, it is stipulated that a social scientist's research programme on actor and structure should be consistent With the researcher's application. Secondly, it is stipulated that social reality consists of both actor and s1ructure, and that actor and  structure do not mean the same thing. The author's suggestion is that this idea about the two-sidedness of soc iety is a prerequisite for interna! consistency. Hence, traces of both actor and structure should a lso be found in the applications of the two one-sided approaches. In order to discern the one-sided actor theoretical approach, three ideas are stipulated as philosophy, theory and explanation in a specified ideal type: methodological individualism, instrumental rationality and intentional explanation. These ideas are present in the research programme of the chosen representative of the actor theoretical approach, the Swedish political scientist Axel Hadenius. It is found that Hadenius' application does not correspond with his research programme. In his application. factors occur that are not totally reducible to facts aboul separale or aggregated individuals. In order to discern the one-sided sructural theoretical approach, three ideas are stipulated as philosophy. theory and explanation in a specified ideal type: structuralism, theoretical relations between structures and nomothetical-deductive explanations with structures. These ideas are present in the research programme of the chosen representative of the structural theoretical approach, the American sociologi st Bruce Mayhew. It is found that Mayhew's application does not correspond with his research programme. In his application, fac1s about separate or aggregated individuals occur. The three ideas behind the ideal type actor-structural theoretical approach are two-sided level realism, theoretical actor-structural relations and actor-structural explanation. These ideas are present in the research programme of the chosen representative of the actor-structural theoretical approach, the Swedish political scientist Bo Rothstein, even if there are also traces leading off in other directions. Finally, the testing of the occurrence of the preliminary actor-structural approach in the three research approaches is combined with the elabora1ion of philosophy, theory and explana1ion in the specified actorstructural theoretical approach. The latter approach constitutes the author's stand on the complexity of problems of actor and structure. The philosophy in the specified approach, two-sided leve! realism, is allegedly composed of three closely related ideas: actual closeness between actor and structure, situational irreducibility, and the relational concept of social structure. The idea of the theoretical relation between actor and structure is allegedly composed of three closely related ideas: empirical openness, analytical dualism and generative mechanisms. All are, in tum, closely related to the three ideas of the two-sided leve! realism, as well as to the idea of actor-structural explanation. The specified approach lays the foundations for clarity in terms of internat logical congruence between research programme and application.
APA, Harvard, Vancouver, ISO, and other styles
8

Логвин, С. М. "Моделювання процесу стабілізації діяльності фінансових посередників в Україні." Master's thesis, Сумський державний університет, 2018. http://essuir.sumdu.edu.ua/handle/123456789/71913.

Full text
Abstract:
У роботі досліджено особливості взаємодії банків та страхових компаній, а також умови досягнення стабільної їх діяльності в процесі спільної взаємовигідної діяльності. Проведено моделювання процесу стабілізації діяльності фінансових посередників на основі методу Сааті. Основною метою цього дослідження є розробка структурно-логічної моделі стабілізації діяльності фінансових посередників в Україні.
In this work the features of interaction between banks and insurance companies, as well as the conditions for achieving their stable activity in the process of joint mutually beneficial activity are investigated. The simulation of the process of stabilization of financial intermediaries activity based on the Saati method was conducted. The main purpose of this study is to develop a structural and logical model for stabilizing the activities of financial intermediaries in Ukraine.
APA, Harvard, Vancouver, ISO, and other styles
9

Piva, Sílvia Helena Gomes. "Tema: incentivos fiscais: uma visão a partir do constructivismo lógico-semântico." Pontifícia Universidade Católica de São Paulo, 2014. https://tede2.pucsp.br/handle/handle/6472.

Full text
Abstract:
Made available in DSpace on 2016-04-26T20:22:56Z (GMT). No. of bitstreams: 1 Silvia Helena Gomes Piva.pdf: 1425544 bytes, checksum: 828b9c1f9a94418cd55e4e251c54868f (MD5) Previous issue date: 2014-06-11
This thesis analyzes tax incentives under the regulation point of view and based on logical-semantic constructivism. The starting point is the analysis of the lack of consensus surrounding the term tax incentives and the wastage in the use of it by the doctrine. The main studies related to tax incentives already produced were analyzed, as well as the absence of systemic organization of the rules dealing with tax incentives at the constitutional and infraconstitutional levels. The analysis of tax incentives that are presented in this work is based on logical semantic constructivism, which brings a new point of view on the subject. Whereas most tax incentives related analysis takes into consideration the tax object, the view presented here differs from previous studies by seeking a review of its regulatory framework. Understanding tax incentives in a linguistic study allows adding a richer view on previous work already developed on the matter, because it intersects this pragmatic load other studies undertaken by the two semiotic instances syntactic and semantic to allow a full view of the legal phenomenon. Thus an attempt was made to remove the vague and ambiguous sense of the term tax incentives and relocate it according to its legal regime of taxes, according to a classification of the analysis of legal rules and their respective interference in matrix rule of tax incidence. In this way, the analysis of tax incentives on a constitutional perspective was carried out to find its validity, limitations and motivations of constitutional order, so that the constitutional principles underlying the tax incentives were analyzed. From a normative perspective for fiscal incentives, the standard structural fiscal stimulus was built, and it starts from a standard of competence outlined in the Constitution. The identification about tax incentives being true legal rules was created and it acts upon a set of rules that interfere with the matrix rule of tax incidence. Thus, the rules that do not interfere with the matrix rule of tax incidence can be regarded as a tax incentive. The work was finished with the analysis of the constitutionality of illegitimate tax incentives and the mechanisms that the constitutional system has to flush the rules that grant incentives erratically while honoring the constitutional principles that protect the relationship between tax authorities and taxpayers
A tese que apresentamos tem por objetivo analisar os incentivos fiscais do ponto de vista normativo e com base no constructivismo lógico-semântico. O ponto de partida é a análise sobre a ausência de consenso que envolve a expressão incentivos fiscais e o desgaste em sua utilização pela doutrina. Para isso, foram analisados os principais estudos relacionados aos incentivos fiscais já desenvolvidos, bem como a ausência de organização sistêmica entre as regras que tratam dos incentivos fiscais no plano constitucional e infraconstitucional. A análise dos incentivos fiscais que é apresentada no presente trabalho é baseada no constructivismo lógico-semântico, o que traz uma nova visão aos trabalhos já empreendidos sobre o tema. Considerando que a maioria das análises relacionadas aos incentivos fiscais leva em consideração a finalidade, a visão apresentada neste trabalho se diferencia por buscar uma análise de sua estrutura normativa. A compreensão dos incentivos fiscais calcada no estudo linguístico permite agregar uma visão mais rica aos trabalhos já desenvolvidos sobre o tema, pois intersecciona esta carga pragmática empreendida pelos demais estudos às duas instâncias semióticas sintática e semântica para permitir uma visão completa do fenômeno jurídico. Assim, buscou-se retirar o sentido vago e ambíguo da expressão incentivos fiscais e realocá-lo conforme o regime jurídico dos tributos, de acordo com uma classificação que parte da análise das normas jurídicas e a sua respectiva interferência na regra-matriz de incidência tributária. Neste trilhar, foi realizada a análise dos incentivos fiscais a partir do plano constitucional, para encontrar o seu fundamento de validade, os limites e motivações da ordem constitucional, de modo que foram analisados os princípios constitucionais que norteiam os incentivos fiscais. A partir de uma construção normativa para os incentivos fiscais, foi construída a norma estrutural de incentivo fiscal, que parte de uma norma de competência esboçada na Constituição Federal. Criou-se a identificação de que os incentivos fiscais são verdadeiras normas jurídicas e atuam mediante um conjunto de normas que interferirão na regra-matriz de incidência tributária. Assim, as normas que não interferem na regra-matriz de incidência tributária não poderão ser consideradas como incentivo fiscal. Finalizamos o nosso trabalho com a análise sobre o controle de constitucionalidade dos incentivos fiscais ilegítimos e quais os mecanismos de que o sistema constitucional dispõe para expulsar as normas que concedem incentivos de forma irregular e, ao mesmo tempo, prestigiar os princípios constitucionais que protegem as relações entre Fisco e contribuintes
APA, Harvard, Vancouver, ISO, and other styles
10

Oliva, Gustavo Ansaldi. "Identificação e visualização de dependências em sistemas de software orientados a objetos." Universidade de São Paulo, 2011. http://www.teses.usp.br/teses/disponiveis/45/45134/tde-07112014-162346/.

Full text
Abstract:
Degradação do design é um problema central investigado na área de evolução de software. A densa rede de interdependências que emerge entre classes e módulos ao longo do tempo resulta em código difícil de mudar, não reutilizável e que não comunica por si só sua intenção. Dentre outros motivos, designs degradam porque requisitos mudam de maneiras não antecipadas pelo design inicial, ou seja, as modificações no código introduzem dependências novas e não planejadas entre classes e módulos do sistema. A gerência de dependências visa reduzir a degradação do design por meio de uma série de mecanismos que auxiliam na administração da complexidade estrutural inerente de sistemas orientados a objetos. Neste trabalho, investigamos as técnicas de identificação de dependências estruturais e lógicas. Em particular, por meio de um estudo de larga escala, comparamos os conjuntos desses dois tipos de dependências. Em seguida, conduzimos um estudo de caso a fim de identificar as origens de dependências lógicas. Por fim, fazemos um levantamento das técnicas de visualização de dependências e mostramos a ferramenta XFlow.
Design degradation is a central problem investigated in the area of software evolution. The dense web of interdependencies that emerges among classes and modules over time results in code that is hard to change, not reusable and that does not communicate its intention. Among other reasons, designs degrade because requirements changes in ways that were not anticipated by the initial design, i.e. the changes in code introduce new and unplanned dependencies among classes and modules of the system. Dependency management aims to reduce design degradation by means of a series of mechanisms that helps in the management of the inherent structural complexity of object oriented systems. In this work, we investigate structural and logical dependencies identification techniques. In particular, by means of a large scale study, we compare the sets of these two kinds of dependencies. Afterwards, we conduct a case study in order to uncover the origins of logical dependencies. Finally, we survey dependency visualization techniques and present the XFlow tool.
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Structural and logical adequateness"

1

Akat'eva, Marina. Documentation of business operations and accounting of the organization's property. ru: INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1070199.

Full text
Abstract:
The textbook covers the entire range of issues of documenting business operations and accounting for the organization's property, taking into account current regulations and legislation. The textbook allows you not only to understand the essence of documenting business operations and accounting for the organization's property, but also to develop practical skills on these issues. The presentation of the material is illustrated by structural and logical diagrams, generalizing analytical tables, and many practical examples. In order to consolidate knowledge, self-control questions and test tasks are provided at the end of each Chapter. Meets the requirements of the Federal state educational standards of secondary professional education of the latest generation. The textbook is aimed at students in the specialty 38.02.01 "Economics and accounting (by industry)", as well as teachers of economic educational institutions of secondary vocational education, specialists of economic and financial services organizations, auditors.
APA, Harvard, Vancouver, ISO, and other styles
2

Biryukov, Vladimir, and Pavel Sharonin. Theory of economic analysis. ru: INFRA-M Academic Publishing LLC., 2022. http://dx.doi.org/10.12737/1851552.

Full text
Abstract:
The textbook reveals the theoretical and organizational foundations, information support of economic analysis. It contains a description of the techniques, methods and methods of analytical research used both in the practical activities of economic entities and in scientific research; a description of the types of economic analysis; a methodology for determining the value of intra-production reserves. It is structured in such a way that the student can understand not only the essence of economic analysis, but also develop practical skills for conducting economic analysis of organizations' activities. The material is illustrated with structural and logical schemes, generalizing analytical tables and many practical examples. To consolidate knowledge, at the end of each chapter there are questions for self-control and tasks in a test form. The fifth edition of the textbook is supplemented with practical tasks on all topics of the course, which allows students to develop and consolidate analytical thinking skills. Meets the requirements of the federal state educational standards of higher education of the latest generation. For bachelors studying in the field of training 38.03.01 "Economics" of all profiles, graduate students, teachers of economic universities, specialists of economic and financial services of organizations, auditors.
APA, Harvard, Vancouver, ISO, and other styles
3

A, Ramsay. LOGICAL STRUCTURE ENGLISH. Univ Coll Londo, 1990.

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

Awodey, Steve. Structuralism, Invariance, and Univalence. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198748991.003.0004.

Full text
Abstract:
The recent discovery of an interpretation of constructive type theory into abstract homotopy theory suggests a new approach to the foundations of mathematics with intrinsic geometric content and a computational implementation. Voevodsky has proposed such a program, including a new axiom with both geometric and logical significance: the univalence axiom. It captures the familiar aspect of informal mathematical practice according to which one can identify isomorphic objects. This powerful addition to homotopy type theory gives the new system of foundations a distinctly structural character.
APA, Harvard, Vancouver, ISO, and other styles
5

Blockley, David. 1. Everything has structure. Oxford University Press, 2014. http://dx.doi.org/10.1093/actrade/9780199671939.003.0001.

Full text
Abstract:
‘Everything has structure’ considers the fundamental nature and role of structure and the relationship of structural engineering with other engineering disciplines and with architecture. Decision making is driven by the purpose of a man-made structure and how ‘fitness for purpose’ is realised. There is a need to understand how forces flow through a structure in order to ensure it meets its primary purpose of being strong and safe whilst at the same time meeting many other needs such as affordability, aesthetic, and regulatory and environmental criteria. The best structures are a harmony of architecture and engineering—where form and function are one and the flow of forces is logical.
APA, Harvard, Vancouver, ISO, and other styles
6

Cockett, J. R. B., and R. A. G. Seely. Proof Theory of the Cut Rule. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198748991.003.0010.

Full text
Abstract:
This chapter describes the categorical proof theory of the cut rule, a very basic component of any sequent-style presentation of a logic, assuming a minimum of structural rules and connectives, in fact, starting with none. It is shown how logical features can be added to this basic logic in a modular fashion, at each stage showing the appropriate corresponding categorical semantics of the proof theory, starting with multicategories, and moving to linearly distributive categories and *-autonomous categories. A key tool is the use of graphical representations of proofs (“proof circuits”) to represent formal derivations in these logics. This is a powerful symbolism, which on the one hand is a formal mathematical language, but crucially, at the same time, has an intuitive graphical representation.
APA, Harvard, Vancouver, ISO, and other styles
7

Segal, Robert A. 7. Myth and structure. Oxford University Press, 2015. http://dx.doi.org/10.1093/actrade/9780198724704.003.0008.

Full text
Abstract:
‘Myth and structure’ examines the contributions of Claude Lévi-Strauss to the study of myth. Lévi-Strauss treats myth as a coldly intellectual phenomenon: the oppositions expressed in myth constitute logical puzzles rather than existential predicaments. In calling his approach to myth ‘structuralist’, Lévi-Strauss intends to distinguish it from ‘narrative’ interpretations, or those that adhere to the plot of myth. In his unique brand of myth-ritualism, myths and rituals operate together, but as structural opposites rather than, as for other myth-ritualists, parallels. Other structuralists—Vladimir Propp, Georges Dumézil, Louis Gernet, and Marcel Detienne—are then considered. They have sought to decipher underlying patterns in myth and then to link those patterns to ones in the culture at large.
APA, Harvard, Vancouver, ISO, and other styles
8

Tennant, Neil. Core Logic. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198777892.001.0001.

Full text
Abstract:
Core Logic has unusual philosophical, proof-theoretic, metalogical, computational, and revision-theoretic virtues. It is an elegant kernel lying deep within Classical Logic, a canon for constructive and relevant deduction furnishing faithful formalizations of informal constructive mathematical proofs. Its classicized extension provides likewise for non-constructive mathematical reasoning. Confining one’s search to core proofs affords automated reasoners great gains in efficiency. All logico-semantical paradoxes involve only core reasoning. Core proofs are in normal form, and relevant in a highly exigent ‘vocabulary-sharing’ sense never attained before. Essential advances on the traditional Gentzenian treatment are that core natural deductions are isomorphic to their corresponding sequent proofs, and make do without the structural rules of Cut and Thinning. This ensures relevance of premises to conclusions of proofs, without loss of logical completeness. Every core proof converts any verifications of its premises into a verification of its conclusion. Core Logic makes one reassess the dogma of ‘unrestricted’ transitivity of deduction, because any core ‘restriction’ of transitivity ensures a more than compensatory payoff of epistemic gain: A core proof of A from X and one of B from {A}∪Y effectively determine a proof of B or of absurdity from some subset of X∪Y. The primitive introduction and elimination rules governing the logical operators in Core Logic are subtly different from Gentzen’s. They are obtained by smoothly extrapolating protean rules for determining truth values of sentences under interpretations. Core rules are inviolable: One needs all of them in order to revise beliefs rationally in light of new evidence.
APA, Harvard, Vancouver, ISO, and other styles
9

Bueno, Otávio, and Steven French. Unifying with Mathematics. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198815044.003.0006.

Full text
Abstract:
In this chapter, we examine a different case study, where the aim was to unify apparently unrelated domains, such as quantum states, probability assignments, and logical inference. This is John von Neumann’s development of an alternative framework to the Hilbert space formalism he pioneered: one articulated in terms of his theory of operators and what we now call von Neumann algebras. This allowed him to accommodate probabilities in the context of systems with infinite degrees of freedom. Here we find, in addition to ‘top-down’ moves from the mathematics to the physics, ‘bottom-up’ developments from empirical features, to a particular logic and thence to mathematical structures. Through a combination of such moves, crucially involving exploration of the structural relations that hold between the mathematical and the physical domains, von Neumann articulated the kind of unification across such domains that represents a further important aspect of the application of mathematics.
APA, Harvard, Vancouver, ISO, and other styles
10

Speyer, Augustin. The ACI construction in the history of German. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198813545.003.0017.

Full text
Abstract:
The ACI (accusativus cum infinitivo) in Modern German is governed almost exclusively by perception verbs. For genuine OHG, the same can be said. In MHG and ENHG authors began to experiment with other verb classes as potentially governing ACIs, probably influenced by Latin, but this usage never made its way in ‘normal’ grammar. The tenacity of the exclusive association of ACI with perception verbs hints at an analysis in which the logical subject of the ACI is a constituent on its own, the predicate part of the ACI being a separate constituent. Other tests, e.g. tests for constituency, point in the same direction. This is different from Latin; here the ACI as a whole counts as constituent and can therefore as a whole function as direct object. The structural difference might account for the fact that the syntactic loan of an extended usage of the ACI never came to fruition.
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Structural and logical adequateness"

1

Morrill, Glyn V. "Structural Control." In Type Logical Grammar, 191–224. Dordrecht: Springer Netherlands, 1994. http://dx.doi.org/10.1007/978-94-011-1042-6_7.

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

Antonsen, Roger. "Chapter 12 Structural Induction." In Logical Methods, 137–48. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-63777-4_13.

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

Solojentsev, Evgueni D. "Automated Structural and Logical Modeling." In Scenario Logic and Probabilistic Management of Risk in Business and Engineering, 1–19. Boston, MA: Springer US, 2008. http://dx.doi.org/10.1007/978-0-387-77946-1_10.

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

Avon, Jack. "Logical and Structural-Based Calculations." In The Handbook of Financial Modeling, 283–97. Berkeley, CA: Apress, 2013. http://dx.doi.org/10.1007/978-1-4302-6206-0_12.

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

Avon, Jack. "Logical-and Structural-Based Calculations." In The Basics of Financial Modeling, 209–24. Berkeley, CA: Apress, 2014. http://dx.doi.org/10.1007/978-1-4842-0871-7_8.

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

Manca, Vincenzo. "A Metagrammatical Logical Formalism." In Studies in Functional and Structural Linguistics, 145. Amsterdam: John Benjamins Publishing Company, 1998. http://dx.doi.org/10.1075/sfsl.45.15man.

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

Moortgat, Michael. "Structural Equations in Language Learning." In Logical Aspects of Computational Linguistics, 1–16. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-48199-0_1.

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

Finger, Marcelo. "Computational Solutions for Structural Constraints." In Logical Aspects of Computational Linguistics, 11–30. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45738-0_2.

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

Ono, Hiroakira. "Structural Rules and a Logical Hierarchy." In Mathematical Logic, 95–104. Boston, MA: Springer US, 1990. http://dx.doi.org/10.1007/978-1-4613-0609-2_8.

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

Mączyński, Jacek F. "Optimization of a Linear Objective Function with Logical Constraints." In Discrete Structural Optimization, 40–46. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85095-0_5.

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

Conference papers on the topic "Structural and logical adequateness"

1

Schürmann, Carsten, and Jeffrey Sarnat. "Structural Logical Relations." In 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008). IEEE, 2008. http://dx.doi.org/10.1109/lics.2008.44.

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

BOLOGNANI, DENISE, CARLO CAPPELLO, and DANIELE ZONTA. "Mechanical Equivalent of Logical Inference for Structural Health Monitoring." In Structural Health Monitoring 2015. Destech Publications, 2015. http://dx.doi.org/10.12783/shm2015/293.

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

Rasmussen, Ulrik, and Andrzej Filinski. "Structural logical relations with case analysis and equality reasoning." In the Eighth ACM SIGPLAN international workshop. New York, New York, USA: ACM Press, 2013. http://dx.doi.org/10.1145/2503887.2503891.

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

Grohe, Martin. "Structural and Logical Approaches to the Graph Isomorphism Problem." In Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms. Philadelphia, PA: Society for Industrial and Applied Mathematics, 2012. http://dx.doi.org/10.1137/1.9781611973099.16.

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

Bolognani, D., D. Zonta, and C. Cappello. "Mechanical equivalent of logical inference: Application to monitoring data analysis." In 2015 IEEE Workshop on Environmental, Energy and Structural Monitoring Systems (EESMS). IEEE, 2015. http://dx.doi.org/10.1109/eesms.2015.7175845.

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

Oliva, Gustavo Ansaldi, and Marco Aurelio Gerosa. "On the Interplay between Structural and Logical Dependencies in Open-Source Software." In 2011 25th Brazilian Symposium on Software Engineering (SBES). IEEE, 2011. http://dx.doi.org/10.1109/sbes.2011.39.

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

Zatsepina, O. V. "Structural-logical schemes as a means of methodological support of students’ thinking processes." In Proceedings of the International Conference on Sustainable Development of Cross-Border Regions: Economic, Social and Security Challenges (ICSDCBR 2019). Paris, France: Atlantis Press, 2019. http://dx.doi.org/10.2991/icsdcbr-19.2019.187.

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

Charaeva, Marina. "Analysis of a structural and logical model of a leading companyrs financial standing." In 2nd International Conference on Social, Economic and Academic Leadership (ICSEAL 2018). Paris, France: Atlantis Press, 2018. http://dx.doi.org/10.2991/icseal-18.2018.19.

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

KERSTING, K., T. RAIKO, S. KRAMER, and L. DE RAEDT. "TOWARDS DISCOVERING STRUCTURAL SIGNATURES OF PROTEIN FOLDS BASED ON LOGICAL HIDDEN MARKOV MODELS." In Proceedings of the Pacific Symposium. WORLD SCIENTIFIC, 2002. http://dx.doi.org/10.1142/9789812776303_0019.

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

Bochman, Alexander. "Actual Causality in a Logical Setting." 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/239.

Full text
Abstract:
We provide a definition of actual causation in the logical framework of the causal calculus, which is based on a causal version of the well-known NESS (or INUS) condition. We compare our definition with other, mainly counterfactual, approaches on standard examples. On the way, we explore general capabilities of the logical representation for structural equation models of causation and beyond.
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Structural and logical adequateness"

1

Hristodulo, Olga Igorevna, and Miliausha Ilgamovna Akhmetzianova. Development of a geo-information system for monitoring the attractiveness of municipalities using parametric, structural approaches (case of Republic of Bashkortostan). DOI CODE, 2021. http://dx.doi.org/10.18411/doicode-2021.003.

Full text
Abstract:
To date, one of the most important tasks of the State in ensuring the sustainable socio-economic and demographic development of the country is the regulation of migration processes. In the Republic of Bashkortostan in recent years there has been an increase in the number of people participating in both intraregional and extra-regional migration, which indicates the need to manage migration flows for the effective development of territories of this entity. In this connection, this article is dedicated to the development of GIS monitoring of the attractiveness of municipalities of the Republic of Bashkortostan, aimed at improving the effectiveness of decision-making in formulating migration policies in the region, based on a systematic combination of parametric and structural approaches. In the course of the study the analysis of existing approaches applied in this subject area, the methodology for determining the attractiveness coefficient of municipalities of the Republic of Bashkortostan was developed, A functional and information model for monitoring the attractiveness of municipalities has been developed, and a logical structural model of GIS monitoring the attractiveness of municipalities of the Republic of Bashkortostan has been built.
APA, Harvard, Vancouver, ISO, and other styles
2

Borgida, Alex, and Ralf Küsters. What's not in a name? Initial Explorations of a Structural Approach to Integrating Large Concept Knowledge-Bases. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.101.

Full text
Abstract:
Aus der Einleitung: Given two ontologies/terminologies collections of terms and their 'meanings' as used in some universe of discourse (UofD), our general task is to integrate them into a single ontology, which captures the meanings of the original terms and their inter-relationships. This problem is motivated by several application scenarios: • First, such ontologies have been and are being developed independently by multiple groups for knowledge-based and other applications. Among others, medicine is an area in which such ontologies already abound [RZStGC, CCHJ94, SCC97]. • Second, a traditional step in database design has been so-called 'view integration': taking the descriptions of the database needs of different parts of an organization (called 'external views'), and coming up with a unified central schema (called the 'logical schema') for the database [BLN86]. Although the database views might be expressed in some low-level formalism, such as the relational data model, one can express the semantics (meta-data) in a more expressive notation, which can be thought of as an ontology. Then the integration of the ontologies can guide the integration of the views. • Finally, databases and semistructured data on the internet provide many examples where there are multiple, existing heterogeneous information sources, for which uniform access is desired. To achieve this goal, it is necessary to relate the contents of the various information sources. The approach of choice has been the development of a single, integrated ontology, starting from separate ontologies capturing the semantics of the heterogeneous sources[Kas97, CDGL+98]. Of course, we could just take the union of the two ontologies, and return the result as the integration. However, except for the case when the ontologies had absolutely nothing to do with each other, this seems inappropriate. Therefore part of our task will to be explore what it means to 'integrate' two ontologies. To help in this, we will in fact assume here that the ontologies are describing exactly the same aspects of the universe of discourse (UofD), leaving for a separate paper the issue of dealing with partially overlapping ontologies.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Structural and logical adequateness' for particular source types:
Journal articles
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