Folgen
Guillermo Badia
Guillermo Badia
School of Historical and Philosophical Inquiry, University of Queensland
Bestätigte E-Mail-Adresse bei uq.edu.au - Startseite
Titel
Zitiert von
Zitiert von
Jahr
What is an inconsistent truth table?
Z Weber, G Badia, P Girard
Australasian Journal of Philosophy 94 (3), 533-548, 2016
492016
Bi-simulating in bi-intuitionistic logic
G Badia
Studia Logica 104 (5), 1037-1050, 2016
152016
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
122019
A substructural logic for inconsistent mathematics
G Badia, Z Weber
Dialetheism and its Applications, 155-176, 2019
82019
Fraïssé classes of graded relational structures
G Badia, C Noguera
Theoretical Computer Science 737, 81-90, 2018
82018
Currying omnipotence: A reply to Beall and Cotnoir
A Tedder, G Badia
Thought: A Journal of Philosophy 7 (2), 119-121, 2018
72018
On Sahlqvist formulas in relevant logic
G Badia
Journal of Philosophical Logic 47 (4), 673-691, 2018
62018
A general omitting types theorem in mathematical fuzzy logic
G Badia, C Noguera
IEEE Transactions on Fuzzy Systems 29 (6), 1386-1394, 2020
52020
Frame definability in finitely valued modal logics
G Badia, X Caicedo, C Noguera
Annals of Pure and Applied Logic 174 (7), 103273, 2023
42023
Paraconsistent metatheory: new proofs with old tools
G Badia, Z Weber, P Girard
Journal of Philosophical Logic 51 (4), 825-856, 2022
42022
Saturated models in mathematical fuzzy logic
G Badia, C Noguera
2018 IEEE 48th International Symposium on Multiple-Valued Logic (ISMVL), 150-155, 2018
42018
The relevant fragment of first order logic
G Badia
The Review of Symbolic Logic 9 (1), 143-166, 2016
42016
Saturated models of first-order many-valued logics
G Badia, C Noguera
Logic Journal of the IGPL 30 (1), 1-20, 2022
32022
Maximality of bi-intuitionistic propositional logic
G Olkhovikov, G Badia
Journal of Logic and Computation 32 (1), 1-31, 2022
32022
A 0-1 Law in Mathematical Fuzzy Logic
G Badia, C Noguera
IEEE Transactions on Fuzzy Systems 30 (9), 3833-3840, 2021
32021
Lindström theorems in graded model theory
G Badia, C Noguera
Annals of Pure and Applied Logic 172 (3), 102916, 2021
32021
On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions
G Badia, J Marcos
Algebra universalis 79, 1-14, 2018
32018
A Remark on Maksimova's Variable Separation Property in Super-Bi-Intuitionistic Logics
G Badia
The Australasian Journal of Logic 14 (1), 2017
32017
Asymptotic truth-value laws in many-valued logics
G Badia, X Caicedo, C Noguera
arXiv preprint arXiv:2306.13904, 2023
22023
Maximality of logic without identity
G Badia, X Caicedo, C Noguera
The Journal of Symbolic Logic, 1-16, 2023
22023
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20