Pages that link to "Item:Q1110497"
From MaRDI portal
The following pages link to An axiomatization of the finite-valued Łukasiewicz calculus (Q1110497):
Displaying 17 items.
- Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3 (Q484107) (← links)
- Automated theorem proving for Łukasiewicz logics (Q687151) (← links)
- Finite axiomatizability in Łukasiewicz logic (Q716501) (← links)
- The completeness of the factor semantics for Łukasiewicz's infinite- valued logics (Q1208120) (← links)
- Finiteness in infinite-valued Łukasiewicz logic (Q1971778) (← links)
- Bounded contraction and Gentzen-style formulation of Łukasiewicz logics (Q2563461) (← links)
- Minimal sequent calculi for Lukasiewicz's finitely-valued logics (Q2810128) (← links)
- On a Method of Axiomatization of Some Propositional Calculi (Q3718688) (← links)
- Extending the Curry-Howard interpretation to linear, relevant and other resource logics (Q4032664) (← links)
- (Q4438118) (← links)
- Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions (Q4487257) (← links)
- Łukasiewicz and His Followers in Many-Valued Logic (Q4611677) (← links)
- Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss (Q4646655) (← links)
- (Q4836220) (← links)
- A geometric proof of the completeness of the Łukasiewicz calculus (Q4842633) (← links)
- Some problems concerning axiom systems for finitely many-valued propositional logics (Q6599632) (← links)
- On the Methods of Constructing Hilbert-type Axiom Systems for Finite-valued Propositional Logics of Łukasiewicz (Q6650476) (← links)