Buscar
Mostrando ítems 1-10 de 23
An alternative approach for quasi-truth
(Oxford University Press, 2014-04-01)
In 1986, Mikenberg et al. introduced the semantic notion of quasi-truth defined by means of partial structures. In such structures, the predicates are seen as triples of pairwise disjoint sets: the set of tuples which ...
An alternative approach for quasi-truth
(Oxford University Press, 2014)
An alternative approach for quasi-truth
(Oxford Univ PressOxfordInglaterra, 2014)
An alternative approach for quasi-truth
(Oxford University Press, 2014)
Paraconsistencia e modalidadeParaconsistency and modality
([s.n.], 2009)
Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras
(SpringerNew YorkEUA, 2014)
On some aspects of decidability of annotated systems
(C S R E A Press, 2001-01-01)
In this paper, we discuss some results of decidability of annotated systems. The annotated propositional logic Ptau and its S5 type modal extension S5tau are shown to be decidable. These results reveal that annotated systems ...