Lavalle-Martínez, José-de-Jesús; Montes-y-Gómez, Manuel; Villaseñor-Pineda, Luis; Jiménez-Salazar, Héctor; Bárcenas-Patiño, Ismael-Everardo Equivalences among polarity algorithms. (English) Zbl 1437.03112 Stud. Log. 106, No. 2, 371-395 (2018). MSC: 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Baggio, Giosuè; Bremnes, Heming Strømholt Book review of: J. Szymanik, Quantifiers and cognition: logical and computational perspectives. (English) Zbl 1435.00011 Stud. Log. 105, No. 5, 1015-1019 (2017). MSC: 00A17 03-02 03B65 03C80 03D05 03A05 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Tarlecki, Andrzej Book review of: Răzvan Diaconescu, Institution-independent model theory. (English) Zbl 1290.00007 Stud. Log. 102, No. 1, 225-229 (2014). MSC: 00A17 03-02 03C95 03G30 × Cite Format Result Cite Review PDF Full Text: DOI
Rast, Erich Book review of: Jens Erik Fenstad, Grammar, geometry and brain. (English) Zbl 1290.00006 Stud. Log. 102, No. 1, 219-223 (2014). MSC: 00A17 03-02 03A05 92C20 × Cite Format Result Cite Review PDF Full Text: DOI
Mineshima, Koji; Okada, Mitsuhiro; Takemura, Ryo A generalized syllogistic inference system based on inclusion and exclusion relations. (English) Zbl 1252.03071 Stud. Log. 100, No. 4, 753-785 (2012). MSC: 03B65 03F05 × Cite Format Result Cite Review PDF Full Text: DOI
Moss, Lawrence S. The soundness of internalized polarity marking. (English) Zbl 1272.03133 Stud. Log. 100, No. 4, 683-704 (2012). MSC: 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Icard, Thomas F. III Inclusion and exclusion in natural language. (English) Zbl 1272.03131 Stud. Log. 100, No. 4, 705-725 (2012). MSC: 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Ciuni, Roberto; Zanardo, Alberto Completeness of a branching-time logic with possible choices. (English) Zbl 1216.03032 Stud. Log. 96, No. 3, 393-420 (2010). MSC: 03B44 × Cite Format Result Cite Review PDF Full Text: DOI
Zanardo, Alberto Quantification over sets of possible worlds in branching-time semantics. (English) Zbl 1103.03019 Stud. Log. 82, No. 3, 379-400 (2006). MSC: 03B44 × Cite Format Result Cite Review PDF Full Text: DOI
van Benthem, Johan; Westerståhl, Dag Directions in generalized quantifier theory. (English) Zbl 0840.03029 Stud. Log. 55, No. 3, 389-419 (1995). MSC: 03C80 03-02 03B65 68Q55 03B45 03F03 × Cite Format Result Cite Review PDF Full Text: DOI
Buszkowski, Wojciech; Penn, Gerald Categorial grammars determined from linguistic data by unification. (English) Zbl 0718.03020 Stud. Log. 49, No. 4, 431-454 (1990). MSC: 03B65 68T50 × Cite Format Result Cite Review PDF Full Text: DOI
Wybraniec-Skardowska, Urszula On the eliminability of ideal linguistic entities. (English) Zbl 0704.03010 Stud. Log. 48, No. 4, 587-615 (1989). Reviewer: Urszula Wybraniec-Skardowska MSC: 03B65 03A05 68T50 × Cite Format Result Cite Review PDF Full Text: DOI
Buszkowski, Wojciech Gaifman’s theorem on categorial grammars revisited. (English) Zbl 0664.03025 Stud. Log. 47, No. 1, 23-33 (1988). Reviewer: Z.Stachniak MSC: 03B65 03B99 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI