𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the Propositional System A of Vučković and its Extension.by Bolesław Sobociński

✍ Scribed by Review by: Andrzej Mostowski

Book ID
124185240
Publisher
Association for Symbolic Logic
Year
1966
Tongue
English
Weight
207 KB
Volume
31
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the extension of classical propositio
On the extension of classical propositional logic by means of a triangular norm
✍ G. de Cooman; E. E. Kerre; B. Cappelle; Ruan Da; F. Vanmassenhove 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 682 KB

In this article, we introduce a generalized extension principle by substituting a more general triangular norm T for the min intersection operator in Zadeh's extension principle. We also introduce a family of propositional logics, sup-T extension logics, obtained by the extension of classical-logica

A propositional fragment of Leśniewski's
A propositional fragment of Leśniewski's ontology and its formulation by the tableau method
✍ Mitsunori Kobayashi; Arata Ishimoto 📂 Article 📅 1982 🏛 Springer Netherlands 🌐 English ⚖ 938 KB

The propositional fragment E1 of Legniewski's ontology is the smallest class (of formulas) containing besides all the instances of tautology the formulas o~ the forms: z(a,b) D ~(a,a), ~(a,b)^r e(a,c) and ~(a,b)Ar ~(b,a) being closed under detachment. The purpose of this paper is to furnish another