Pular para o conteúdo
Informática

Introduction To Annotated Logics

Foundations For Paracomplete And Paraconsistent Reasoning

Edição - 2015190 páginasSpringer *en
Seja o primeiro a avaliar
Sua leitura no Lireo

Guarde este livro na sua estante

Crie uma conta gratuita e continue exatamente desta página.

Registre seu progresso de leitura
Descubra outros leitores do mesmo livro
Participe de clubes de leitura
Organize toda sua biblioteca

Sinopse

This book is written as an introduction to annotated logics. It provides logical foundations for annotated logics, discusses some interesting applications of these logics and also includes the authors' contributions to annotated logics. The central idea of the book is to show how annotated logic can be applied as a tool to solve problems of technology and of applied science. The book will be of interest to pure and applied logicians, philosophers and computer scientists as a monograph on a kind of paraconsistent logic. But, the layman will also take profit from its reading.

Detalhes do livro

Título
Introduction To Annotated Logics
Autor
Jair Minoro | Akama Seiki Abe
Editora
Springer *
Ano
2026
Páginas
190 páginas
Idioma
EN
ISBN-13
9783319179117
Edição
Edição - 2015
Formato
Hardcover

Informática

Livros na mesma categoria

Blog Lireo

Dicas e recomendações para leitores

Soluções institucionais

Para escolas, universidades, autores e editoras