Open AccessProof-Theoretical Analysis of Non-Fregean Logics
Author(s) -
Dorota Leszczyńska-Jasion,
Szymon Chlebowski,
Marta Gawek,
Agata Tomczyk,
Dawid D. Czech
Publication year - 2022
Publication title -
electronic proceedings in theoretical computer science
Language(s) - Uncategorized
Resource type - Journals
ISSN - 2075-2180
DOI - 10.4204/eptcs.358.0.14
Subject(s) - calculus (dental) , mathematics , medicine , dentistry