The deduction theorem for Lukasiewicz many-valued propositional calculi

DOI10.1007/BF02125899zbMath0292.02014MaRDI QIDQ1211488

Witold A. Pogorzelski

Publication date: 1964

Published in: Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items (9)

An axiomatization of the finite-valued Łukasiewicz calculus ⋮ Many-valued logic and mixed integer programming ⋮ Consequence and Degrees of Truth in Many-Valued Logic ⋮ From many-valued consequence to many-valued connectives ⋮ On the closure properties of the class of full G-models of a deductive system ⋮ A survey of deduction theorems for the propositional calculi ⋮ Dual counterparts of Lukasiewicz's sentential calculi ⋮ Interpretations of classical implicational sentential calculus in nonclassical implicational calculi ⋮ Quantitative logic

Cites Work

• Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The deduction theorem for Lukasiewicz many-valued propositional calculi