Pages that link to "Item:Q1211488"
From MaRDI portal
The following pages link to The deduction theorem for Lukasiewicz many-valued propositional calculi (Q1211488):
Displayed 9 items.
- Quantitative logic (Q1007841) (← links)
- An axiomatization of the finite-valued Łukasiewicz calculus (Q1110497) (← links)
- A survey of deduction theorems for the propositional calculi (Q1211481) (← links)
- Dual counterparts of Lukasiewicz's sentential calculi (Q1214908) (← links)
- Interpretations of classical implicational sentential calculus in nonclassical implicational calculi (Q1218834) (← links)
- Many-valued logic and mixed integer programming (Q1924752) (← links)
- On the closure properties of the class of full G-models of a deductive system (Q2433101) (← links)
- Consequence and Degrees of Truth in Many-Valued Logic (Q2948586) (← links)
- From many-valued consequence to many-valued connectives (Q6088601) (← links)