- A separation theorem for discrete-time interval temporal logic
- A categorical approach to graded fuzzy topological system and fuzzy geometric logic with graded consequence
- Avicenna: a challenge dataset for natural language generation toward commonsense syllogistic reasoning
- Representing voting rules in Łukasiewicz’s three-valued logic
- Non-commutative propositional logic with short-circuit evaluation
- Infectious and transparent emotivism
- Formal explanations as logical derivations
- Most-intersection of countable sets
- On the modal interpretation of the connective of realisation
- Substitution inconsistencies in Transparent Intensional Logic
- Copy and remove as dynamic operators
- Natural implicative expansions of variants of Kleene’s strong 3-valued logic with Gödel-type and dual Gödel-type negation
- Two pretabular linear extensions of relevance logic R