共 50 条
- [32] Towards Conceptual Modeling Semantics: Eventizing Tarski's Truth Schema [J]. INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2020, 20 (10): : 223 - 233
- [33] Normalisation and subformula property for a system of classical logic with Tarski’s rule [J]. Archive for Mathematical Logic, 2022, 61 : 105 - 129
- [36] The Enumerative Character Of Tarski's Definition Of Truth And Its General Character In A Tarskian System [J]. Synthese, 2001, 126 : 91 - 122
- [40] PROOF AND TRUTH - MATHEMATICAL LOGIC FOR NON-MATHEMATICIANS - WOODS,J [J]. PHILOSOPHICAL JOURNAL, 1976, 13 (02): : 125 - 126