Marcelino, Sérgio
- Some more theorems on structural entailment relations and non-deterministic semantics
2023/10/04 by Carlos Caleiro, Sérgio Marcelino, Caleiro, Carlos +3 · 1 citation
Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Rough Sets and Fuzzy Logic
- Axiomatizing the Logic of Ordinary Discourse
2024/05/06 by Vitor Greati, Greati, Vitor, Sérgio Marcelino +3 · 1 citation
Psychology · #03B22 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Language, Metaphor, and Cognition #Logic (math.LO) #Logic in Computer Science (cs.LO)