Facet browsing currently unavailable
Page 2 of 207 results
Sort by: relevance publication year
May the Sea-Battle Tommorow Not Happen? JOURNAL ARTICLE published 30 March 2020 in Bulletin of the Section of Logic |
Cantor on Infinitesimals. Historical and Modern Perspective JOURNAL ARTICLE published 30 June 2020 in Bulletin of the Section of Logic |
On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1 JOURNAL ARTICLE published 30 June 2017 in Bulletin of the Section of Logic |
The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework) JOURNAL ARTICLE published 27 May 2021 in Bulletin of the Section of Logic |
Complex Fuzzy Sets with Application in BCK/BCI-Algebras JOURNAL ARTICLE published 30 October 2019 in Bulletin of the Section of Logic |
Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B JOURNAL ARTICLE published 2 September 2021 in Bulletin of the Section of Logic |
Models of Bounded Arithmetic Theories and Some Related Complexity Questions JOURNAL ARTICLE published 7 June 2022 in Bulletin of the Section of Logic |
A Sequent Systems without Improper Derivations JOURNAL ARTICLE published 14 October 2021 in Bulletin of the Section of Logic |
The Theory of an Arbitrary Higher (lambda)-Model JOURNAL ARTICLE published 25 April 2023 in Bulletin of the Section of Logic |
Lifting Results for Finite Dimensions to the Transfinite in Systems of Varieties Using Ultraproducts JOURNAL ARTICLE published 12 February 2024 in Bulletin of the Section of Logic |
Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument JOURNAL ARTICLE published 30 June 2020 in Bulletin of the Section of Logic |
Some Logics in the Vicinity of Interpretability Logics JOURNAL ARTICLE published 22 November 2023 in Bulletin of the Section of Logic |
A Category of Ordered Algebras Equivalent to the Category of Multialgebras JOURNAL ARTICLE published 16 August 2023 in Bulletin of the Section of Logic Research funded by Conselho Nacional de Desenvolvimento Científico e Tecnológico (306530/2019-8) | Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (Finance Code 001) | United States-Israel Binational Science Foundation (2020704) |
On Synonymy in Proof-Theoretic Semantics: The Case of (mathtt{2Int}) JOURNAL ARTICLE published 18 July 2023 in Bulletin of the Section of Logic |
Erratum to: Congruences and Ideals in a Distributive Lattice with Respect to a Derivation JOURNAL ARTICLE published 30 March 2019 in Bulletin of the Section of Logic |
Irredundant Decomposition of Algebras into One-Dimensional Factors JOURNAL ARTICLE published 30 December 2016 in Bulletin of the Section of Logic |
Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic JOURNAL ARTICLE published 30 October 2019 in Bulletin of the Section of Logic |
On Homomorphism and Cartesian Products of Intuitionistic Fuzzy PMS-subalgebra of a PMS-algebra JOURNAL ARTICLE published 21 April 2023 in Bulletin of the Section of Logic |
Professor Grzegorz Malinowski in Honorem JOURNAL ARTICLE published 30 June 2017 in Bulletin of the Section of Logic |
Identity, equality, nameability and completeness. Part II JOURNAL ARTICLE published 30 October 2018 in Bulletin of the Section of Logic |