✦ LIBER ✦

A Definition of Negation in Extended Basic Logic

✍ Scribed by Frederic B. Fitch

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some definitions of negation leading to

✍ M. W. Bunder 📂 Article 📅 1984 🏛 Springer Netherlands 🌐 English ⚖ 150 KB

The Heine-Borel Theorem in Extended Basi

✍ Frederic B. Fitch 📂 Article 📅 1949 🏛 Association for Symbolic Logic 🌐 English ⚖ 813 KB

A Remark on Negation in Dependence Logic

✍ Kontinen, Juha; Väänänen, Jouko 📂 Article 📅 2011 🏛 University of Notre Dame 🌐 English ⚖ 223 KB

On the Definition of Negation by a Fixed

✍ Haskell B. Curry 📂 Article 📅 1952 🏛 Association for Symbolic Logic 🌐 English ⚖ 506 KB

Initial semantics of logic specification

✍ O. A. Il'icheva 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 497 KB

Definition in Symbolic Logic

✍ A. T. Shearman 📂 Article 📅 1910 🏛 Oxford University Press 🌐 English ⚖ 422 KB