Volume: Vol-3875 ARQNL 2024 | Year: 2024

Paper: « ARQNL2024_paper4 | ARQNL2024_paper5 | ARQNL2024_paper6 »

Bisequent Calculi for Neutral Free Logic with Definite Descriptions

• Andrzej Indrzejczak ORCID dblp
• Yaroslav I. Petrukhin ORCID dblp

48-61 PDF