Articles with public access mandates - Guillermo BadiaLearn more
Available somewhere: 21
Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic
G Badia, V Costa, P Dellunde, C Noguera
Soft Computing 23, 2177-2186, 2019
Mandates: Austrian Science Fund, Banking Foundation "la Caixa", European Commission …
Fraïssé classes of graded relational structures
G Badia, C Noguera
Theoretical Computer Science 737, 81-90, 2018
Mandates: Austrian Science Fund, European Commission
Currying omnipotence: A reply to Beall and Cotnoir
A Tedder, G Badia
Thought: A Journal of Philosophy 7 (2), 119-121, 2018
Mandates: Austrian Science Fund
Frame definability in finitely valued modal logics
G Badia, X Caicedo, C Noguera
Annals of Pure and Applied Logic 174 (7), 103273, 2023
Mandates: Australian Research Council, European Commission
Paraconsistent metatheory: new proofs with old tools
G Badia, Z Weber, P Girard
Journal of Philosophical Logic 51 (4), 825-856, 2022
Mandates: Australian Research Council
On Sahlqvist formulas in relevant logic
G Badia
Journal of Philosophical Logic 47 (4), 673-691, 2018
Mandates: Austrian Science Fund
Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
D Găină, G Badia, T Kowalski
Annals of Pure and Applied Logic 174 (3), 103212, 2023
Mandates: Australian Research Council
A general omitting types theorem in mathematical fuzzy logic
G Badia, C Noguera
IEEE Transactions on Fuzzy Systems 29 (6), 1386-1394, 2020
Mandates: Austrian Science Fund
Lindström theorems in graded model theory
G Badia, C Noguera
Annals of Pure and Applied Logic 172 (3), 102916, 2021
Mandates: European Commission
Saturated models in mathematical fuzzy logic
G Badia, C Noguera
2018 IEEE 48th International Symposium on Multiple-Valued Logic (ISMVL), 150-155, 2018
Mandates: Austrian Science Fund, European Commission
Maximality of bi-intuitionistic propositional logic
G Olkhovikov, G Badia
Journal of Logic and Computation 32 (1), 1-31, 2022
Mandates: German Research Foundation
A 0-1 Law in Mathematical Fuzzy Logic
G Badia, C Noguera
IEEE Transactions on Fuzzy Systems 30 (9), 3833-3840, 2021
Mandates: Australian Research Council, European Commission
A Lindström theorem for intuitionistic propositional logic
G Badia, G Olkhovikov
Mandates: Austrian Science Fund, German Research Foundation
On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions
G Badia, J Marcos
Algebra universalis 79, 1-14, 2018
Mandates: Austrian Science Fund
Maximality of logic without identity
G Badia, X Caicedo, C Noguera
The Journal of Symbolic Logic 89 (1), 147-162, 2024
Mandates: European Commission
Relevant consequence relations: An invitation
G Badia, L Běhounek, P Cintula, A Tedder
The Review of Symbolic Logic, 1-31, 2022
Mandates: Australian Research Council
On elimination of quantifiers in some non‐classical mathematical theories
G Badia, A Tedder
Mathematical Logic Quarterly 64 (3), 140-154, 2018
Mandates: Austrian Science Fund
A Lindström theorem in many-valued modal logic over a finite MTL-chain
G Badia, G Olkhovikov
Fuzzy Sets and Systems 388, 26-37, 2020
Mandates: Austrian Science Fund, German Research Foundation
Variable sharing in substructural logics: an algebraic characterization
G Badia
Wydawnictwo Uniwersytetu Łódzkiego, 2018
Mandates: Austrian Science Fund
Infinitary propositional relevant languages with absurdity
G Badia
The Review of Symbolic Logic 10 (4), 663-681, 2017
Mandates: Austrian Science Fund
Publication and funding information is determined automatically by a computer program