Indrzejczak, Andrzej
- Tableaux for Free Logics with Descriptions
2021/07/15 by Indrzejczak, Andrzej, Zawidzki, Michał · 1 citation
#03A05 (Secondary) #03B22 #03B35 (Primary) 03B10 #F.4.1 #FOS: Computer and information sciences #I.2.3 #I.2.4 #Logic in Computer Science (cs.LO)
- 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