Facet browsing currently unavailable
Page 1 of 201 results
Sort by: relevance publication year
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 |
A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs JOURNAL ARTICLE published 30 March 2016 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 |
On the Definability of Leśniewski’s Copula ‘is’ in Some Ontology-Like Theories JOURNAL ARTICLE published 30 December 2018 in Bulletin of the Section of Logic |
Applications of Algebra in Logic and Computer Science – the Past and the Future JOURNAL ARTICLE published 30 March 2018 in Bulletin of the Section of Logic |
Bulletin of the Section of Logic JOURNAL published |
A Sequent Systems without Improper Derivations JOURNAL ARTICLE published 14 October 2021 in Bulletin of the Section of Logic |
An Epistemological Study of Theory Change JOURNAL ARTICLE published 9 November 2021 in Bulletin of the Section of Logic |
Note on the Intuitionistic Logic of False Belief JOURNAL ARTICLE published 1 September 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 |
On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results JOURNAL ARTICLE published 21 July 2021 in Bulletin of the Section of Logic |
Minimal Sequent Calculi for Łukasiewicz’s Finitely-Valued Logics JOURNAL ARTICLE published 1 January 2015 in Bulletin of the Section of Logic Research funded by National Academy of Sciences of Ukraine (unknown) |
Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic JOURNAL ARTICLE published 31 December 2019 in Bulletin of the Section of Logic |
An Arithmetically Complete Predicate Modal Logic JOURNAL ARTICLE published 23 August 2021 in Bulletin of the Section of Logic |
A Note on Gödel-Dummet Logic LC JOURNAL ARTICLE published 1 July 2021 in Bulletin of the Section of Logic |
Falling Shadow Theory with Applications in Hoops JOURNAL ARTICLE published 20 January 2021 in Bulletin of the Section of Logic |
Tableaux for some deontic logics with the explicit permission operator JOURNAL ARTICLE published 23 June 2022 in Bulletin of the Section of Logic Research funded by Narodowym Centrum Nauki (UMO-2017/26/M/HS1/01092) |
B-almost distributive fuzzy lattice JOURNAL ARTICLE published 30 October 2018 in Bulletin of the Section of Logic |
Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality JOURNAL ARTICLE published 9 September 2022 in Bulletin of the Section of Logic Research funded by Ministry of Science and Higher Education of the Russian Federation (No. 075-02-2022-876) |
May the Sea-Battle Tommorow Not Happen? JOURNAL ARTICLE published 30 March 2020 in Bulletin of the Section of Logic |