Guillermo Badia
Guillermo Badia
School of Historical and Philosophical Inquiry, University of Queensland
E-mail confirmado em uq.edu.au - Página inicial
Título
Citado por
Citado por
Ano
What is an inconsistent truth table?
Z Weber, G Badia, P Girard
Australasian Journal of Philosophy 94 (3), 533-548, 2016
262016
Bi-simulating in bi-intuitionistic logic
G Badia
Studia Logica 104 (5), 1037-1050, 2016
52016
Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic
G Badia, V Costa, P Dellunde, C Noguera
Soft computing 23 (7), 2177-2186, 2019
42019
Fraïssé classes of graded relational structures
G Badia, C Noguera
Theoretical Computer Science 737, 81-90, 2018
42018
Saturated Models in Mathematical Fuzzy Logic
G Badia, C Noguera
2018 IEEE 48th International Symposium on Multiple-Valued Logic (ISMVL), 150-155, 2018
42018
A General Omitting Types Theorem in Mathematical Fuzzy Logic
G Badia, C Noguera
IEEE Transactions on Fuzzy Systems, 2020
22020
The relevant fragment of first order logic
G Badia
The Review of Symbolic Logic 9 (1), 143-166, 2016
22016
Saturated models of first-order many-valued logics
G Badia, C Noguera
Logic Journal of the IGPL, 2020
12020
The Flip Teaching as Tool to Improving Students’ Sustainable Learning Performance in a Financial Course
P Bachiller, G Badía
Sustainability 12 (23), 9998, 2020
12020
A substructural logic for inconsistent mathematics
G Badia, Z Weber
Dialetheism and its Applications, 155-176, 2019
12019
On Sahlqvist formulas in relevant logic
G Badia
Journal of philosophical logic 47 (4), 673-691, 2018
12018
Currying Omnipotence: A Reply to Beall and Cotnoir
A Tedder, G Badia
Thought: A Journal of Philosophy 7 (2), 119-121, 2018
12018
On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions
G Badia, J Marcos
Algebra universalis 79 (2), 41, 2018
12018
A Remark on Maksimova's Variable Separation Property in Super-Bi-Intuitionistic Logics
G Badia
The Australasian Journal of Logic 14 (1), 2017
12017
Bi-intuitionistic logic has Maksimova’s variable separation property
G Badia
Personal communication, 2015
12015
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
2020
How Much Propositional Logic Suffices for Rosser’s Essential Undecidability Theorem?
G Badia, P Cintula, P Hajek, A Tedder
Review of Symbolic Logic, 2020
2020
A Lindström theorem for intuitionistic propositional logic
G Badia, G Olkhovikov
Notre Dame Journal of Formal Logic 61 (1), 11-30, 2020
2020
Incompactness of the A1 Fragment of Basic Second Order Propositional Relevant Logic
G Badia
The Australasian Journal of Logic 16 (1), 1-8, 2019
2019
Preservation theorems in graded model theory
G Badia, V Costa, P Dellunde, C Noguera
SYSMICS2019, 26, 2019
2019
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20