Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
2 results

Representations of Stream Processors Using Nested Fixed Points

Neil Ghani ; Peter Hancock ; Dirk Pattinson.
We define representations of continuous functions on infinite streams of discrete values, both in the case of discrete-valued functions, and in the case of stream-valued functions. We define also an operation on the representations of two continuous functions between streams that yields a&nbsp;[&hellip;]
Published on September 15, 2009

Modal meet-implication logic

Jim de Groot ; Dirk Pattinson.
We extend the meet-implication fragment of propositional intuitionistic logic with a meet-preserving modality. We give semantics based on semilattices and a duality result with a suitable notion of descriptive frame. As a consequence we obtain completeness and identify a common (modal) fragment of a&nbsp;[&hellip;]
Published on July 14, 2022

  • < Previous
  • 1
  • Next >