Cargando…
Truth and falsehood: an inquiry into generalized logical values
Here is a thoroughly elaborated logical theory of generalized truth-values, presenting the idea of a trilattice of truth values - a specific algebraic structure with information ordering and two distinct logical orderings, one for truth and another for falsity.
Autores principales: | Shramko, Yaroslav, Wansing, Heinrich |
---|---|
Lenguaje: | eng |
Publicado: |
Springer
2012
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/2300790 |
Ejemplares similares
-
Displaying modal logic
por: Wansing, Heinrich
Publicado: (1998) -
Proof theory of modal logic
por: Wansing, Heinrich
Publicado: (1996) -
Conference Trends in Logic XI
por: Ciuni, Roberto, et al.
Publicado: (2014) -
Language, truth and logic in mathematics
por: Hintikka, Jaakko
Publicado: (1998) -
Logical frameworks for truth and abstraction: an axiomatic study
por: Cantini, A
Publicado: (1996)