✦ LIBER ✦

On semantical rules and definable predicates

✍ Scribed by R. M. Martin

Publisher: Springer Netherlands
Year: 1959
Tongue: English
Weight: 362 KB
Volume: 10
Category: Article
ISSN: 0031-8116
DOI: 10.1007/bf00845364

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Semantical Rules and Misinterpretations

✍ Putnam, Hilary 📂 Fiction 📅 0 🌐 English ⚖ 116 KB

A general proof rule for procedures in p

A general proof rule for procedures in predicate transformer semantics

✍ Alain J. Martin 📂 Article 📅 1983 🏛 Springer-Verlag 🌐 English ⚖ 522 KB

Drawing inferences from semantically pos

Drawing inferences from semantically positive and negative implicative predicates

✍ Stella Vosniadou 📂 Article 📅 1982 🏛 Springer US 🌐 English ⚖ 937 KB

A new concept of predicative truth and d

A new concept of predicative truth and definability

✍ N. N. Nepeivoda 📂 Article 📅 1973 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 399 KB

On integrating rules into the Semantic W

On integrating rules into the Semantic Web

✍ Jan Maluszyński 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 125 KB

Definability and decidability of binary

Definability and decidability of binary predicates for time granularity

✍ Massimo Franceschet; Angelo Montanari; Adriano Peron; Guido Sciavicco 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 288 KB

In this paper we study the definability and decidability of binary predicates for time granularity in monadic languages interpreted over finitely and infinitely layered structures. We focus our attention on the equi-level (respectively equi-column) predicate constraining two time points to belong to