Lógicas multivalentes. Uma introdução matemática e computacional.

Dissertation, Universidade Aberta (2016)
  Copy   BIBTEX

Abstract

This is a mathematical and computational intro to many-valued logics. The approach is mostly mathematical, namely algebraic (via the notion of logical matrix) and computational (via the satisfiability problem). An automated calculus -- the signed resolution calculus for many-valued logics -- is elaborated on.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Many-valued logics. A mathematical and computational introduction.Luis M. Augusto - 2020 - London: College Publications.
Automated Deduction in Multiple-valued Logics.Reiner Hähnle - 1993 - Oxford University Press.
Approximating Propositional Calculi by Finite-valued Logics.Matthias Baaz & Richard Zach - 1994 - In Baaz Matthias & Zach Richard (eds.), 24th International Symposium on Multiple-valued Logic, 1994. Proceedings. IEEE Press. pp. 257–263.
Many‐valued modal logics: Uses and predicate calculus.Pascal Ostermann - 1990 - Mathematical Logic Quarterly 36 (4):367-376.
Proof Theory of Finite-valued Logics.Richard Zach - 1993 - Dissertation, Technische Universität Wien
Tableaus for many-valued modal logic.Melvin Fitting - 1995 - Studia Logica 55 (1):63 - 87.
Many-Valued Logics and Translations.Ítala M. Loffredo D'Ottaviano & Hércules de Araujo Feitosa - 1999 - Journal of Applied Non-Classical Logics 9 (1):121-140.
The Beth Property in Algebraic Logic.W. J. Blok & Eva Hoogland - 2006 - Studia Logica 83 (1-3):49-90.
Effective finite-valued approximations of general propositional logics.Matthias Baaz & Richard Zach - 2008 - In Arnon Avron & Nachum Dershowitz (eds.), Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Springer Verlag. pp. 107–129.
Lewis Dichotomies in Many-Valued Logics.Simone Bova - 2012 - Studia Logica 100 (6):1271-1290.

Analytics

Added to PP
2016-02-20

Downloads
328 (#64,978)

6 months
1 (#1,516,603)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Luis M. Augusto
Independent Scientist

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references