Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences.

Saved in:

Bibliographic Details
Title:	Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences.
Authors:	BECKMANN, ARNOLD¹, PREINING, NORBERT²
Source:	Journal of Logic & Computation; Jun2015, Vol. 25 Issue 3, p527-547, 21p
Database:	Applied Science & Technology Source

Description
ISSN:	0955792X
DOI:	10.1093/logcom/exu016