Document Search Results

An abstract look at the fixed-point theorem for provability logic. (English) Zbl 07920706

Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 75-88 (2024).

MSC: 03B20 03B45 03F45

Cite Review PDF

Full Text: DOI

Kim, Gene Louis; Juvekar, Mandar; Ekmekciu, Junis; Duong, Viet; Schubert, Lenhart

Monotonic inference with unscoped episodic logical forms: from principles to system. (English) Zbl 07847927

J. Logic Lang. Inf. 33, No. 1, 69-88 (2024).

MSC: 03-XX 68-XX

Cite Review PDF

Full Text: DOI

de Groote, Philippe

Deriving formal semantic representations from dependency structures. (English) Zbl 1542.03047

Bekki, Daisuke (ed.) et al., Logic and engineering of natural language semantics. 19th international conference, LENLS19, Tokyo, Japan, November 19–21, 2022. Revised selected papers. Springer. Lect. Notes Comput. Sci. 14213, 157-172 (2023).

MSC: 03B65 91F20

Cite Review PDF

Full Text: DOI

van Benthem, Johan; Icard, Thomas

Interleaving logic and counting. (English) Zbl 07808884

Bull. Symb. Log. 29, No. 4, 503-587 (2023).

MSC: 03A05 03B45 03B65 03B70

Cite Review PDF

Full Text: DOI

Gierasimczuk, Nina; Kalociński, Dariusz; Rakowski, Franciszek; Uszyński, Jakub

Convexity and monotonicity in language coordination: simulating the emergence of semantic universals in populations of cognitive agents. (English) Zbl 07753643

J. Logic Lang. Inf. 32, No. 4, 569-600 (2023).

MSC: 03-XX 68-XX

Cite Review PDF

Full Text: DOI

OA License

Gillies, Anthony S.

On Groenendijk and Stokhof’s “Dynamic predicate logic”. (English) Zbl 1530.03123

McNally, Louise (ed.) et al., A reader’s guide to classic papers in formal semantics. Volume 100 of Studies in Linguistics and Philosophy. Cham: Springer. Stud. Linguist. Philos. 100, 121-153 (2022).

MSC: 03B65 03B70

Cite Review PDF

Full Text: DOI

Zuber, Richard

On the logical expressive power of natural languages. (English) Zbl 1543.03066

Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 657-673 (2022).

MSC: 03B65

Cite Review PDF

Full Text: DOI

Rott, Hans

Difference-making conditionals and the relevant Ramsey test. (English) Zbl 1529.03137

Rev. Symb. Log. 15, No. 1, 133-164 (2022).

MSC: 03B42

Cite Review PDF

Full Text: DOI

van Benthem, Johan; Westerståhl, Dag

Generalized quantifiers meet modal neighborhood semantics. (English) Zbl 07442313

Madarász, Judit (ed.) et al., Hajnal Andréka and István Németi on unity of science. From computing to relativity theory through algebraic logic. Cham: Springer. Outst. Contrib. Log. 19, 187-206 (2021).

MSC: 03B45 03C80

Cite Review PDF

Full Text: DOI Link

Andreasen, Troels; Bulskov, Henrik; Nilsson, Jørgen Fischer

On the design of a natural logic system for knowledge bases. (English) Zbl 1507.68302

Helic, Denis (ed.) et al., Foundations of intelligent systems. 25th international symposium, ISMIS 2020, Graz, Austria, September 23–25, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12117, 413-421 (2020).

MSC: 68T30 68T27

Cite Review PDF

Full Text: DOI Link

Wybraniec-Skardowska, Urszula

What is the sense in logic and philosophy of language. (English) Zbl 1462.03015

Bull. Sect. Log., Univ. Łódź, Dep. Log. 49, No. 2, 185-211 (2020).

Reviewer: Edoardo Rivello (Torino)

MSC: 03B65 03A05

Cite Review PDF

Full Text: DOI

OA License

Chow, Ka-fat

A revised projectivity calculus for inclusion and exclusion reasoning. (English) Zbl 1477.03108

J. Logic Lang. Inf. 29, No. 2, 163-195 (2020).

MSC: 03B65

Cite Review PDF

Full Text: DOI

Stojnić, Una

Content in a dynamic context. (English) Zbl 1448.03005

Nôus 53, No. 2, 394-432 (2019).

MSC: 03A05 03B65

Cite Review PDF

Full Text: DOI

Wybraniec-Skardowska, Urszula

Categories of first-order quantifiers. (English) Zbl 1522.03106

Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser. Stud. Univers. Log., 763-777 (2018).

MSC: 03C07 03A05 03H05

Cite Review PDF

Full Text: DOI Link

Buszkowski, Wojciech

Categorial grammars and their logics. (English) Zbl 1522.03096

Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser. Stud. Univers. Log., 91-115 (2018).

MSC: 03B65 03B47

Cite Review PDF

Full Text: DOI

Kalociński, Dariusz; Mostowski, Marcin; Gierasimczuk, Nina

Interactive semantic alignment model: social influence and local transmission bottleneck. (English) Zbl 1419.91572

J. Logic Lang. Inf. 27, No. 3, 225-253 (2018).

MSC: 91F20 91D99

Cite Review PDF

Full Text: DOI

OA License

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 Review PDF

Full Text: DOI

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 Review PDF

Full Text: DOI Link

Rothschild, Daniel; Yalcin, Seth

On the dynamics of conversation. (English) Zbl 1436.03073

Nôus 51, No. 1, 24-48 (2017).

MSC: 03A05 03B65

Cite Review PDF

Full Text: DOI

Steinert-Threlkeld, Shane

Some properties of iterated languages. (English) Zbl 1396.03083

J. Logic Lang. Inf. 25, No. 2, 191-213 (2016).

MSC: 03D05 03C80 68Q45

Cite Review PDF

Full Text: DOI

Willer, Malte

An update on epistemic modals. (English) Zbl 1354.03034

J. Philos. Log. 44, No. 6, 835-849 (2015).

MSC: 03B65 03B45

Cite Review PDF

Full Text: DOI

Alshawi, Hiyan; Chang, Pi-Chuan; Ringgaard, Michael

Deterministic statistical mapping of sentences to underspecified semantics. (English) Zbl 1535.68403

Bunt, Harry (ed.) et al., Computing meaning. Volume 4. Dordrecht: Springer. Text Speech Lang. Technol. 47, 13-25 (2014).

MSC: 68T50 68T27 91F20

Cite Review PDF

Full Text: DOI

George, Benjamin R.

Some remarks on certain trivalent accounts of presupposition projection. (English) Zbl 1398.03149

J. Appl. Non-Class. Log. 24, No. 1-2, 86-117 (2014).

MSC: 03B65

Cite Review PDF

Full Text: DOI

Isaac, Alistair M. C.; Szymanik, Jakub; Verbrugge, Rineke

Logic and complexity in cognitive science. (English) Zbl 1319.91136

Baltag, Alexandru (ed.) et al., Johan van Benthem on logic and information dynamics. Cham: Springer (ISBN 978-3-319-06024-8/hbk; 978-3-319-06025-5/ebook). Outstanding Contributions to Logic 5, 787-824 (2014).

MSC: 91E99 03B65 03B80 91E10 91-02 68T27 68T50 68Q25

Cite Review PDF

Full Text: DOI Link

van Benthem, Johan

Natural language and logic of agency. (English) Zbl 1305.03033

J. Logic Lang. Inf. 23, No. 3, 367-382 (2014).

MSC: 03B65

Cite Review PDF

Full Text: DOI

Robaldo, Livio; Szymanik, Jakub; Meijering, Ben

On the identification of quantifiers’ witness sets: a study of multi-quantifier sentences. (English) Zbl 1305.03030

J. Logic Lang. Inf. 23, No. 1, 53-81 (2014).

MSC: 03B65 91F20

Cite Review PDF

Full Text: DOI

Starr, William B.

A uniform theory of conditionals. (English) Zbl 1318.03044

J. Philos. Log. 43, No. 6, 1019-1064 (2014).

MSC: 03B65

Cite Review PDF

Full Text: DOI Link

Stokke, Andreas

Truth and context change. (English) Zbl 1341.03009

J. Philos. Log. 43, No. 1, 33-51 (2014).

MSC: 03A05

Cite Review PDF

Full Text: DOI

Nilsson, Jørgen Fischer

Diagrammatic reasoning with classes and relationships. (English) Zbl 1401.03029

Moktefi, Amirouche (ed.) et al., Visual reasoning with diagrams. Basel: Birkhäuser/Springer (ISBN 978-3-0348-0599-5/pbk; 978-3-0348-0600-8/ebook). Studies in Universal Logic, 83-100 (2013).

MSC: 03B10 03B70 03B65 68T30 68T27

Cite Review PDF

Full Text: DOI

Schlotterbeck, Fabian; Bott, Oliver

Easy solutions for a hard problem? The computational complexity of reciprocals with quantificational antecedents. (English) Zbl 1305.68094

J. Logic Lang. Inf. 22, No. 4, 363-390 (2013).

MSC: 68Q17 91F20

Cite Review PDF

Full Text: DOI

van Rooij, Robert; de Jager, Tikitu

Explaining quantity implicatures. (English) Zbl 1305.91211

J. Logic Lang. Inf. 21, No. 4, 461-477 (2012).

MSC: 91F20 91A28 91A80

Cite Review PDF

Full Text: DOI

OA License

Smessaert, Hans

The classical Aristotelian hexagon versus the modern duality hexagon. (English) Zbl 1280.03009

Log. Univers. 6, No. 1-2, 171-199 (2012).

MSC: 03B10 03B45 03B65 03G05

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 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 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 Review PDF

Full Text: DOI

Gierasimczuk, Nina; Szymanik, Jakub

Invariance properties of quantifiers and multiagent information exchange. (English) Zbl 1348.68258

Kanazawa, Makoto (ed.) et al., The mathematics of language. 12th biennial conference, MOL 12, Nara, Japan, September 6–8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23210-7/pbk). Lecture Notes in Computer Science 6878. Lecture Notes in Artificial Intelligence, 72-89 (2011).

MSC: 68T42 03B42 68T27

Cite Review PDF

Full Text: DOI

Robaldo, Livio

Distributivity, collectivity, and cumulativity in terms of (in)dependence and maximality. (English) Zbl 1234.03015

J. Logic Lang. Inf. 20, No. 2, 233-271 (2011).

MSC: 03B65

Cite Review PDF

Full Text: DOI

Moss, Lawrence S.

Logics for two fragments beyond the syllogistic boundary. (English) Zbl 1287.03066

Blass, Andreas (ed.) et al., Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-15024-1/pbk). Lecture Notes in Computer Science 6300, 538-564 (2010).

MSC: 03B65 03B25 68T50

Cite Review PDF

Full Text: DOI

Robaldo, Livio

Interpretation and inference with maximal referential terms. (English) Zbl 1203.03044

J. Comput. Syst. Sci. 76, No. 5, 373-388 (2010).

MSC: 03B65

Cite Review PDF

Full Text: DOI

Moortgat, Michael

Symmetric categorial grammar. (English) Zbl 1197.03022

J. Philos. Log. 38, No. 6, 681-710 (2009).

MSC: 03B47 03B40 03B65

Cite Review PDF

Full Text: DOI

Gierasimczuk, Nina

Identification through inductive verification. Application to monotone quantifiers. (English) Zbl 1236.03025

Bosch, Peter (ed.) et al., Logic, language, and computation. 7th international Tbilisi symposium on logic, language, and computation, TbiLLC 2007, Tbilisi, Georgia, October 1–5, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-642-00664-7/pbk). Lecture Notes in Computer Science 5422. Lecture Notes in Artificial Intelligence, 193-205 (2009).

MSC: 03B65 68T50 91F20

Cite Review PDF

Full Text: DOI

Nishiguchi, Sumiyo

Quantifiers in Japanese. (English) Zbl 1236.91120

Bosch, Peter (ed.) et al., Logic, language, and computation. 7th international Tbilisi symposium on logic, language, and computation, TbiLLC 2007, Tbilisi, Georgia, October 1–5, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-642-00664-7/pbk). Lecture Notes in Computer Science 5422. Lecture Notes in Artificial Intelligence, 153-164 (2009).

MSC: 91F20 03B65

Cite Review PDF

Full Text: DOI

Wybraniec-Skardowska, Urszula

On meta-knowledge and truth. (English) Zbl 1162.03007

Makinson, David (ed.) et al., Towards mathematical philosophy. Papers from the Studia Logica conference Trends in Logic IV, Toruń, Poland, September 1–4, 2006. Berlin: Springer (ISBN 978-1-4020-9083-7/hbk; 978-1-4020-9084-4/e-book). Trends in Logic–Studia Logica Library 28, 319-343 (2009).

MSC: 03A05 03B65

Cite Review PDF

Full Text: DOI

Schlenker, Philippe

Anti-dynamics: Presupposition projection without dynamic semantics. (English) Zbl 1160.03309

J. Logic Lang. Inf. 16, No. 3, 325-356 (2007).

MSC: 03B65 68T50

Cite Review PDF

Full Text: DOI

Zuber, R.

Symmetric and contrapositional quantifiers. (English) Zbl 1160.03311

J. Logic Lang. Inf. 16, No. 1, 1-13 (2007).

MSC: 03B65 03C80

Cite Review PDF

Full Text: DOI

Schlenker, P.

The elimination of self-reference: Generalized Yablo-series and the theory of truth. (English) Zbl 1121.03012

J. Philos. Log. 36, No. 3, 251-307 (2007).

MSC: 03A05

Cite Review PDF

Full Text: DOI

Ben-Avi, Gilad; Winter, Yoad

A characterization of monotonicity with collective quantifiers. (English) Zbl 1263.03023

Moss, Lawrence S. (ed.) et al., Proceedings of the joint meeting of the 6th conference on formal grammar and the 7th conference on mathematics of language, Helsinki, Finland, August 10–12, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 53, 21-33 (2004).

MSC: 03B65

Cite Review PDF

Full Text: DOI

Väänänen, Jouko; Westerståhl, Dag

On the expressive power of monotone natural language quantifiers over finite models. (English) Zbl 1014.03034

J. Philos. Log. 31, No. 4, 327-358 (2002).

MSC: 03B65 03C80 03C13

Cite Review PDF

Full Text: DOI

Mostowski, Marcin

Computational semantics for monadic quantifiers. (English) Zbl 0920.03044

J. Appl. Non-Class. Log. 8, No. 1-2, 107-121 (1998).

Reviewer: D.Mundici (Milano)

MSC: 03C13 03C80 03D05 03-02

Cite Review PDF

Full Text: DOI

Buszkowski, Wojciech

Algebraic structures in categorial grammar. (English) Zbl 0902.68108

Theor. Comput. Sci. 199, No. 1-2, 5-24 (1998).

MSC: 68Q42

Cite Review PDF

Full Text: DOI

Schwartz, Daniel G.

Dynamic reasoning with qualified syllogisms. (English) Zbl 1017.03516

Artif. Intell. 93, No. 1-2, 103-167 (1997).

MSC: 03B70 03B60 68T37

Cite Review PDF

Full Text: DOI

Sher, G. Y.

Did Tarski commit “Tarski’s fallacy”? (English) Zbl 0859.03003

J. Symb. Log. 61, No. 2, 653-686 (1996).

Reviewer: J.Mackenzie (Sydney)

MSC: 03A05 00A30

Cite Review PDF

Full Text: DOI Link

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 Review PDF

Full Text: DOI

Wansing, Heinrich

Informational interpretation of substructural propositional logics. (English) Zbl 0795.03014

J. Logic Lang. Inf. 2, No. 4, 285-308 (1993).

Reviewer: H.Wansing (Leipzig)

MSC: 03B20 03B47 03B53

Cite Review PDF

Full Text: DOI

van der Hoek, Wiebe; de Rijke, Maarten

Generalized quantifiers and modal logic. (English) Zbl 0797.03014

J. Logic Lang. Inf. 2, No. 1, 19-58 (1993).

Reviewer: M.Zakharyashev (Moskva)

MSC: 03B45 03C80

Cite Review PDF

Full Text: DOI

Keenan, Edward L.

Natural language, sortal reducibility and generalized quantifiers. (English) Zbl 0783.03011

J. Symb. Log. 58, No. 1, 314-325 (1993).

MSC: 03B65

Cite Review PDF

Full Text: DOI

van Benthem, Johan

Language in action. (English) Zbl 0743.03018

J. Philos. Log. 20, No. 3, 225-263 (1991).

Reviewer: N.Curteanu (Iaşi)

MSC: 03B65 03B70 68T50

Cite Review PDF

Full Text: DOI

van der Does, Jaap

A generalized quantifier logic for naked infinitives. (English) Zbl 0737.03005

Linguist. Philos. 14, No. 3, 241-294 (1991).

Reviewer: V.Shekhtman (Moskva)

MSC: 03B65 03C80

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 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 Review PDF

Full Text: DOI

European summer meeting of the Association for Symbolic Logic. Logic Colloquium ’87. (English) Zbl 0699.03002

J. Symb. Log. 54, No. 2, 647-672 (1989).

MSC: 03-06

Cite Review PDF

Full Text: DOI

van Benthem, Johan

Polyadic quantifiers. (English) Zbl 0684.03008

Linguist. Philos. 12, No. 4, 437-464 (1989).

Reviewer: V.Shekhtman

MSC: 03B65 03C80 68Q45 03B40 03B99

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 Review PDF

Full Text: DOI

Found 63 Documents (Results 1–63)

An abstract look at the fixed-point theorem for provability logic. (English) Zbl 07920706

Monotonic inference with unscoped episodic logical forms: from principles to system. (English) Zbl 07847927

Deriving formal semantic representations from dependency structures. (English) Zbl 1542.03047

Interleaving logic and counting. (English) Zbl 07808884

Convexity and monotonicity in language coordination: simulating the emergence of semantic universals in populations of cognitive agents. (English) Zbl 07753643

On Groenendijk and Stokhof’s “Dynamic predicate logic”. (English) Zbl 1530.03123

On the logical expressive power of natural languages. (English) Zbl 1543.03066

Difference-making conditionals and the relevant Ramsey test. (English) Zbl 1529.03137

Generalized quantifiers meet modal neighborhood semantics. (English) Zbl 07442313

On the design of a natural logic system for knowledge bases. (English) Zbl 1507.68302

What is the sense in logic and philosophy of language. (English) Zbl 1462.03015

A revised projectivity calculus for inclusion and exclusion reasoning. (English) Zbl 1477.03108

Content in a dynamic context. (English) Zbl 1448.03005

Categories of first-order quantifiers. (English) Zbl 1522.03106

Categorial grammars and their logics. (English) Zbl 1522.03096

Interactive semantic alignment model: social influence and local transmission bottleneck. (English) Zbl 1419.91572

Equivalences among polarity algorithms. (English) Zbl 1437.03112

Sameness. (English) Zbl 1429.03130

On the dynamics of conversation. (English) Zbl 1436.03073

Some properties of iterated languages. (English) Zbl 1396.03083

An update on epistemic modals. (English) Zbl 1354.03034

Deterministic statistical mapping of sentences to underspecified semantics. (English) Zbl 1535.68403

Some remarks on certain trivalent accounts of presupposition projection. (English) Zbl 1398.03149

Logic and complexity in cognitive science. (English) Zbl 1319.91136

Natural language and logic of agency. (English) Zbl 1305.03033

On the identification of quantifiers’ witness sets: a study of multi-quantifier sentences. (English) Zbl 1305.03030

A uniform theory of conditionals. (English) Zbl 1318.03044

Truth and context change. (English) Zbl 1341.03009

Diagrammatic reasoning with classes and relationships. (English) Zbl 1401.03029

Easy solutions for a hard problem? The computational complexity of reciprocals with quantificational antecedents. (English) Zbl 1305.68094

Explaining quantity implicatures. (English) Zbl 1305.91211

The classical Aristotelian hexagon versus the modern duality hexagon. (English) Zbl 1280.03009

A generalized syllogistic inference system based on inclusion and exclusion relations. (English) Zbl 1252.03071

The soundness of internalized polarity marking. (English) Zbl 1272.03133

Inclusion and exclusion in natural language. (English) Zbl 1272.03131

Invariance properties of quantifiers and multiagent information exchange. (English) Zbl 1348.68258

Distributivity, collectivity, and cumulativity in terms of (in)dependence and maximality. (English) Zbl 1234.03015

Logics for two fragments beyond the syllogistic boundary. (English) Zbl 1287.03066

Interpretation and inference with maximal referential terms. (English) Zbl 1203.03044

Symmetric categorial grammar. (English) Zbl 1197.03022

Identification through inductive verification. Application to monotone quantifiers. (English) Zbl 1236.03025

Quantifiers in Japanese. (English) Zbl 1236.91120

On meta-knowledge and truth. (English) Zbl 1162.03007

Anti-dynamics: Presupposition projection without dynamic semantics. (English) Zbl 1160.03309

Symmetric and contrapositional quantifiers. (English) Zbl 1160.03311

The elimination of self-reference: Generalized Yablo-series and the theory of truth. (English) Zbl 1121.03012

A characterization of monotonicity with collective quantifiers. (English) Zbl 1263.03023

On the expressive power of monotone natural language quantifiers over finite models. (English) Zbl 1014.03034

Computational semantics for monadic quantifiers. (English) Zbl 0920.03044

Algebraic structures in categorial grammar. (English) Zbl 0902.68108

Dynamic reasoning with qualified syllogisms. (English) Zbl 1017.03516

Did Tarski commit “Tarski’s fallacy”? (English) Zbl 0859.03003

Directions in generalized quantifier theory. (English) Zbl 0840.03029

Informational interpretation of substructural propositional logics. (English) Zbl 0795.03014

Generalized quantifiers and modal logic. (English) Zbl 0797.03014

Natural language, sortal reducibility and generalized quantifiers. (English) Zbl 0783.03011

Language in action. (English) Zbl 0743.03018

A generalized quantifier logic for naked infinitives. (English) Zbl 0737.03005

Categorial grammars determined from linguistic data by unification. (English) Zbl 0718.03020

On the eliminability of ideal linguistic entities. (English) Zbl 0704.03010

European summer meeting of the Association for Symbolic Logic. Logic Colloquium ’87. (English) Zbl 0699.03002

Polyadic quantifiers. (English) Zbl 0684.03008

Gaifman’s theorem on categorial grammars revisited. (English) Zbl 0664.03025

Filter Results by …

Document Type

Author

Serial

Year of Publication

Main Field

Software