The following pages link to Joan Gispert i Brasó (Q1306834):
Displaying 19 items.
- (Q723256) (redirect page) (← links)
- Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic (Q723257) (← links)
- Axiomatic extensions of IMT3 logic (Q817693) (← links)
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results (Q876491) (← links)
- Boolean representation of bounded BCK-algebras (Q934913) (← links)
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
- Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics (Q1306836) (← links)
- Quasivarieties generated by simple MV-algebras (Q1580663) (← links)
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic (Q1612690) (← links)
- Least \(V\)-quasivarieties of MV-algebras (Q1697351) (← links)
- Finitary extensions of the nilpotent minimum logic and (almost) structural completeness (Q1790605) (← links)
- Structural completeness in many-valued logics with rational constants (Q2080696) (← links)
- Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops (Q2573726) (← links)
- MV-algebras: a variety for magnitudes with archimedean units (Q2577712) (← links)
- Maximality in finite-valued Łukasiewicz logics defined by order filters (Q3120209) (← links)
- Bounded BCK-algebras and their generated variety (Q3437044) (← links)
- Lattice BCK logics with Modus Ponens as unique rule (Q5419214) (← links)
- On Some Varieties of MTL-algebras (Q5703740) (← links)
- ALGEBRAIC EXPANSIONS OF LOGICS (Q5879177) (← links)
