View in EDS

A domain calculus based on Heyting-valued logic.

Saved in:
Bibliographic Details
Title: A domain calculus based on Heyting-valued logic.
Authors: Lastovicka, Jan1
Source: Journal of Logic & Computation; Sep2025, Vol. 35 Issue 6, p1-31, 31p
Database: Applied Science & Technology Source
Description
ISSN:0955792X
DOI:10.1093/logcom/exaf004