Pages that link to "Item:Q716501"
From MaRDI portal
The following pages link to Finite axiomatizability in Łukasiewicz logic (Q716501):
Displaying 16 items.
- A finite axiomatization of the set of strongly valid Ockhamist formulas (Q1066884) (← links)
- Finite axiomatizability and theories with trivial algebraic closure (Q1183711) (← links)
- Degrees of maximality of Łukasiewicz-like sentential calculi (Q1239151) (← links)
- Polyhedral MV-algebras (Q1697339) (← links)
- Optimal axiomatizations of finitely valued logics (Q1854378) (← links)
- (Q3509050) (← links)
- Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic (Q3623218) (← links)
- (Q4390773) (← links)
- (Q4438118) (← links)
- (Q4700614) (← links)
- (Q4856958) (← links)
- Finitely inseparable first-order axiomatized mereotopological theories (Q4982517) (← links)
- THREE CHARACTERIZATIONS OF STRICT COHERENCE ON INFINITE-VALUED EVENTS (Q5117594) (← links)
- Invariant Measure Under the Affine Group Over (Q5410257) (← links)
- A novel algorithmic construction for deductions of categorical polysyllogisms by Carroll's diagrams (Q6089954) (← links)
- Unification in Łukasiewicz Logic with a Finite Number of Variables (Q6485187) (← links)