Álgebras para la lógica implicativa con conjunción

Fuente: Redalyc

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Mauricio Castillo
Format:	Artículo científico
Sprache:	es
Veröffentlicht:	Escuela Regional de Matemáticas 2010
Schlagworte:	Física, Astronomía y Matemáticas semilattice Hilbert algebra deductive system Propositional logic algebraic semantics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Online