Why Sometimes the King of France is Not Bald: Presupposition Denial Without Ambiguity Leonard Jay Clapp OriginalPaper 13 September 2024
Logical Models of Mathematical Texts: The Case of Conventions for Division by Zero Jan A. BergstraJohn V. Tucker OriginalPaper Open access 13 July 2024
Propositional Logic for Infinitive Sentences Nicola Spinelli OriginalPaper 03 July 2024 Pages: 197 - 234
Syllogistic Relevance and Term Logic J.-Martín Castro-Manzano OriginalPaper 28 June 2024 Pages: 89 - 105
Algebraic Completeness of Connexive and Bi-Intuitionistic Multilattice Logics Yaroslav Petrukhin OriginalPaper Open access 03 May 2024 Pages: 179 - 196
Rules of Explosion and Excluded Middle: Constructing a Unified Single-Succedent Gentzen-Style Framework for Classical, Paradefinite, Paraconsistent, and Paracomplete Logics Norihiro Kamide OriginalPaper 29 April 2024 Pages: 143 - 178
Expressive Power and Intensional Operators Pablo Cubides KovacsicsDavid Rey OriginalPaper Open access 24 April 2024 Pages: 107 - 141
Special Issue of Natural Logic Meets Machine Learning (NALOMA): Selected Papers from the First Three Workshops of NALOMA Aikaterini-Lida KalouliLasha AbzianidzeStergios Chatzikyriakidis EditorialNotes 12 December 2023 Pages: 1 - 7
Monotonic Inference with Unscoped Episodic Logical Forms: From Principles to System Gene Louis KimMandar JuvekarLenhart Schubert OriginalPaper 30 November 2023 Pages: 69 - 88
Capturing the Varieties of Natural Language Inference: A Systematic Survey of Existing Datasets and Two Novel Benchmarks Reto GubelmannIoannis KatisSiegfried Handschuh OriginalPaper Open access 20 November 2023 Pages: 21 - 48
Monotonicity Reasoning in the Age of Neural Foundation Models Zeming ChenQiyue Gao OriginalPaper Open access 15 November 2023 Pages: 49 - 68
Formal Modelling and Verification of Probabilistic Resource Bounded Agents Hoang Nga NguyenAbdur Rakib OriginalPaper Open access 15 November 2023 Pages: 829 - 859
Double Negation as Minimal Negation Satoru Niki OriginalPaper Open access 11 November 2023 Pages: 861 - 886
Assessing the Strengths and Weaknesses of Large Language Models Shalom Lappin OriginalPaper Open access 11 November 2023 Pages: 9 - 20
A Computational Algebraic Analysis of Hindi Syntax Alok DebanthManish Shrivastava OriginalPaper 11 November 2023 Pages: 759 - 776
Graph Grammar Formalism with Multigranularity for Spatial Graphs Yufeng LiuFan YangJian Liu OriginalPaper 06 October 2023 Pages: 809 - 827
A Logical Theory for Conditional Weak Ontic Necessity Based on Context Update Fengkui Ju OriginalPaper 21 September 2023 Pages: 777 - 807
Iterated AGM Revision Based on Probability Revision Sven Ove Hansson OriginalPaper Open access 20 August 2023 Pages: 657 - 675
Convexity and Monotonicity in Language Coordination: Simulating the Emergence of Semantic Universals in Populations of Cognitive Agents Nina GierasimczukDariusz KalocińskiJakub Uszyński OriginalPaper Open access 17 August 2023 Pages: 569 - 600
On the Fundamental Role of ‘Means That’ in Semantic Theorizing Teo GrünbergDavid GrünbergOğuz Akçelik OriginalPaper 07 July 2023 Pages: 601 - 656
Modified Numerals and Split Disjunction: The First-Order Case Maria AloniPeter van Ormondt OriginalPaper Open access 12 June 2023 Pages: 539 - 567
From Counterfactual Conditionals to Temporal Conditionals Yuichiro Hosokawa OriginalPaper Open access 03 June 2023 Pages: 677 - 706
Propositional Forms of Judgemental Interpretations Tao XueZhaohui LuoStergios Chatzikyriakidis OriginalPaper 03 May 2023 Pages: 733 - 758
Some Remarks on Semantics and Expressiveness of the Sentential Calculus with Identity Steffen Lewitzka OriginalPaper 30 March 2023 Pages: 441 - 471
Names and Quantifiers: Bringing Them Together in Classical Logic Jacek Paśniczek OriginalPaper Open access 10 March 2023 Pages: 473 - 487
On \({{{\mathcal {F}}}}\)-Systems: A Graph-Theoretic Model for Paradoxes Involving a Falsity Predicate and Its Application to Argumentation Frameworks Gustavo Bodanza OriginalPaper 16 February 2023 Pages: 373 - 393
Complexity of the Universal Theory of Residuated Ordered Groupoids Dmitry ShkatovC. J. Van Alten OriginalPaper 13 January 2023 Pages: 489 - 510
A Modal Loosely Guarded Fragment of Second-Order Propositional Modal Logic Gennady Shtakser OriginalPaper 21 December 2022 Pages: 511 - 538
Language Learnability in the Limit: A Generalization of Gold’s Theorem Fernando C. Alves OriginalPaper 21 December 2022 Pages: 363 - 372
Embedding HTLCG into \(\hbox {LCG}_\phi \) Jordan Needle OriginalPaper 01 December 2022 Pages: 677 - 721
Feferman–Vaught Decompositions for Prefix Classes of First Order Logic Abhisekh Sankaran OriginalPaper 12 November 2022 Pages: 147 - 174
Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again Kees van BerkelAgata CiabattoniMaya Olszewski OriginalPaper Open access 19 October 2022 Pages: 19 - 62
Type Polymorphism, Natural Language Semantics, and TIL Ivo Pezlar OriginalPaper 07 October 2022 Pages: 275 - 295
25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018 Lawrence MossRuy de Queiroz EditorialNotes 07 October 2022 Pages: 525 - 527
Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5 Norihiro Kamide OriginalPaper 04 October 2022 Pages: 395 - 440
Referentiality and Configurationality in the Idiom and the Phrasal Verb Cem Bozşahin OriginalPaper 27 September 2022 Pages: 175 - 207
Non-transitive Correspondence Analysis Yaroslav PetrukhinVasily Shangin OriginalPaper Open access 19 September 2022 Pages: 247 - 273
A Substructural Approach to Explicit Modal Logic Shawn Standefer OriginalPaper 08 September 2022 Pages: 333 - 362
Algebraic Effects for Extensible Dynamic Semantics Julian GroveJean-Philippe Bernardy OriginalPaper Open access 26 August 2022 Pages: 219 - 245
On the (Complete) Reasons Behind Decisions Adnan DarwicheAuguste Hirth OriginalPaper Open access 18 August 2022 Pages: 63 - 88
An Epistemic Separation Logic with Action Models Hans van DitmarschDidier GalmicheMarta Gawek OriginalPaper Open access 10 August 2022 Pages: 89 - 116
Revising System Specifications in Temporal Logic Paulo T. GuerraRenata Wassermann OriginalPaper 06 August 2022 Pages: 591 - 618
Kripke Contexts, Double Boolean Algebras with Operators and Corresponding Modal Systems Prosenjit HowladerMohua Banerjee OriginalPaper 27 July 2022 Pages: 117 - 146
Computable Heyting Algebras with Distinguished Atoms and Coatoms Nikolay Bazhenov OriginalPaper 27 July 2022 Pages: 3 - 18
Type-2 Fuzzy Sets and Newton’s Fuzzy Potential in an Algorithm of Classification Objects of a Conceptual Space Adrianna JagiełłoPiotr LisowskiRoman Urban OriginalPaper Open access 26 July 2022 Pages: 389 - 408