Authors: Kocsis, Zoltan A.

Subject Terms: Mathematics - Logic, Computer Science - Logic in Computer Science, 03F03 (Primary) 03B16, 03B20 (Secondary)

Relation: http://arxiv.org/abs/2310.03640

Availability: http://arxiv.org/abs/2310.03640

Authors: Berg, Benno van den, Otten, Daniël

Subject Terms: Mathematics - Logic, Computer Science - Logic in Computer Science, 03B38, 03B16, 03F55, 03F50, F.4.1

Relation: http://arxiv.org/abs/2308.15288

Availability: http://arxiv.org/abs/2308.15288

Authors: Zhuravlov, V. M.

Subject Terms: Mathematics - Logic, 03B16

Relation: http://arxiv.org/abs/2307.00069

Availability: http://arxiv.org/abs/2307.00069

Authors: Kivimaki, Siiri, Velickovic, Boban

Subject Terms: Mathematics - Logic, 03B16

Relation: http://arxiv.org/abs/2303.10759

Availability: http://arxiv.org/abs/2303.10759

Authors: Farmer, William M., Zvigelsky, Dennis Y.

Subject Terms: Logic in Computer Science cs.LO, Logic math.LO, FOS Computer and information sciences, FOS Mathematics, F.4.1, I.2.4, 03B38 Primary 03B16, 68V30 Secondary

Availability: https://doi.org/10.48550/arxiv.2312.05658
https://arxiv.org/abs/2312.05658

Authors: Maggesi, Marco, Brogi, Cosimo Perini

Subject Terms: Logic in Computer Science cs.LO, Logic math.LO, FOS Computer and information sciences, FOS Mathematics, F.4.1, I.2.3, 68V15 Primary 03F45, 03B16 Secondary

Relation: https://dx.doi.org/10.1007/s10817-023-09677-z

Availability: https://doi.org/10.48550/arxiv.2205.0365910.1007/s10817-023-09677-z
https://arxiv.org/abs/2205.03659

Authors: Galliani, Pietro

Subject Terms: Mathematics - Logic, 03B16, 03C85

Relation: http://arxiv.org/abs/2205.06466

Availability: http://arxiv.org/abs/2205.06466

Authors: Steen, Alexander, Fuenmayor, David

Subject Terms: Computer Science - Artificial Intelligence, 68T30 (Primary) 68T27, 03B45, 03B60, 03B16 (Secondary)

Relation: http://arxiv.org/abs/2209.05090

Availability: http://arxiv.org/abs/2209.05090

Authors: Steen, Alexander

Subject Terms: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, 68T30 (Primary) 68T27, 03B45, 03B60, 03B16 (Secondary)

Relation: http://arxiv.org/abs/2203.12352

Availability: http://arxiv.org/abs/2203.12352

Authors: Benzmüller, Christoph, Fuenmayor, David, Steen, Alexander, Sutcliffe, Geoff

Subject Terms: Mathematics - Logic, Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, Mathematics - History and Overview, 03B35, 03B10, 03B16, 68T27, 68T30, 03A05, 00A30, F.4.1, I.2.3, I.2.4

Relation: http://arxiv.org/abs/2208.06879

Availability: https://doi.org/10.1093/jigpal/jzac082
http://arxiv.org/abs/2208.06879

Authors: Kuusisto, Antti

Subject Terms: Mathematics - Logic, 03B16

Relation: http://arxiv.org/abs/2201.08353

Availability: http://arxiv.org/abs/2201.08353

Authors: Goodsell, Zachary, Yli-Vakkuri, Juhani

Subject Terms: Logic math.LO, FOS Mathematics, 03B16 Primary, 03-01, 03A05, 03B45 Secondary

Availability: https://doi.org/10.48550/arxiv.2401.11050
https://arxiv.org/abs/2401.11050

Authors: Raclavský, Jiří

Superior Title: Logic and Logical Philosophy; Vol. 31 No. 1 (2022): March; 105-141 ; Logic and Logical Philosophy; Tom 31 Nr 1 (2022): Marzec; 105-141 ; 2300-9802 ; 1425-3305

Subject Terms: existential generalisation, quantifying in, explicit substitution, hyperintensional logic, natural deduction in sequent style, 03B16, 03B38, 03B65

File Description: application/pdf

Relation: https://apcz.umk.pl/LLP/article/view/31855/30016; https://apcz.umk.pl/LLP/article/view/31855

Availability: https://apcz.umk.pl/LLP/article/view/31855

Authors: Steen, Alexander, Fuenmayor, David

Subject Terms: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, 68T01 68T27 68T30 03B16 03B35 03B70, I.2.3, F.4.1, I.2.4

Relation: http://arxiv.org/abs/2110.09174

Availability: http://arxiv.org/abs/2110.09174

Authors: Bordg, Anthony, Paulson, Lawrence, Li, Wenda

Subject Terms: Mathematics - Algebraic Geometry, Computer Science - Logic in Computer Science, Mathematics - Logic, 14A15, 03B16, 03B35, 68V20, G.m

Time: 14-04

Relation: http://arxiv.org/abs/2104.09366; Experimental Mathematics, 31:2 (2022), 364-382

Availability: https://doi.org/10.1080/10586458.2022.2062073
http://arxiv.org/abs/2104.09366

Authors: Benzmüller, Christoph, Fuenmayor, David, Lomfeld, Bertram

Subject Terms: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, 68T01 68T27 68T30 03Axx 03B16 03B35 03B45 03B60 03B70, I.2.0, I.2.3, I.2.4, J.1

Relation: http://arxiv.org/abs/2006.12789

Availability: http://arxiv.org/abs/2006.12789

Authors: Martina, Antoine, Steen, Alexander

Subject Terms: Logic in Computer Science cs.LO, Artificial Intelligence cs.AI, FOS Computer and information sciences, I.2.3, I.2.4, F.4.1, 68T27, 68V15, 03B16

Availability: https://doi.org/10.48550/arxiv.2312.08375
https://arxiv.org/abs/2312.08375

Index Terms: Computer Science - Artificial Intelligence, 68T30 (Primary) 68T27, 03B45, 03B60, 03B16 (Secondary), text

URL: http://arxiv.org/abs/2209.05090

Index Terms: Mathematics - Logic, Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, Mathematics - History and Overview, 03B35, 03B10, 03B16, 68T27, 68T30, 03A05, 00A30, F.4.1, I.2.3, I.2.4, text

URL: http://arxiv.org/abs/2208.06879

Index Terms: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, 68T30 (Primary) 68T27, 03B45, 03B60, 03B16 (Secondary), text

URL: http://arxiv.org/abs/2203.12352