A Modal Characterisation of an Intuitionistic I/O Operation.

Published in: FLAP (2021)

Keyphrases

input output
modal logic
database
real time
fuzzy set theory
interval valued
operating system
fuzzy information
linear logic
databases
theorem prover
fuzzy numbers