TY  - RPRT
TI  - Nontrivial single axiom schemata and their quasi-nontriviality of Leśniewski-Ishimoto's propositional ontology $\bf L_1$
AU  - Takao Inoué
AU  - Tadayoshi Miwa
PY  - 2025
UR  - https://arxiv.org/abs/2402.07030
ID  - 2402.07030
ER  -