A completeness theorem for three-valued temporalpredicate logic

Carmen Chirita

Full Text:

PDF


DOI: https://doi.org/10.52846/ami.v35i0.243