Dragalina-Chernaya, Elena Logical hylomorphism revisited: Aristotle, Tarski, and Corcoran. (English) Zbl 07918528 Madigan, Timothy J. (ed.) et al., Universal logic, ethics, and truth. Essays in honor of John Corcoran (1937–2021). Cham: Birkhäuser. Stud. Univers. Log., 109-118 (2024). MSC: 03A05 03C80 03A10 × Cite Format Result Cite Review PDF Full Text: DOI
Speitel, Sebastian G. W. Logical constants and arithmetical forms. (English) Zbl 1542.03027 Log. Log. Philos. 32, No. 3, 495-510 (2023). MSC: 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Sagi, Gil Extensionality and logicality. (English) Zbl 1507.03036 Synthese 198, Suppl. 5, S1095-S1119 (2021). MSC: 03A05 × Cite Format Result Cite Review PDF Full Text: DOI Link
Kennedy, Juliette; Väänänen, Jouko Logicality and model classes. (English) Zbl 1529.03193 Bull. Symb. Log. 27, No. 4, 385-414 (2021). MSC: 03C07 03A05 03C75 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Awodey, Steve Univalence as a principle of logic. (English) Zbl 1437.03168 Indag. Math., New Ser. 29, No. 6, 1497-1510 (2018). MSC: 03F50 03B38 55U35 18N40 × Cite Format Result Cite Review PDF Full Text: DOI
Bonnay, Denis; Engström, Fredrik Invariance and definability, with and without equality. (English) Zbl 1455.03003 Notre Dame J. Formal Logic 59, No. 1, 109-133 (2018). MSC: 03A05 03C75 03C80 03C40 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Euclid
Westerståhl, Dag Sameness. (English) Zbl 1429.03130 Jäger, Gerhard (ed.) et al., Feferman on foundations. Logic, mathematics, philosophy. Cham: Springer. Outst. Contrib. Log. 13, 449-467 (2017). MSC: 03B65 03C80 03C07 × Cite Format Result Cite Review PDF Full Text: DOI Link
Hodges, Wilfrid From choosing elements to choosing concepts: the evolution of Feferman’s work in model theory. (English) Zbl 1429.03005 Jäger, Gerhard (ed.) et al., Feferman on foundations. Logic, mathematics, philosophy. Cham: Springer. Outst. Contrib. Log. 13, 3-22 (2017). MSC: 03-03 03C40 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Awodey, Steve Carnap and the invariance of logical truth. (English) Zbl 1417.03003 Synthese 194, No. 1, 67-78 (2017). MSC: 03-03 03A05 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Griffiths, Owen; Paseau, A. C. Isomorphism invariance and overgeneration. (English) Zbl 1384.03032 Bull. Symb. Log. 22, No. 4, 482-503 (2016); corrigendum ibid. 23, No. 4, 546 (2017). MSC: 03A05 03B15 03B10 03C98 × Cite Format Result Cite Review PDF Full Text: DOI
Feferman, Solomon Which quantifiers are logical? A combined semantical and inferential criterion. (English) Zbl 1437.03020 Torza, Alessandro (ed.), Quantifiers, quantifiers, and quantifiers: themes in logic, metaphysics, and language. Cham: Springer. Synth. Libr. 373, 19-30 (2015). MSC: 03A05 03C80 × Cite Format Result Cite Review PDF Full Text: DOI
Andréka, Hajnal; van Benthem, Johan; Bezhanishvili, Nick; Németi, István Changing a semantics: opportunism or courage? (English) Zbl 1347.03014 Manzano, María (ed.) et al., The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer (ISBN 978-3-319-09718-3/pbk; 978-3-319-09719-0/ebook). Studies in Universal Logic, 307-337 (2014). MSC: 03B15 03C85 03C98 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Sher, Gila The foundational problem of logic. (English) Zbl 1405.03016 Bull. Symb. Log. 19, No. 2, 145-198 (2013). MSC: 03A05 × Cite Format Result Cite Review PDF Full Text: DOI Euclid Link
Bonnay, Denis; Westerståhl, Dag Consequence mining. Constants versus consequence relations. (English) Zbl 1272.03009 J. Philos. Log. 41, No. 4, 671-709 (2012). MSC: 03A05 03B22 × Cite Format Result Cite Review PDF Full Text: DOI