The following pages link to Joan Gispert i Brasó (Q1306834):
Displayed 28 items.
- Item:Q1306834 (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)
- On triangular norm based axiomatic extensions of the weak nilpotent minimum logic (Q3520229) (← links)
- (Q3614560) (← links)
- (Q4465174) (← links)
- (Q4787877) (← links)
- Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency (Q5020166) (← 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)
- Locally Finite Quasivarieties of MV-algebras (Q6251920) (← links)
- A note on bases of admissible rules of proper axiomatic extensions of Lukasiewicz logic (Q6268283) (← links)
- Algebraic expansions of logics and algebras and a case study of Abelian l-groups and perfect MV-algebras (Q6343088) (← links)
- Structural completeness in many-valued logics with rational constants (Q6374653) (← links)