Andrzej Indrzejczak
- Bisequent Calculi for Neutral Free Logic with Definite Descriptions
2024/12/02 by Andrzej Indrzejczak, Indrzejczak, Andrzej, Yaroslav Petrukhin +1 · 1 citation
Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #semigroups and automata theory