Página 1 dos resultados de 8420 itens digitais encontrados em 0.011 segundos

Evaluating microfossil content of dental calculus from Brazilian sambaquis

WESOLOWSKI, Veronica; SOUZA, Sheila Maria Ferraz Mendonca de; REINHARD, Karl J.; CECCANTINI, Gregorio
Fonte: ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD Publicador: ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD
Tipo: Artigo de Revista Científica
ENG
Relevância na Pesquisa
36.94%
To date, limited numbers of dental calculus samples have been analyzed by researchers in diverse parts of the world. The combined analyses of these have provided some general guidelines for the analysis of calculus that is non-destructive to archaeological teeth. There is still a need for a quantitative study of large numbers of calculus samples to establish protocols, assess the level of contamination, evaluate the quantity of microfossils in dental calculus, and to compare analysis results with the literature concerning the biology of calculus formation. We analyzed dental calculus from 53 teeth from four Brazilian sambaquis. Sambaquis are the shell-mounds that were established prehistorically along the Brazilian coast. The analysis of sambaqui dental calculi shows that there are relatively high concentrations of microfossils (phytoliths and starch), mineral fragments, and charcoal in dental calculus. Mineral fragments and charcoal are possibly contaminants. The largest dental calculi have the lowest concentrations of microfossils. Biologically, this is explained by individual variation in calculus formation between people. Importantly, starch is ubiquitous in dental calculus. The starch and phytoliths show that certainly Dioscorea (yam) and Araucaria angustifolia (Parana pine) were eaten by sambaqui people. Araceae (arum family)...

Dental calculus formation in children and adolescents undergoing hemodialysis

Martins, Carla; Siqueira, Walter Luiz; Oliveira, Elizabeth; Nicolau, Jose; Primo, Laura Guimaraes
Fonte: SPRINGER; NEW YORK Publicador: SPRINGER; NEW YORK
Tipo: Artigo de Revista Científica
ENG
Relevância na Pesquisa
36.92%
This study aimed to determine whether dental calculus formation is really higher among patients with chronic kidney disease undergoing hemodialysis than among controls. Furthermore, the study evaluated correlations between dental calculus formation and dental plaque, variables that are related to renal disease and/or saliva composition. The Renal Group was composed of 30 patients undergoing hemodialysis, whereas the Healthy Group had 30 clinically healthy patients. Stimulated whole saliva and parotid saliva were collected. Salivary flow rate and calcium and phosphate concentrations were determined. In the Renal Group the saliva collection was carried out before and after a hemodialysis session. Patients from both groups received intraoral exams, oral hygiene instructions, and dental scaling. Three months later, the dental calculus was measured by the Volpe-Manhold method to determine the rate of dental calculus formation. The Renal Group presented a higher rate of dental calculus formation (p < 0.01). Correlation was observed between rate of dental calculus formation and whole saliva flow rate in the Renal Group after a hemodialysis session (r = 0.44, p < 0.05). The presence of dental calculus was associated with phosphate concentration in whole saliva from the Renal Group (p < 0.05). In conclusion...

"A construção/negociação de significados no curso universitário inicial de Cálculo Diferencial e Integral"; "The construction/negotiation of the meanings in the beginner’s courses of Calculus at the University"

Barufi, Maria Cristina Bonomi
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Tese de Doutorado Formato: application/pdf
Publicado em 05/04/1999 PT
Relevância na Pesquisa
36.87%
As dificuldades existentes com o ensino do Cálculo Diferencial e Integral nos cursos iniciais da Universidade constituíram a grande motivação para este trabalho. À luz do referencial teórico da rede de conhecimentos e significados, buscou-se a compreensão dessas dificuldades a partir dos livros didáticos, por constituírem um instrumento sempre presente no trabalho do professor na sala de aula. Uma vez que conhecer é conhecer o significado, o enfoque principal residiu na negociação dos significados, para esclarecer em que medida a abordagem do Cálculo realizada é uma simples revelação ou uma construção significativa. A análise dos livros didáticos selecionados baseou-se em um modelo construído a partir do referencial teórico proposto e mostrou que a dificuldade não reside na falta de bons livros. A diversidade dos percursos nos livros analisados se traduz numa maior ou menor adequação à construção/negociação de significados no Cálculo. No trabalho discute-se o papel fundamental do professor na sala de aula, tendo como potencial aliado o computador, como instrumento facilitador, que abre novos horizontes, possibilita o estabelecimento de múltiplas relações e a negociação de significados. ; The existing difficulties of teaching Calculus in the beginner’s courses at the University were the main motivation for this work. In the light of the theoretical referential of the net of knowledge and meanings...

Ensino de cálculo diferencial e integral: das técnicas ao humans-with-media; Differential and Integral calculus: from the technique to humans-with-media

Vieira, Aldo Freitas
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Tese de Doutorado Formato: application/pdf
Publicado em 04/04/2013 PT
Relevância na Pesquisa
36.84%
As dificuldades epistemológicas e metodológicas do ensino de Cálculo Diferencial e Integral em cursos do ensino superior presenciais, a rápida evolução tecnológica (tanto em hardwares como em softwares) e o avanço aparentemente irreversível do ensino a distância, constituíram uma grande motivação para este trabalho. Analisando as dificuldades na construção de significados no estudo do Cálculo como em Barufi (1999), sua natureza epistemológica em Rezende (2003), e metodologias usadas na Educação à Distância, apresentam-se as idéias da natureza artificial de Simon (1981), as tecnologias da inteligência de Lévy (1993), as mediações sobre a técnica de Ortega y Gasset (1963), culminando no conceito do coletivo humans-with-media, como em Borba e Villarreal (2005). Pretende-se alargar os passos, verificando-se os limites e possibilidades do uso de novas Tecnologias da Informação (TI´s) no ensino do Cálculo Diferencial e Integral, aplicáveis tanto no ensino Presencial como na Educação à Distância, no coletivo humans-with-media. A expectativa é a de que uma nova fase da técnica tem início, uma fase em que a separação homem/técnica é impossível. Não se trata mais da técnica e o humano, ou o humano e a técnica...

O ensino de cálculo: dificuldades de natureza epistemológica; The teaching of calculus: difficulties of an epistemological nature

Rezende, Wanderley Moura
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Tese de Doutorado Formato: application/pdf
Publicado em 12/06/2003 PT
Relevância na Pesquisa
37%
São notórias e bem evidentes as dificuldades de aprendizagem no ensino de Cálculo. Algumas tentativas de resolver, ou pelo menos, amenizar, este problema têm sido realizadas tanto no campo pedagógico quanto no âmbito da pesquisa. Muitas dessas ações, inseridas no próprio contexto do ensino superior de Cálculo, partem do pressuposto que essas dificuldades de aprendizagem são de natureza psicológica, internas ao sujeito aprendiz. No entanto, contrariando esta tendência, esta pesquisa pretende mostrar que parte significativa dos problemas de aprendizagem do atual ensino de Cálculo é de natureza essencialmente epistemológica, está além dos métodos e das técnicas de ensino, sendo inclusive anterior ao seu próprio tempo de realização. Diante disto, foram imaginadas duas ações inter-relacionadas, dois mapeamentos que visam ao levantamento e entendimento dessas dificuldades de natureza epistemológica no ensino de Cálculo: um mapeamento conceitual do Cálculo e de suas idéias e procedimentos básicos; em seguida, munido desses elementos, realizou-se efetivamente o mapeamento das dificuldades supracitadas. Assim, a partir do entrelaçamento dos fatos históricos e pedagógicos, e tendo como pano de fundo as dualidades essenciais e os mapas conceituais do Cálculo...

Staining and calculus formation after 0.12% chlorhexidine rinses in plaque-free and plaque-covered surfaces : a randomized trial

Zanatta, Fabricio Batistin; Antoniazzi, Raquel Pippi; Rösing, Cassiano Kuchenbecker
Fonte: Universidade Federal do Rio Grande do Sul Publicador: Universidade Federal do Rio Grande do Sul
Tipo: Artigo de Revista Científica Formato: application/pdf
ENG
Relevância na Pesquisa
36.8%
Objectives: Studies concerning side effects of chlorhexidine as related to the presence of plaque are scarce. The purpose of this study was to compare the side effects of 0.12% chlorhexidine gluconate (CHX) on previously plaque-free (control group) and plaque-covered surfaces (test group). Methods: This study had a single-blind, randomized, split-mouth, 21 days-experimental gingivitis design, including 20 individuals who abandoned all mechanical plaque control methods during 25 days. After 4 days of plaque accumulation, the individuals had 2 randomized quadrants cleaned, remaining 2 quadrants with plaque-covered dental surfaces. On the fourth day, the individuals started with 0.12% CHX rinsing lasting for 21 days. Stain index intensity and extent as well as calculus formation were evaluated during the experimental period. Results: Intergroup comparisons showed statistically higher (p<0.05) stain intensity and extent index as well as calculus formation over the study in test surfaces as compared to control surfaces. Thus, 26.19% of test surfaces presented calculus, whereas calculus was observed in 4.52% in control surfaces. Conclusions: The presence of plaque increased 0.12% CHX side effects. These results strengthen the necessity of biofilm disruption prior to the start of CHX mouthrinses in order to reduce side effects.

Efficacy of Carisolv™ as an adjunctive therapy to scaling and root planing on subgingival calculus removal

Grisi, Daniela C.; Salvador, Sérgio Luiz de Souza; Marcantonio, Rosemary Adriana Chierici
Fonte: Universidade Estadual Paulista Publicador: Universidade Estadual Paulista
Tipo: Artigo de Revista Científica Formato: 213-218
ENG
Relevância na Pesquisa
36.87%
The purpose of this study was to evaluate the effectiveness of subgingival application of Carisolv™ gel as an adjunctive therapy to scaling and root planing (SRP) on calculus removal compared to conventional instrumentation. Forty-five teeth requiring extraction due to severe periodontal disease were randomized to the following treatments: 1) SRP alone; 2) placebo gel + SRP; 3) Carisolv™ gel + SRP. Either test or placebo gel was applied subgingivally for 1 min and then the root were instrumented until a smooth and calculus-free surface was achieved. Instrumentation time and the number of strokes required were recorded. After extraction, the efficacy of root surface instrumentation was measured by percentage of remaining calculus. There was no statistically significant difference (p>0.05) between the treatment groups regarding either time required for instrumentation or the percentage of residual calculus. The subgingival application of Carisolv™ gel prior to SRP did not provide any additional benefit to root instrumentation compared to scaling and root planing alone.

A visualização na resolução de problemas de calculo diferencial e integral no ambiente computacional MPP; Visual aspects of solving problem in calculus within an MPP computational environment

Rosa Maria Machado
Fonte: Biblioteca Digital da Unicamp Publicador: Biblioteca Digital da Unicamp
Tipo: Tese de Doutorado Formato: application/pdf
Publicado em 14/02/2008 PT
Relevância na Pesquisa
36.84%
São escassos os estudos a respeito da utilização da ferramenta computacional no ensino do Cálculo Diferencial e Integral nas universidades brasileiras. Contudo, em países como a Grã-Bretanha, Estados Unidos, Alemanha, México, Espanha, Colômbia e Venezuela, esses estudos estão bastante avançados, apresentando inclusive avaliações sobre o uso dessas tecnologias (calculadoras gráficas e numéricas, vídeos e softwares) nos cursos de graduação. Procurando atender essa demanda, o presente estudo tem por objetivos analisar a contribuição de um aplicativo educacional na resolução de problemas que extrapolam o cálculo funcional na disciplina do Cálculo Diferencial e Integral; enfatizar a necessidade, a importância e o resultado da utilização dessa ferramenta, que não devem ser tratados apenas com lápis e papel; analisar por meio de tarefas realizadas, o conhecimento matemático adquirido a partir da visualização e da representação visual descritas pelos estudantes. A pesquisa investigou como a visualização das representações gráficas produzidas pela ferramenta computacional MPP contribuiu no aprendizado do Cálculo Diferencial e Integral de estudantes ingressantes no curso de Química da Unicamp. Para tanto foi desenvolvido estudo...

A calculus of multiary sequent terms

Espírito Santo, José; Pinto, Luís F.
Fonte: ACM Publicador: ACM
Tipo: Artigo de Revista Científica
Publicado em /05/2011 ENG
Relevância na Pesquisa
36.94%
Multiary sequent terms were originally introduced as a tool for proving termination of permutative conversions in cut-free sequent calculus. This work develops the language of multiary sequent terms into a term calculus for the computational (Curry-Howard) interpretation of a fragment of sequent calculus with cuts and cut-elimination rules. The system, named generalised multiary lambda-calculus, is a rich extension of the lambda-calculus where the computational content of the sequent calculus format is explained through an enlarged form of the application constructor. Such constructor exhibits the features of multiarity (the ability of forming lists of arguments) and generality (the ability of prescribing a kind of continuation). The system integrates in a modular way the multiary lambda-calculus and an isomorphic copy of the lambda-calculus with generalised application LambdaJ (in particular, natural deduction is captured internally up to isomorphism). In addition, the system: (i) comes with permutative conversion rules, whose role is to eliminate the new features of application; (ii) is equipped with reduction rules --- either the mu-rule, typical of the multiary setting, or rules for cut-elimination, which enlarge the ordinary beta-rule. This paper establishes the meta-theory of the system...

The DuBois-Reymond fundamental lemma of the fractional calculus of variations and an Euler-Lagrange equation involving only derivatives of Caputo

Lazo, M. J.; Torres, D. F. M.
Fonte: Springer Verlag Publicador: Springer Verlag
Tipo: Artigo de Revista Científica
ENG
Relevância na Pesquisa
36.84%
Derivatives and integrals of noninteger order were introduced more than three centuries ago but only recently gained more attention due to their application on nonlocal phenomena. In this context, the Caputo derivatives are the most popular approach to fractional calculus among physicists, since differential equations involving Caputo derivatives require regular boundary conditions. Motivated by several applications in physics and other sciences, the fractional calculus of variations is currently in fast development. However, all current formulations for the fractional variational calculus fail to give an Euler-Lagrange equation with only Caputo derivatives. In this work, we propose a new approach to the fractional calculus of variations by generalizing the DuBois-Reymond lemma and showing how Euler-Lagrange equations involving only Caputo derivatives can be obtained. © 2012 Springer Science+Business Media New York.

Generalized fractional calculus with applications to the calculus of variations

Odzijewicz, T.; Malinowska, A.B.; Torres, D.F.M.
Fonte: Elsevier Publicador: Elsevier
Tipo: Artigo de Revista Científica
ENG
Relevância na Pesquisa
36.84%
We study operators that are generalizations of the classical Riemann-Liouville fractional integral, and of the Riemann-Liouville and Caputo fractional derivatives. A useful formula relating the generalized fractional derivatives is proved, as well as three relations of fractional integration by parts that change the parameter set of the given operator into its dual. Such results are explored in the context of dynamic optimization, by considering problems of the calculus of variations with general fractional operators. Necessary optimality conditions of Euler-Lagrange type and natural boundary conditions for unconstrained and constrained problems are investigated. Interesting results are obtained even in the particular case when the generalized operators are reduced to be the standard fractional derivatives in the sense of Riemann-Liouville or Caputo. As an application we provide a class of variational problems with an arbitrary kernel that give answer to the important coherence embedding problem. Illustrative optimization problems are considered.

The Legendre condition of the fractional calculus of variations

Lazo, M. J.; Torres, D. F. M.
Fonte: Taylor & Francis Publicador: Taylor & Francis
Tipo: Artigo de Revista Científica
ENG
Relevância na Pesquisa
36.8%
Fractional operators play an important role in modelling nonlocal phenomena and problems involving coarse-grained and fractal spaces. The fractional calculus of variations with functionals depending on derivatives and/or integrals of noninteger order is a rather recent subject that is currently in fast development due to its applications in physics and other sciences. In the last decade, several approaches to fractional variational calculus were proposed by using different notions of fractional derivatives and integrals. Although the literature of the fractional calculus of variations is already vast, much remains to be done in obtaining necessary and sufficient conditions for the optimization of fractional variational functionals, existence and regularity of solutions. Regarding necessary optimality conditions, all works available in the literature concern the derivation of first-order fractional conditions of Euler-Lagrange type. In this work, we obtain a Legendre second-order necessary optimality condition for weak extremizers of a variational functional that depends on fractional derivatives. © 2014 Taylor & Francis.

A fractional calculus on arbitrary time scales: fractional differentiation and fractional integration

Benkhettou, N.; Brito da Cruz, A. M. C.; Torres, D. F. M.
Fonte: Elsevier Publicador: Elsevier
Tipo: Artigo de Revista Científica
ENG
Relevância na Pesquisa
36.8%
We introduce a general notion of fractional (noninteger) derivative for functions defined on arbitrary time scales. The basic tools for the time-scale fractional calculus (fractional differentiation and fractional integration) are then developed. As particular cases, one obtains the usual time-scale Hilger derivative when the order of differentiation is one, and a local approach to fractional calculus when the time scale is chosen to be the set of real numbers.

Fractional order calculus: historical apologia, basic concepts and some applications

David,S.A.; Linares,J.L.; Pallone,E.M.J.A.
Fonte: Sociedade Brasileira de Física Publicador: Sociedade Brasileira de Física
Tipo: Artigo de Revista Científica Formato: text/html
Publicado em 01/12/2011 EN
Relevância na Pesquisa
36.87%
Fractional order calculus (FOC) deals with integrals and derivatives of arbitrary (i.e., non-integer) order, and shares its origins with classical integral and differential calculus. However, until recently, it has been investigated mainly from a mathematical point of view. Advances in the field of fractals have revealed its subtle relationships with fractional calculus. Nonetheless, fractional calculus is generally excluded from standard courses in mathematics, partly because many mathematicians are unfamiliar with its nature and its applications. This area has emerged as a useful tool among researchers. One of the objectives of this paper is to discuss the usefulness of fractional calculus in applied sciences and engineering. In view of the increasing interest in the development of the new paradigm, another objective is to encourage the use of this mathematical idea in various scientific areas by means of a historical apologia for the development of fractional calculus.

Efficacy of Carisolv™ as an adjunctive therapy to scaling and root planing on subgingival calculus removal

Grisi,Daniela C.; Salvador,Sérgio Luiz de Souza; Marcantonio,Rosemary Adriana Chiérici
Fonte: Fundação Odontológica de Ribeirão Preto Publicador: Fundação Odontológica de Ribeirão Preto
Tipo: Artigo de Revista Científica Formato: text/html
Publicado em 01/01/2006 EN
Relevância na Pesquisa
36.8%
The purpose of this study was to evaluate the effectiveness of subgingival application of Carisolv™ gel as an adjunctive therapy to scaling and root planing (SRP) on calculus removal compared to conventional instrumentation. Forty-five teeth requiring extraction due to severe periodontal disease were randomized to the following treatments: 1) SRP alone; 2) placebo gel + SRP; 3) Carisolv™ gel + SRP. Either test or placebo gel was applied subgingivally for 1 min and then the root were instrumented until a smooth and calculus-free surface was achieved. Instrumentation time and the number of strokes required were recorded. After extraction, the efficacy of root surface instrumentation was measured by percentage of remaining calculus. There was no statistically significant difference (p>0.05) between the treatment groups regarding either time required for instrumentation or the percentage of residual calculus. The subgingival application of Carisolv™ gel prior to SRP did not provide any additional benefit to root instrumentation compared to scaling and root planing alone.

Staining and calculus formation after 0.12% chlorhexidine rinses in plaque-free and plaque covered surfaces: a randomized trial

Zanatta,Fabrício Batistin; Antoniazzi,Raquel Pippi; Rösing,Cassiano Kuchenbecker
Fonte: Faculdade De Odontologia De Bauru - USP Publicador: Faculdade De Odontologia De Bauru - USP
Tipo: Artigo de Revista Científica Formato: text/html
Publicado em 01/10/2010 EN
Relevância na Pesquisa
36.8%
OBJECTIVES: Studies concerning side effects of chlorhexidine as related to the presence of plaque are scarce. The purpose of this study was to compare the side effects of 0.12% chlorhexidine gluconate (CHX) on previously plaque-free (control group) and plaque-covered surfaces (test group). METHODS: This study had a single-blind, randomized, split-mouth, 21 days-experimental gingivitis design, including 20 individuals who abandoned all mechanical plaque control methods during 25 days. After 4 days of plaque accumulation, the individuals had 2 randomized quadrants cleaned, remaining 2 quadrants with plaque-covered dental surfaces. On the fourth day, the individuals started with 0.12% CHX rinsing lasting for 21 days. Stain index intensity and extent as well as calculus formation were evaluated during the experimental period. RESULTS: Intergroup comparisons showed statistically higher (p<0.05) stain intensity and extent index as well as calculus formation over the study in test surfaces as compared to control surfaces. Thus, 26.19% of test surfaces presented calculus, whereas calculus was observed in 4.52% in control surfaces. CONCLUSIONS: The presence of plaque increased 0.12% CHX side effects. These results strengthen the necessity of biofilm disruption prior to the start of CHX mouthrinses in order to reduce side effects.

Uso de episodios historicos e de geometria dinamica para desenvolvimento de coneitos de integral de Riemann e do teorema fundamental do calculo para funções reais de variavel real; Historical events and dynamical geometry used to devellop the Riemmann integral and the fundamental theorem of calculus concepts

Luiz Antonio Jacyntho
Fonte: Biblioteca Digital da Unicamp Publicador: Biblioteca Digital da Unicamp
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 28/08/2008 PT
Relevância na Pesquisa
36.87%
Este trabalho tem como objetivos estudar algumas realizações de Arquimedes (287 a.C. - 212 a.C., Grécia) e de Isaac Barrow (1630-1677, Inglaterra), e, também, desenvolver atividades no Geogebra para auxiliar no ensino do Cálculo Diferencial e Integral. Apresentamos a construção do conjunto dos números reais, definições e teoremas atuais que antecedem, logicamente, o Teorema Fundamental do Cálculo. Tratamos de algumas das realizações de Arquimedes: a demonstração da medida da área do círculo, utilizando o Método de Eudoxo, o "método mecânico", pelo qual ele descobriu a medida da área do segmento parabólico e a demonstração rigorosa desta medida. São discutidas algumas realizações de Isaac Barrow: o método por ele utilizado para encontrar retas tangentes a uma curva, um estudo sobre o conteúdo da Conferência I e sobre algumas proposições da Conferência X. Nesta última, será dada atenção especial à Proposição 11, que demonstra casos particulares do Teorema Fundamental do Cálculo. O trabalho termina com um conjunto de atividades baseadas no programa Geogebra. Cada atividade tem a sua função numa seqüência didática e aborda os seguintes temas: a representação do conjunto dos números reais...

Permutative conversions in intuitionistic multiary sequent calculus with cuts

Espírito Santo, José; Pinto, Luís F.
Fonte: Springer Publicador: Springer
Tipo: Conferência ou Objeto de Conferência
Publicado em //2003 ENG
Relevância na Pesquisa
36.87%
This work presents an extension with cuts of Schwichtenberg's multiary sequent calculus. We identify a set of permutative conversions on it, prove their termination and confluence and establish the permutability theorem. We present our sequent calculus as the typing system of the {\em generalised multiary $\lambda$-calculus} lambda-Jm, a new calculus introduced in this work. Lambda-Jm corresponds to an extension of $\lambda$-calculus with a notion of {\em generalised multiary application}, which may be seen as a function applied to a list of arguments and then explicitly substituted in another term. Proof-theoretically the corresponding typing rule encompasses, in a modular way, generalised eliminations of von Plato and Herbelin's head cuts.; Fundação para a Ciência e a Tecnologia (FCT).

Hahn's symmetric quantum variational calculus

Brito da Cruz, A. M. C.; Martins, N.; Torres, D. F. M.
Fonte: American Institute of Mathematical Sciences (AIMS) Publicador: American Institute of Mathematical Sciences (AIMS)
Tipo: Artigo de Revista Científica
ENG
Relevância na Pesquisa
36.87%
We introduce and develop the Hahn symmetric quantum calculus with applications to the calculus of variations. Namely, we obtain a necessary optimality condition of Euler{Lagrange type and a sufficient optimality condi- tion for variational problems within the context of Hahn's symmetric calculus. Moreover, we show the effectiveness of Leitmann's direct method when applied to Hahn's symmetric variational calculus. Illustrative examples are provided.

Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi; Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi

Loparić, Andréa; Departamento de Filosofia, Universidade de São Paulo São Paulo, SP
Fonte: Federal University of Santa Catarina – UFSC Publicador: Federal University of Santa Catarina – UFSC
Tipo: info:eu-repo/semantics/article; info:eu-repo/semantics/publishedVersion; ; Formato: application/pdf
Publicado em 01/01/2010 POR
Relevância na Pesquisa
36.84%
Apresentamos neste trabalho semânticas de valorações para o Cálculo Proposicional Intuicionista (também conhecido como Cálculo Proposicional de Heyting) e três de seus importantes subcálculos: os cálculos proposicionais Implicativo, Positivo e Minimal (também chamado Cálculo de Kolmogoroff ou de Johansson). Provamos a correção e a completude dessas valorações com respeito aos respectivos cálculos e, em seguida, apresentamos algoritmos de geração das tabelas dessas valorações, algoritmos que se constituem, assim, em métodos alternativos de decisão para os esses cálculos.DOI:10.5007/1808-1711.2010v14n1p125; In this paper, we present valuation semantics for the Propositional Intuitionistic Calculus (also called Heyting Calculus) and three important subcalculi: the Implicative, the Positive and the Minimal Calculus (also known as Kolmogoroff or Johansson Calculus). Algorithms based in our definitions yields decision methods for these calculi.DOI:10.5007/1808-1711.2010v14n1p125