✦ LIBER ✦

Time and logic: A calculus of binary events

✍ Scribed by H. Issendorff

Publisher: Springer Vienna
Year: 1995
Tongue: English
Weight: 723 KB
Volume: 54
Category: Article
ISSN: 0010-485X
DOI: 10.1007/bf02253614

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A sequent calculus for logic of knowledg

A sequent calculus for logic of knowledge and past time: Completeness and decidability

✍ J. Sakalauskaitė 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 110 KB

Walter Pitts and “A Logical Calculus”

✍ Mark Schlatter; Ken Aizawa 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 300 KB

A Logical Calculus of Meaning and Synony

A Logical Calculus of Meaning and Synonymy

✍ Yiannis N. Moschovakis 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 598 KB

A Calculus and logic of resources and pr

A Calculus and logic of resources and processes

✍ David Pym; Chris Tofts 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 255 KB

Unification of nonlinear filtering in th

Unification of nonlinear filtering in the context of binary logical calculus, part I: Binary filters

✍ Edward R. Dougherty; Robert M. Haralick 📂 Article 📅 1992 🏛 Springer US 🌐 English ⚖ 891 KB

The mathematical structure of nonlinear filtering is expressed in the context of binary logic. This first part of a two-part study concerns the binary setting. Operator properties, such as antiextensivity and idempotence, are expressed in finite logical expressions, as are the Matheron representatio

Unifying proof methodologies of duration

Unifying proof methodologies of duration calculus and timed linear temporal logic

✍ Zhiming Liu; Anders P. Ravn; Xiaoshan Li 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 152 KB