✦ LIBER ✦

Some definitions of negation leading to paraconsistent logics

✍ Scribed by M. W. Bunder

Publisher: Springer Netherlands
Year: 1984
Tongue: English
Weight: 150 KB
Volume: 43
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf00935741

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Depth relevance of some paraconsistent l

Depth relevance of some paraconsistent logics

✍ Ross T. Brady 📂 Article 📅 1984 🏛 Springer Netherlands 🌐 English ⚖ 618 KB

A Companion to Philosophical Logic || Fr

A Companion to Philosophical Logic || From Logic to Ontology: Some Problems of Predication, Negation, and Possibility

✍ Jacquette, Dale 📂 Article 📅 2006 🏛 Blackwell Publishing Ltd 🌐 English ⚖ 91 KB

Edited By Dale Jacquette. Includes Bibliographical References And Index.

A reduction of classical propositional l

A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic

✍ Kosta Došen 📂 Article 📅 1981 🏛 Springer Netherlands 🌐 English ⚖ 360 KB

Some applications of propositional logic

Some applications of propositional logic to cellular automata

✍ Stefano Cavagnetto 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 154 KB

## Abstract In this paper we give a new proof of Richardson's theorem [31]: a global function __G__~𝔸~ of a cellular automaton 𝔸 is injective if and only if the inverse of __G__~𝔸~ is a global function of a cellular automaton. Moreover, we show a way how to construct the inverse cellular automaton

Erratum to “Definitional equivalence and

Erratum to “Definitional equivalence and algebraizability of generalized logical systems” Annals of Pure and Applied Logic 98 (1999) 1–68

✍ Alexej P. Pynko 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 32 KB

Some effects of the addition of telluriu

Some effects of the addition of tellurium to lead

✍ Singleton, W. ;Jones, Brinley 📂 Article 📅 1933 🏛 Wiley (John Wiley & Sons) ⚖ 612 KB

Tll the C O I I ~S C of :in iiivest,iga! ion of tltc cn'cct of tlic ntltlition of siitall iiiitoiitits of ot Iicr iiictnls to lend iiiitl lend idloys, it lins bccn foitiitl tltat lend to \rlticli n sninll :inloutit of t clluriutii II:IS bcc11 :itltlctl slio\\s 1111 incrcilscd rosistiiiicc to corrosi