✦ LIBER ✦

A normal form for logical derivations implying one for arithmetic derivations

✍ Scribed by G. Mints

Publisher: Elsevier Science
Year: 1993
Tongue: English
Weight: 993 KB
Volume: 62
Category: Article
ISSN: 0168-0072
DOI: 10.1016/0168-0072(93)90188-j

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A normal form for arithmetical represent

A normal form for arithmetical representation of N P-sets

✍ Bernard R. Hodgson; Clement F. Kent 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 582 KB

A linear expected-time algorithm for der

A linear expected-time algorithm for deriving all logical conclusions implied by a set of boolean inequalities

✍ Pierre Hansen; Brigitte Jaumard; Michel Minoux 📂 Article 📅 1986 🏛 Springer-Verlag 🌐 English ⚖ 381 KB

Normal forms for fuzzy logics: a proof-t

Normal forms for fuzzy logics: a proof-theoretic approach

✍ Petr Cintula; George Metcalfe 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 245 KB

A local normal form theorem for infinita

A local normal form theorem for infinitary logic with unary quantifiers

✍ H. Jerome Keisler; Wafik Boulos Lotfallah 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 152 KB

We prove a local normal form theorem of the Gaifman type for the infinitary logic L∞ω(Q u ) ω whose formulas involve arbitrary unary quantifiers but finite quantifier rank. We use a local Ehrenfeucht-Fraïssé type game similar to the one in [9]. A consequence is that every sentence of L∞ω(Q u ) ω of

A method of synthesizing planar disjunct

A method of synthesizing planar disjunctive normal forms for logical algebra functions

✍ Yu.A. Mamatov 📂 Article 📅 1980 🏛 Elsevier Science ⚖ 191 KB

A weak-derivative form for linear hyperb

A weak-derivative form for linear hyperbolic systems

✍ Charlie H. Cooke; Tze-Jang Chen 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 133 KB