✦ LIBER ✦

Logical consequence, semantic and formal

✍ Scribed by Z. Lis

Publisher: Springer Netherlands
Year: 1960
Tongue: English
Weight: 99 KB
Volume: 10
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf02120401

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal and material consequence

✍ Stephen Read 📂 Article 📅 1994 🏛 Springer Netherlands 🌐 English ⚖ 991 KB

Concerning the semantic consequence rela

Concerning the semantic consequence relation in first-order temporal logic

✍ Andrzej Szalas 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 332 KB

Logical matrices and non-structural cons

Logical matrices and non-structural consequence operators

✍ Brunetto Piochi 📂 Article 📅 1983 🏛 Springer Netherlands 🌐 English ⚖ 602 KB

Realism and formal semantics

✍ David Pearce; Veikko Rantala 📂 Article 📅 1982 🏛 Springer Netherlands 🌐 English ⚖ 796 KB

Logic, cybernetics, and semantics

✍ Oliver L. Reiser 📂 Article 📅 1955 🏛 Springer Netherlands 🌐 English ⚖ 803 KB

Semantics, Modularity, and Rewriting Log

Semantics, Modularity, and Rewriting Logic

✍ Peter D. Mosses 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 872 KB

A complete formal semantic description of a practical programming language (such as Java) is likely to be a lengthy document, regardless of which semantic framework is being used. Good modularity of the description is important to the person(s) developing it, to facilitate reuse, change, and extensi