O Que é NON-CLASSICAL LOGICS em Português

• lógicas não-clássicas
• lógica não-clássica
• lógicas não clássicas

Exemplos de uso de Non-classical logics em Inglês e suas traduções para o Português

Chapters 7-16 cover the main non-classical logics of broad interest today.
Os capítulos 7-16 abrangem os principais lógicas não-clássicas de amplo interesse hoje.

A few other authors have adopted the main distinction between deviation and extension in non-classical logics.
Alguns outros autores adotaram a principal distinção entre o desvio e extensão em lógicas não-clássicas.

Philosophical logic is understood to encompass and focus on non-classical logics, although the term has other meanings as well.
Lógica filosófica, especialmente em ciência da computação teórica, é entendida para abranger e se concentrar em lógicas não-clássicas, embora o termo tem outros significados.

This work aims to investigate new forms of data treatment resulting from such toxicity tests using algorithms based on non-classical logics.
Neste trabalho, procura-se investigar novas formas de tratamento de dados resultantes de ensaios de toxicidade deste tipo, utilizando algoritmos baseados em lógicas não-clássicas.

Examples of non-classical logics==*Fuzzy logic rejects the law of the excluded middle and allows as a truth value any real number between 0 and 1.
Exemplos da lógica não-clássica==*A lógica fuzzy rejeita a lei do terceiro excluído e permite que um valor de verdade seja qualquer número real entre 0 e 1.

Palabras clave: sciences of complexity; mathematics of discrete systems; non-classical logics; synthesis; epistemology.
Palavras-chave: ciencias de la complejidad; matemáticas de sistemas discretos; lógicas no-clásicas; síntesis; epistemología.

There are many reasons to justify the development of non-classical logics such as the expressivity of those languages and how they could help to formulate human reasoning.
Existem diversas razões para justificar o desenvolvimento de lógicas não-clássicas tais como a expressividade destas linguagens e como elas poderiam ajudar a formalizar o pensamento humano.

Philosophical logic, especially in theoretical computer science, is understood to encompass and focus on non-classical logics, although the term has other meanings as well.
Lógica filosófica, especialmente em ciência da computação teórica, é entendida para abranger e se concentrar em lógicas não-clássicas, embora o termo tem outros significados.

Classification of non-classical logics==In"Deviant Logic"(1974) Susan Haack divided non-classical logics into deviant, quasi-deviant, and extended logics..
Classificação das lógicas não-clássicas==Em"Deviant Logic"(1974) Susan Haack dividiu lógicas não-clássicas em lógicas desviantes, quase desviante, e lógica estendida.

The discovery of Kripke semantics was a breakthrough in the making of non-classical logics, because the model theory of such logics was absent before Kripke.
A descoberta da semântica de Kripke foi um avanço na teoria das lógicas não-clássicas, pois a teoria dos modelos de tais lógicas era inexistente antes de Kripke.

Non-classical logics(and sometimes alternative logics) are formal systems that differ in a significant way from standard logical systems such as propositional and predicate logic..
Lógicas não-clássicas(e às vezes lógicas alternativas) é o nome dado aos sistemas formais que diferem de maneira significativa dos sistemas lógicos padrão, como a lógica proposicional e predicado.

Some research has been done about the size of proofs for propositional non-classical logics, in particular, intuitionistic, modal, and non-monotonic logics..
Algumas pesquisas têm sido feitas sobre o tamanho de provas para lógicas proposicionais não clássicas, em particular, intuicionista, modal, e lógicas não monotônicas.

Non-classical logics(and sometimes alternative logics) is the name given to formal systems that differ in a significant way from standard logical systems such as propositional and predicate logic..
Lógicas não-clássicas(e às vezes lógicas alternativas) é o nome dado aos sistemas formais que diferem de maneira significativa dos sistemas lógicos padrão, como a lógica proposicional e predicado.

Accordingly, negation in classical logic satisfies the law of double negation:¬¬A is equivalent to A. Generally in non-classical logics, negation that satisfies the law of double negation is called involutive.
Do mesmo modo, a negação na lógica clássica satisfaz a lei da dupla negação:¬¬A é equivalente a A. Geralmente, em lógicas não clássicas, uma negação que satisfaça a lei da dupla negação é dita involutiva.

T-norm fuzzy logics are a family of non-classical logics, informally delimited by having a semantics that takes the real unit interval for the system of truth values and functions called t-norms for permissible interpretations of conjunction.
Lógicas difusas de T-norma são uma família de lógicas não clássicas, informalmente delimitada por ter uma semântica que toma o intervalo da unidade real de para o sistema de valores verdade e de funções chamadas de t-normas para possíveis interpretações de conjunção lógica..

Shahid Rahman and Helge Rückert extended the dialogical approach to the study of several non-classical logics such as modal logic, relevance logic, free logic and connexive logic..
Shahid Rahman e Helge Rückert estenderam a abordagem dialógica ao estudo de várias lógicas não-clássicas com a lógica modal, lógica relevante, lógica livre e lógica conectiva.

In order to study the concept of uncertainty reasoning from this point of view, we show how it is possible to associate probability values to sentences in a formal language by defining in detail the notion of probability semantics supported by classical logic and by some non-classical logics.
Para estudar o raciocínio sob incerteza deste ponto de vista, mostramos como é possível associar valores de probabilidade a sentenças de uma linguagem formal definindo semânticas probabilísticas com suporte na lógica clássica e em algumas lógicas não-clássicas.

The discovery of Kripke semantics was a breakthrough in the theory of non-classical logics, because the model theory of such logics was almost non-existent before Kripke algebraic semantics existed, but were considered'syntax in disguise.
A descoberta da semântica de Kripke foi um avanço na teoria das lógicas não-clássicas, pois a teoria dos modelos de tais lógicas era inexistente antes de Kripke.

Since later in the 1990s, Ruy de Queiroz has been engaged, jointly with Dov Gabbay, in a program of providing a general account of the functional interpretation of classical and non-classical logics via the notion of labeled natural deduction.
Desde a década de 1990, Ruy de Queiroz está engajado, juntamente com D. Gabbay, em um programa de fornecimento de uma consideração geral da interpretação funcional da lógica clássica e não-clássica por meio da noção de dedução natural.

The book also started the investigation of fuzzy logics as non-classical logics with Hilbert-style calculi, algebraic semantics, and metamathematical properties known from other logics completeness theorems, deduction theorems, complexity, etc.
O livro também começou a investigação da lógica difusa como lógica não-clássica com cálculos do estilo de Hilbert, álgebra semântica, e propriedades matemáticas conhecidas a partir de outras lógicas teoremas de completude, teoremas de dedução, complexidade, etc.

His investigation aims to explore, in various aspects, the universal character of a powerful proof method, able to be used in classical and non-classical logics, in particular in propositional many-valued logics(deterministic and non- deterministic) in paraconsistent logics, in modal logics and in first order logic.
O presente trabalho tem por objetivo explorar, em diversas vertentes, o caráter universal de uma ferramenta poderosa de prova, apta a ser utilizada em lógicas clássicas e não clássicas, em particular em lógicas multivaloradas proposicionais(determinísticas e não-determinísticas), em lógicas paraconsistentes, em lógicas modais e na lógica de primeira ordem.

Recent studies show how the agm paradigm can be compliant with dierent non-classical logics, which is called the agm-compliance{ this is the case of the paraconsistent logics family we analyze in this thesis, the logics of formal inconsistency lfis.
Trabalhos recentes mostram como o paradigma agm pode ser compatvel com diferentes logicas n~ao-classicas, o que e chamado de agm-compatibilidade{ este e o caso da famlia de logicas paraconsistentes que analisamos, as logicas da inconsist^encia formal lfis, da sigla em ingl^es.

For an introduction to non-classical logic as an attempt to find a better translation of the conditional, see: Priest, Graham, 2001.
Para uma introdução à lógica não-clássica assim como à uma tentativa de encontrar uma tradução melhor do condicional, consulte: Priest, Graham, 2001.

Relevance logic, also called relevant logic, is a kind of non-classical logic requiring the antecedent and consequent of implications to be relevantly related.
Lógica de relevância, também conhecida como lógica relevante, é um tipo de lógica não-clássica que requer que o antecedente e o consequente em uma implicação estejam relativamente relacionados.

Interpretations used to study non-classical logic include topological models, Boolean-valued models, and Kripke models.
Interpretações usados para estudar a lógica não-clássica incluem topological models, Boolean valued models, e Kripke models.

Non-classical logic is the name given to formal systems which differ in a significant way from standard logical systems such as propositional and predicate logic..
Lógica não-clássica é o nome dado a sistemas formais que diferem de um modo significante da lógica padrão de sistemas, como a proposicional e a lógica de predicados.

The axiom of choice has also been thoroughly studied in the context of constructive mathematics, where non-classical logic is employed.
O Axioma da Escolha também tem sido estudada no contexto da matemática construtiva, onde lógica não-clássica é empregada.

The method is based on non-classical logic, the so-called paraconsistent annotated evidential logic e¿logic e¿.
O método é baseado na lógica não clássica, chamada de lógica paraconsistente anotada evidencial e¿(lógica etal).

In particular, there are other types of interpretations that are used in the study of non-classical logic(such as intuitionistic logic), and in the study of modal logic..
Em particular, existem outros tipos de interpretações que são usados no estudo de non-classical logic(como a intuitionistic logic), e no estudo da lógica modal.

The pl belongs to the non-classical logic family and has in its foundations the property of accept contradiction without that the conflict invalidate the conclusions.
A lp pertence à família de lógicas não-clássicas e apresenta em sua fundamentação a propriedade de aceitar a contradição sem que o conflito anule as conclusões.