The deduction theorem for Lukasiewicz many-valued propositional calculi
From MaRDI portal
Publication:1211488
DOI10.1007/BF02125899zbMath0292.02014MaRDI QIDQ1211488
Publication date: 1964
Published in: Studia Logica (Search for Journal in Brave)
03B50: Many-valued logic
Related Items
From many-valued consequence to many-valued connectives, Quantitative logic, An axiomatization of the finite-valued Łukasiewicz calculus, 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, Many-valued logic and mixed integer programming, On the closure properties of the class of full G-models of a deductive system, Consequence and Degrees of Truth in Many-Valued Logic
Cites Work